[论文解读] Counting linear extensions of restricted posets

Kozma, László|arXiv (Cornell University)|Feb 17, 2018

Advanced Graph Theory Research参考文献 27被引用 15

一句话总结

本文證明了三種受限偏序集類別的線性擴展計數問題為 #P-完全：高度為2的偏序集、圖的關聯偏序集，以及維度為2的偏序集。透過數論還原與電腦輔助的代數系統構造以編碼邏輯閘，作者證明即使在結構限制下，這些問題仍具計算困難性，從而解決了組合數學與計算複雜性理論中長期懸而未決的問題。

ABSTRACT

Partially ordered sets (posets) are fundamental combinatorial objects with important applications in computer science. Perhaps the most natural algorithmic task, given a size-n poset, is to compute its number of linear extensions. In 1991 Brightwell and Winkler showed this problem to be #P-hard. In spite of extensive research, the fastest known algorithm is still the straightforward O(n 2ⁿ)-time dynamic programming (an adaptation of the Bellman-Held-Karp algorithm for the TSP). Very recently, Dittmer and Pak showed that the problem remains #P-hard for two-dimensional posets, and no algorithm was known to break the 2ⁿ-barrier even in this special case. The question of whether the two-dimensional problem is easier than the general case was raised decades ago by Möhring, Felsner and Wernisch, and others. In this paper we show that the number of linear extensions of a two-dimensional poset can be computed in time O(1.8286ⁿ). The related jump number problem asks for a linear extension of a poset, minimizing the number of neighboring incomparable pairs. The problem has applications in scheduling, and has been widely studied. In 1981 Pulleyblank showed it to be NP-complete. We show that the jump number problem can be solved (in arbitrary posets) in time O(1.824ⁿ). This improves (slightly) the previous best bound of Kratsch and Kratsch.

研究动机与目标

• 為解決自1991年以來未解的問題：高度為2的偏序集之線性擴展計數是否為 #P-完全。
• 將此結果延伸至圖的關聯偏序集，動機來自非線性組合最佳化問題。
• 證明維度為2的偏序集之線性擴展計數問題為 #P-完全，此問題由 M"ohring 於1988年提出，並於1997年由 Felsner 與 Wernisch 再度探討。
• 建立維度為2的偏序集問題與弱 Bruhat 順序中主理想大小之間的等價性，並證明後者為 #P-完全。
• 展示即使在高度結構化的偏序集中——儘管具有 FPRAS 且存在多項式時間可解的子情況——整體問題仍具計算困難性。

提出的方法

• 使用模 p 證明與中國剩餘定理，將 #3SAT 問題還原至目標計數問題。
• 構造五個變數（次數 ≤5）的非齊次多項式代數系統，於複數平面上編碼邏輯閘（Swap、AndOr、TestEq）。
• 使用電腦代數工具（Macaulay2）對每組閘搜尋超過 96 種候選排列，以尋找在 ℂ 上具有非平凡解的系統。
• 執行從 #3SAT 到 #RigidCircuit 的 parsimonious 邏輯還原，隨後透過一連串複雜的還原鏈，由 #RigidCircuit 還原至 #Bruhat（弱 Bruhat 順序）。
• 透過直接代數驗證，確認電腦生成之閘的正確性，確保還原過程為 parsimonious。
• 利用維度為2的偏序集與弱 Bruhat 順序之間的對偶性，將硬性結果轉移至等價的組合模型之間。

实验结果

研究问题

• RQ1 高度為2的偏序集之線性擴展計數問題是否為 #P-完全？
• RQ2 圖的關聯偏序集之線性擴展數量是否為 #P-完全？
• RQ3 維度為2的偏序集之線性擴展計數問題是否為 #P-完全？此為 M"ohring 於1988年提出的猜想。
• RQ4 弱 Bruhat 順序中主理想的大小（即在冒泡排序下小於等於某個排列之排列數量）能否在多項式時間內計算？
• RQ5 電腦輔助代數方法能否用於在組合數學中構造 parsimonious 還原，以證明 #P-完全性？

主要发现

• 問題 #H2LE（高度為2偏序集之線性擴展計數）為 #P-完全，解決了 Brightwell 與 Winkler 於27年前提出的猜想。
• 問題 #IPLE（圖之關聯偏序集之線性擴展計數）為 #P-完全，此結果亦暗示 #H2LE 的難度。
• 問題 #D2LE（維度為2偏序集之線性擴展計數）為 #P-完全，確認了 M"ohring 於1988年提出的猜想。
• 問題 #Bruhat（弱 Bruhat 順序中主理想的大小）為 #P-完全，確立了代數組合數學中一項基本問題的難度。
• #D2LE 的 #P-完全性證明依賴於電腦輔助構造的12個變數代數系統，用以編碼邏輯閘，其在 ℂ 上分別對2、47與4種排列存在非平凡解。
• 作者提供了一個電腦驗證的還原：從 #3SAT 到 #RigidCircuit，再至 #Bruhat，其中後者步驟依賴於對每組閘系統性搜尋96種排列所發現的閘。