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

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).


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


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.


-1

no(k)


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
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.