受限路径规划与非循环结构
摘要：线性逻辑证明理论中的结果启发了图论中的几个结果；这些结果纯粹是组合性质的，不涉及逻辑。 我们证明了在线性时间内可以找到避免禁止转换的路径、正确着色的有向路径和完全多部分着色的彩虹路径，而对于任何其他色彩类的限制，找到彩虹路径是NP完全的。对于可处理的情况，我们还陈述了新的结构性质，这些结构性质等价于Kotzig关于唯一完美匹配中存在桥梁的定理。 我们在这里证明了有唯一完美匹配的图的另一个结果，它是线性逻辑中Bellin定理的组合对应：开花与桥梁删除顺序之间的联系。
作者：L^e Th`anh D~ung Nguy^en
论文ID：1901.07028
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2020-01-07