[论文解读] Constrained path-finding and structure from acyclicity

Lê Thành Dũng Nguyễn|arXiv (Cornell University)|Jan 21, 2019

Advanced Graph Theory Research被引用 2

一句话总结

本文提出了在特定颜色类约束下寻找合适着色路径与彩虹路径的线性时间算法，同时证明了一般彩虹路径查找问题的NP-完全性。通过一种新颖的边着色线图构造，建立了可解与不可解情况之间的二分法，并揭示了唯一完美匹配、花结构与桥删除顺序之间的深层结构等价性——提供了受线性逻辑证明理论启发的新组合表征。

ABSTRACT

This note presents several results in graph theory inspired by the author's work in the proof theory of linear logic; these results are purely combinatorial and do not involve logic. We show that trails avoiding forbidden transitions, properly arc-colored directed trails and rainbow paths for complete multipartite color classes can be found in linear time, whereas finding rainbow paths is NP-complete for any other restriction on color classes. For the tractable cases, we also state new structural properties equivalent to Kotzig's theorem on the existence of bridges in unique perfect matchings. Another result on graphs equipped with unique perfect matchings that we prove here is the combinatorial counterpart of a theorem due to Bellin in linear logic: a connection between blossoms and bridge deletion orders.

研究动机与目标

• 识别并表征边着色图中约束路径查找问题的可解情况，特别是涉及合适着色与彩虹路径的情形。
• 基于颜色类结构，建立彩虹路径问题中多项式时间可解与NP-完全实例之间的二分法。
• 揭示具有唯一完美匹配的图中新的结构性质，特别是与花结构和桥删除顺序的关系。
• 为线性逻辑中已知结果提供组合对偶，将证明网理论与图论结构联系起来。
• 提出一种新颖的边着色线图构造，使问题能高效归约为匹配中的增广路径问题。

提出的方法

• 利用一种新颖的边着色线图构造，将约束路径查找问题归约为匹配中的增广路径问题。
• 应用广度优先搜索寻找最短长度的合适着色行走，并通过去除边重复将之最小化为路径。
• 从已知的NP-完全问题（如CNF-SAT、2-弧着色有向图路径问题）进行归约，以证明问题的难解性。
• 将线性逻辑证明网中的逻辑结构转化为图论构造，特别地，将证明网中的“依赖”关系与匹配理论中的“花”结构联系起来。
• 以Kotzig关于唯一完美匹配中桥的定理为基础，作为推导新等价关系的结构原理。
• 通过从2-弧着色有向图路径问题到具有完美匹配的有向图中交替圈问题的多一归约，证明其NP-完全性。

实验结果

研究问题

• RQ1 在何种颜色类条件下，可以在线性时间内找到彩虹路径？
• RQ2 在具有唯一完美匹配的图中，哪些结构性质与桥或花结构的存在性等价？
• RQ3 线性逻辑证明网中的“依赖”概念如何映射到图论中的组合结构（如花结构）？
• RQ4 在边着色图的约束路径查找问题中，可解与NP-完全情况之间的精确边界是什么？
• RQ5 线性逻辑中证明网正确性与图匹配之间的联系能否形式化为一种组合对偶？

主要发现

• 通过基于广度优先搜索的算法，可在线性时间内找到合适着色的路径与路径。
• 一般情况下彩虹路径是NP-完全的，但当颜色类构成完全多部图结构时，可在多项式时间内求解。
• 建立了二分法定理：仅当颜色类为完全多部图结构时，彩虹路径查找才是多项式时间可解；否则为NP-完全。
• 唯一完美匹配中桥的存在性在结构上等价于不存在交替圈，从而推广了Kotzig定理。
• 证明了线性逻辑中Bellin定理的组合对偶，表明匹配中的花结构与证明网中的依赖结构完全对应。
• 即使在无环性约束下，具有完美匹配的2-弧着色有向图中的交替圈问题仍是NP-完全的，通过从路径问题的归约得以证明。