Parametrisierter Algorithmus zum Auffinden von Fahrrädern

16

Eine gegebene Vertex ungerichteten Graphen, was ist das bekannteste Laufzeit für gebundene finden einen Untergraphen , die eine -biclique? Gibt es schneller parametrisierte Algorithmen als den -Zeitalgorithmus zum "Erraten" einer Seite des Fahrrads und zum Überprüfen, ob es mindestens andere Eckpunkte gibt, die auf alle von ihnen zutreffen ?k × knk×kk(nk)poly(n)k

Andreas Björklund
quelle

Antworten:

8

Durch Entartung oder Arborizität parametrisiert, ist es FPT. Genauer gesagt, wobei die Entartung ist (oder für Arboricity). Sehen:d ein 3 2 2 aO(d32dn)da322a

Ein weiteres parametrisiertes Papier wurde gerade für SWAT 2012 angenommen , diesmal parametrisiert durch die längste induzierte Pfadlänge:

  • Aistis Atminas, Vadim Lozin und Igor Razgon: Linearer Zeitalgorithmus zur Berechnung eines kleinen Fahrrads in Graphen ohne lange induzierte Pfade. SWAT 2012 erscheint.

Ich verstehe jedoch, dass es ein großes offenes Problem ist, ob dies eine FPT ist oder nicht, und zwar mit dem natürlichen Parameter (der Größe des Fahrrads).

David Eppstein
quelle
Vielen Dank, David. Beachten Sie, dass ich mich nicht nur frage, ob es sich um FPT handelt, sondern ob es etwas Besseres gibt als den von mir skizzierten naiven Algorithmus. Insbesondere ist das Finden anscheinend einfacher als das Zählen.
Andreas Björklund
5

Die folgenden Artikel bieten Exponential-Zeit-Algorithmen für das nicht induzierte Biklique-Problem und sind möglicherweise für Sie von Interesse:

Limath
quelle
4

Diese Näherung von B. Ames und S. Vavasis ( http://arxiv.org/pdf/0901.3348.pdf ) "Minimierung der Kernnormen für die Probleme mit bepflanzten Cliquen und Bikliquen" findet ein Biclique für einen bestimmten Typ von Graphen in Poly- Zeit, hat aber keine allgemeinen Annäherungsgarantien.

Die Autoren fassen das Biklique-Problem unter affinen Bedingungen auf eine Rangminimierung um. Anschließend lösen sie eine Relaxation mit einer Nuklearnorm-Heuristik, die als SDP gestellt werden kann. Diese Heuristik ist ein ziemlich aufregendes Gadget für die komprimierten Erfassungsutensilien. Diese Entspannung lässt normalerweise einige nette Optimalitätsbedingungen zu, wenn der Satz von Nebenbedingungen eine "geeignete Art" von Zufälligkeit aufweist.

Dimitris
quelle
-1

no(k)

Elad
quelle
6
Ich denke nicht, dass diese Reduzierung funktioniert. Wenn Ihr ursprüngliches Diagramm bereits ein großes Fahrrad enthält, hat das Diagramm, das Sie daraus erstellen (seine zweigeteilte doppelte Abdeckung), immer noch dasselbe Fahrrad, und es wird maskiert, ob das ursprüngliche Diagramm auch eine Clique enthält oder nicht.
David Eppstein