[论文解读] Critical and flow-critical snarks coincide

Edita Máčajová, Martin Škoviera|arXiv (Cornell University)|Sep 23, 2017

Theoretical and Computational Physics被引用 1

一句话总结

本文证明了临界snark（定义为所有边删除子图均不可3-边着色）与4-边临界snark等价，即它们不具有非零4流，但通过任意边的收缩后即变为4-流可实现。关键贡献在于证明了snark理论中长期独立发展的两种临界性概念——基于3-边着色与基于非零4流——完全一致，统一了snark理论中的两大研究脉络，并通过检查色数而非流计算，简化了临界性的验证。

ABSTRACT

Over the past twenty years, critical and bicritical snarks have been appearing in the literature in various forms and in different contexts. Two main variants of criticality of snarks have been studied: criticality with respect to the non-existence of a $3$-edge-colouring and criticality with respect to the non-existence of a nowhere-zero $4$-flow. In this paper we show that these two kinds of criticality coincide, thereby completing previous partial results of de Freitas et al. [Electron. Notes Discrete Math. 50 (2015), 199--204] and Fiol et al. [ arXiv:1702.07156v1 (2017)].

研究动机与目标

• 解决长期悬而未决的开放问题：临界snark（基于3-边着色）与流临界snark（基于非零4流）是否等价。
• 统一snark理论中此前分别处理的两种研究传统，尽管它们具有重叠的定义与概念。
• 为snark中各种临界性的定义（包括边删除、顶点删除与不可约性条件）提供全面的等价框架。
• 通过用色数检验替代复杂的流计算，简化临界性验证的算法实现。

提出的方法

• 通过结构图分析，建立基于3-边着色的临界性与非零4流之间等价性的证明。
• 使用边收缩与顶点删除操作，分析snark在图约简下的行为。
• 证明一个snark是4-边临界当且仅当它在传统3-边着色意义下是临界的，利用边删除与边收缩对流与着色性影响的等价性。
• 应用不可约性概念（如5-、6-、7-不可约性）统一多种临界性定义，并证明其等价性。
• 将结果推广至强snark，证明一个snark是强snark当且仅当删除任意两个相邻顶点后，其图的色数为4。
• 利用已知的不可约性与流临界性结果，推导出在不同图操作下临界性的统一表征。

实验结果

研究问题

• RQ1 基于3-边着色与非零4流的snark临界性两个主要定义是否一致？
• RQ2 在3-边着色意义下的临界snark与在流意义下的4-边临界snark之间是否存在结构等价性？
• RQ3 能否通过用色数检查替代流计算算法，简化临界性的验证？
• RQ4 不可约性、顶点删除与边收缩操作在snark理论中是否存在更深层的联系？
• RQ5 强snark与临界snark之间存在何种关系？强snark能否通过顶点删除操作进行表征？

主要发现

• 临界snark与4-边临界snark等价：一个snark是临界的当且仅当它是4-边临界的。
• 双临界snark与4-顶点临界snark等价：一个snark是双临界的当且仅当它是4-顶点临界的。
• 通过检查色数而非流计算，可简化流临界性的算法验证，因为临界snark的每个边删除子图都是3-边可着色的。
• 在阶数不超过36的snark中，共有55,172个临界snark，但仅有846个是严格临界（即临界但非双临界），占所有临界snark的1.5%以上。
• 所有已知阶数≤36的严格临界snark的循环连通度均为4，且对每个偶数阶n≥32，均存在此类snark。
• 一个snark是强snark当且仅当删除任意两个相邻顶点后，其图的色数为4，从而为强snark提供了新的表征。