[论文解读] Ordinal embedding relaxations parametrized above tight lower bound

Gregory Gutin, Eun‐Jung Kim+2 more|arXiv (Cornell University)|Jul 30, 2009

Genome Rearrangement Algorithms参考文献 36被引用 10

一句话总结

本文為參數化於緊緻下界之「中點問題」建立了一個二次核，證明可在多項式時間內滿足至少 |C|/3 + k 個約束。透過運用參數化複雜度技術，解決了 Benny Chor 提出的一個開放問題，並提供一個可應用於其他基於排列之優化問題參數化於緊緻界上的框架。

ABSTRACT

We study ordinal embedding relaxations in the realm of parameterized complexity. We prove the existence of a quadratic kernel for the Betweenness problem parameterized above tight lower bound, which is stated as follows. For a set V of variables and set C of constraints "vi is between vj and vk", decide whether there is a bijection from V to the set {1, . . . , |V |} satisfying at least |C|/3 + k of the constraints in C. Our result solves an open problem attributed to Benny Chor in Niedermeier’s monograph "Invitation to Fixed-Parameter Algorithms." An approach developed in this paper can be used to determine parameterized complexity of a number of other optimization problems on permutations parameterized above or below tight bounds.

研究动机与目标

• 針對參數化於緊緻下界之「中點問題」的參數化複雜度進行探討。
• 解決 Niedermeier 專書中關於「中點問題」在緊緻界之上是否存在多項式核之開放問題。
• 發展一種可推廣的方法，適用於其他參數化於緊緻界之上或之下的排列優化問題。

提出的方法

• 將「中點問題」形式化為參數化問題，其中參數 k 表示需滿足至少 |C|/3 + k 個約束。
• 應用核化技術將實例大小縮小至 O(k²)，確保簡化後問題仍保持等價。
• 利用中點約束的結構性質，識別並合併冗餘或受限制的變數關係。
• 以已知的下界（|C|/3）作為基準，定義參數 k，即在該基準之上尋求改進。
• 提出一組新穎的簡化規則，於縮小實例之時保留解的結構。
• 透過識別類似的緊緻界並參數化於其上，將此方法延伸至其他優化問題。

实验结果

研究问题

• RQ1 參數化於緊緻下界 |C|/3 之「中點問題」是否容許多項式核？
• RQ2 是否存在一種通用方法，以判斷參數化於緊緻界之上之排列優化問題的參數化複雜度？
• RQ3 中點約束的哪些結構性質能促成有效的核化？
• RQ4 如何將為「中點問題」所發展的框架適用于其他類似問題？

主要发现

• 本文提出一個參數化於緊緻下界 |C|/3 之「中點問題」的二次核。
• 核的大小為 O(k²)，其中 k 為超出下界之約束數量。
• 此結果解決了 Benny Chor 最初在 Niedermeier 專書中提出之開放問題。
• 該方法具可推廣性，可應用於其他參數化於緊緻界之上或之下的排列優化問題。
• 該方法依賴於識別並合併冗餘約束，同時保留解的結構。
• 該框架為研究緊緻界之上組合優化問題之參數化複雜度提供了新途徑。