[论文解读] Conflict-free graph orientations with parity and degree constraints

Sarah Cannon, Mashhood Ishaque+1 more|arXiv (Cornell University)|Mar 15, 2012

Advanced Graph Theory Research被引用 1

一句话总结

本文研究在奇偶性和衝突約束下尋找偶圖定向的計算複雜度，證明當衝突集合大小為兩個或以上時，判斷此類定向的存在性為 NP-完全。當衝突對互不相交時，本文提出有效演算法，於特定結構約束下提供可有效計算的解法。

ABSTRACT

It is known that every multigraph with an even number of edges has an even orientation (i.e., all indegrees are even). We study parity constrained graph orientations under additional constraints. We consider two types of constraints for a multigraph G=(V,E): (1) an exact conflict constraint is an edge set C in E and a vertex v in V such that C should not equal the set of incoming edges at v; (2) a subset conflict constraint is an edge set C in E and a vertex v in V such that C should not be a subset of incoming edges at v. We show that it is NP-complete to decide whether G has an even orientation with exact or subset conflicts, for all conflict sets of size two or higher. We present efficient algorithms for computing parity constrained orientations with disjoint exact or subset conflict pairs.

研究动机与目标

• 確定在精確或子集衝突約束下，多重圖是否容許偶定向之計算複雜度。
• 識別在何種條件下，可有效計算此類約束定向。
• 發展當衝突對互不相交時，計算奇偶性約束定向之演算法。
• 分析衝突約束（精確與子集）對偶定向可行性與複雜度之影響。

提出的方法

• 將衝突約束形式化為必須不成為指定頂點之完整入邊集或子集的邊集。
• 將已知的 NP-完全問題歸約，以證明當衝突約束大小 ≥2 時，判斷偶定向的存在性為 NP-完全。
• 設計多項式時間演算法，以計算當衝突對互不相交時的偶定向，利用圖分解與基於最大流的技術。
• 運用奇偶性約束以確保所有頂點之入度為偶數，同時遵守衝突限制。
• 應用組合論證，顯示互不相交的衝突對允許高效定向構造。

实验结果

研究问题

• RQ1 當邊集大小為兩個或以上時，判斷多重圖是否具有在精確衝突約束下的偶定向是否為 NP-完全？
• RQ2 當子集衝突約束應用於大小為兩個或以上的邊集時，問題是否仍為 NP-完全？
• RQ3 能否設計出針對互不相交衝突對之偶定向的有效演算法？
• RQ4 衝突集合的何種結構條件可使受限偶定向問題獲得可有效計算的解？

主要发现

• 在精確或子集衝突約束下，判斷偶定向是否存在為 NP-完全，當衝突集合大小為兩個或以上時。
• 即使所有衝突集合大小恰好為兩個，問題仍為 NP-完全。
• 當衝突對互不相交時，存在可有效計算偶定向的多項式時間演算法。
• 針對互不相交衝突對的演算法，依賴於將問題轉化為具奇偶性約束的流網路。
• 研究結果顯示，問題的複雜度對衝突集合的結構極為敏感，其中互不相交性可帶來可有效計算性。