[论文解读] On the Tractability of the Un/Reachability Problem.

Latif Salum|arXiv (Cornell University)|Aug 22, 2014

Auction Theory and Applications被引用 1

一句话总结

本文通过反向结构重新表述佩特里网可达性问题，提出一种分层佩特里网模型，其中2SAT（XOR-SAT）约束用于识别状态分配中的不相容性。该方法的运行时间为O(n⁵)，表明P = NP = coNP。

ABSTRACT

Abstract. The Petri Net (PN) reachability problem is an effective formulation to attack the P vs. NP problem. The effectiveness is due to the inverse of the PN structure. The inversed reachability problem exchanges the initial and target state of the PN. In this problem, some 2SAT (XOR-SAT) formula arises to determine the “incompatibility ” of a particular assignment, which does not mean that 3SAT is reduced to 2SAT. The PN structure is also to be “levelled” for the inversed reachability problem. The solution complexity is O(n5), n is the number of the literals, thus P = NP = coNP. 1.

研究动机与目标

• 探究佩特里网逆可达性问题是否能为P与NP问题提供新见解。
• 分析当初始状态与目标状态互换时佩特里网的结构特性，旨在简化状态转移分析。
• 确定由此产生的约束（以2SAT（XOR-SAT）形式表述）是否可用于检测状态分配中的不相容性，而无需将3SAT约化为2SAT。
• 证明分层佩特里网结构可实现可达性问题的多项式时间解法。
• 确立O(n⁵)的解复杂度意味着P = NP = coNP。

提出的方法

• 本文通过交换初始状态与目标状态，将标准佩特里网可达性问题反转，形成逆可达性公式化。
• 对佩特里网结构应用分层变换，以简化状态转移并支持高效计算。
• 推导出2SAT（XOR-SAT）约束，用于在可达性分析过程中检测潜在状态分配中的不相容性。
• 该方法避免将3SAT约化为2SAT，而是将2SAT约束作为诊断工具而非约化手段。
• 将解的复杂度分析为O(n⁵)，其中n为公式中文字的个数。
• 算法流程整合了结构分层与约束传播，以在多项式时间内确定可达性。

实验结果

研究问题

• RQ1 能否通过结构分层与2SAT约束在多项式时间内求解佩特里网的逆可达性问题？
• RQ2 在逆问题中使用2SAT（XOR-SAT）约束是否意味着将3SAT约化为2SAT？
• RQ3 以文字个数表示时，分层逆可达性问题的计算复杂度是多少？
• RQ4 逆佩特里网模型是否能为证明P = NP = coNP提供路径？
• RQ5 结构反转与分层如何影响可达性问题的表达能力与可解性？

主要发现

• 佩特里网的逆可达性问题可在O(n⁵)时间内求解，其中n为公式中文字的个数。
• 使用2SAT（XOR-SAT）约束并不意味着将3SAT约化为2SAT，因为这些约束仅用于检测状态分配中的不相容性。
• 佩特里网的结构分层通过简化状态转移依赖关系，为可计算解路径提供了支持。
• O(n⁵)的解复杂度支持了P = NP = coNP的主张。
• 逆公式化在保持可达性问题逻辑完整性的同时，实现了多项式时间分析。
• 该方法表明，在所提约束下，分层、反转的佩特里网可达性问题具有可解性。