SWITCHING GRAPHS

DOI10.1142/S0129054109006930MaRDI QIDQ3646171zbMATH OpenFDO

Authors Jan Friso Groote, B. Ploeger

Publication date 19 November 2009

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0129054109006930

zbMATH Keywords

Boolean equation systemsmodel checkingparity gamesswitching graphs

Mathematics Subject Classification ID

Paths and cycles (05C38) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Specification and verification (program logics, model checking, etc.) (68Q60) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Switching graphs
• An Algorithmic Study of Switch Graphs
• An algorithmic study of switch graphs
• scientific article; zbMATH DE number 1504827
• On the hardness of switching to a small number of edges

Cites work

• Depth-First Search and Linear Graph Algorithms
• Edge-disjoint routing in plane switch graphs in linear time.
• Linear logic
• Path problems in skew-symmetric graphs
• Results on the propositional \(\mu\)-calculus
• The directed subgraph homeomorphism problem

Cited in

(13)

• Alternating graphs
• 2-swappable graphs
• scientific article; zbMATH DE number 3841913 (Why is no real title available?)
• scientific article; zbMATH DE number 3841914 (Why is no real title available?)
• Interchange similar self vertex switchings in graphs
• The Simple Reachability Problem in Switch Graphs
• scientific article; zbMATH DE number 4057569 (Why is no real title available?)
• Switching graphs
• Reachability switching games
• Reachability Switching Games
• An Algorithmic Study of Switch Graphs
• Relation-changing models meet paraconsistency
• An algorithmic study of switch graphs

This page was built for publication: SWITCHING GRAPHS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3646171)