马丁·格罗;马丁·奥托 圆石游戏和线性方程。 （英语） Zbl 1252.03084号 Cégielski，Patrick（编辑）等人，《计算机科学逻辑》（CSL’12）。2012年9月3日至6日，第26届国际研讨会，EACSL第21届年会，法国枫丹白露。根据会议上的陈述选择论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-42-2）。LIPIcs–莱布尼茨国际信息学会议录16，289-304，仅电子版（2012年）。 摘要：我们对图同构的Sherali-Adams松弛层次与计数的鹅卵石等价层次之间的对应关系（高维Weisfeiler-Lehman颜色求精）给出了一个新的、简化的和详细的解释。由于拉马纳、舍内曼和乌尔曼的原因，基本颜色精细化和分数同构之间的对应关系被重新解释为谢拉利·阿达姆的基本层次，阿塞里亚斯和马内瓦在这个意义上概括为更高层次，他们证明了两个结果层次交错。在进一步进行这一分析时，我们在这里给出了（a）关于修正的计数卵石博弈的水平-（k）Sherali-Adams松弛的精确特征；（b） Sherali-Adams等级的变体，精确匹配“（k）-卵石计数游戏”；（c） 证明这两个层次结构之间的交错是严格的。我们还研究了基于布尔算法而非实数/有理算法的变化，并获得了平面（k）-卵石等价（无计数）的类似对应和分离。我们的结果是由基本组合学和线性代数的简化描述驱动的。关于整个系列，请参见[兹比尔1253.68008]. 引用于5文件 MSC公司： 03C13号机组 有限结构模型理论 05C60型 图论中的同态问题（重构猜想等）和同态（子图嵌入等） 90C05（二氧化碳） 线性规划 91年43月 涉及图形的游戏 关键词：有限模型理论;有限变量逻辑;图同构;Weisfeiler-Lehman算法;线性规划;Sherali-Adams层级 PDF格式BibTeX公司 XML格式引用 \textit{M.Grohe}和\textit{M.Otto}，LIPIcs——莱布尼茨国际程序。通知。16、289--304（2012；Zbl 1252.03084） 全文： 内政部