直径によってパラメータ化されたときに問題がXPにあることの影響


8

ましょ NP完全グラフ問題です。Xが有界直径のグラフの多項式時間で解けると仮定します。つまり、直径でパラメータ化されたXはXPです。(n f k 時間で解決できる場合、問題はXPにあることを思い出してください)。これは、他の興味深いパラメータのXP時間の可解性を意味しますか?バツバツバツfk

もしそうなら、多かれ少なかれいくつかの「標準」リストまたはパラメータのウェブがあり、それらはどこかに文書化されてどのように関連していますか?

回答:


10

KomusiewiczとNiedermeier の論文「New Races in Parameterized Algorithmics」の図1(4ページ)があなたが探しているものだと思います。

特に、パラメーターの直径がXPであることは、パラメーターのXPであることを意味します。最小支配セット、最大独立セット、最小クリークカバー、コグラフまでの距離、コクラスターまでの距離、クリークまでの距離、クラスターまでの距離、頂点カバー、そしてクラスター編集。


まことにありがとうございます!このような姿を以前に見たような気がしたが見つからなかった。「平均次数」が図に追加され、「縮退」への線で接続されていることに注意したいかもしれません。
Juho

1

ISGCIは、最近追加されたパラメーターです。執筆時点ではまだベータ版ですが、直径に注目するかもしれません:最小支配セットは最小上限であり、上向きの軌跡をたどることにより、最大独立セットなどを見つけることができます。

彼らは、例えば、ここで入手できるSorge and Wellerの2013年の原稿を参照しています(図1を参照)。

弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.