Jan Friso，格鲁特;贝斯·普洛格 切换图形。 （英语） Zbl 1187.68314号 发现的国际期刊。计算。科学。 20，第5号，869-886（2009）. 摘要：切换图是包含切换的图。开关是一对开始于同一顶点的边，并且在任何时候都会精确地启用其中一条边。通过使用一个称为开关设置的布尔函数，可以将开关图中的开关置于固定的方向，从而获得一个普通的图。对于许多问题来说，切换图是一个非常直观和自然的模型，但它们几乎没有被研究过。我们研究了切换图中几个自然问题的复杂性，其中一些是多项式的，另一些是NP-完全的。我们开始研究切换图，因为它们是研究布尔方程组求解问题的自然框架，这相当于模态演算的模型检查和奇偶博弈中的优胜者的决定。我们给出了切换图中布尔方程组的直接多项式编码，反之亦然，并证明了编码的正确性。 引用于三文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 05C38号 路径和循环 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 68兰特 计算机科学中的图论（包括图形绘制） 关键词：切换图;平价游戏;布尔方程系统;模型检查 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{B.Ploeger}，Int.J.Found。计算。科学。20，编号5，869-886（2009年；兹bl 1187.68314） 全文： 内政部 参考文献： [1] J.Edmonds和E.L.Johnson，组合优化，LNCS（2003）pp。27–30. [2] 内政部：10.1016/0304-3975（80）90009-2·Zbl 0419.05028号 ·doi:10.1016/0304-3975（80）90009-2 [3] 内政部：10.1016/0304-3975（87）90045-4·Zbl 0625.03037号 ·doi:10.1016/0304-3975（87）90045-4 [4] 内政部：10.1007/BF01261321·Zbl 0867.05037号 ·doi:10.1007/BF0261321 [5] 内政部：10.1145/1008731.1008737·Zbl 1204.68106号 ·数字对象标识代码：10.1145/1008731.1008737 [6] DOI:10.1007/978-1-4684-2001-2_9·doi:10.1007/978-1-4684-2001-2_9 [7] 内政部：10.1016/0304-3975（82）90125-6·Zbl 0553.03007号 ·doi:10.1016/0304-3975（82）90125-6 [8] Levin L.，Problemy Peredachi Informatsii 9第265页– [9] 内政部：10.1137/0201010·Zbl 0251.05107号 ·数字对象标识代码：10.1137/0201010 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。