Können wir bei einem 4-Zyklus-freien Graphen bestimmen, ob er in quadratischer Zeit einen 3-Zyklus hat?


15

Das Cycle-Problem ist wie folgt:k

Instanz: Ein ungerichteter Graph mit Eckpunkten und bis zu Kanten.nGn(n2)

Frage: Gibt es in G ein (richtiges) Rad ?GkG

Hintergrund: Für jedes feste k können wir 2k Zyklen in O (n ^ 2) lösen O(n2).

Raphael Yuster, Uri Zwick: Noch schneller zu geraden Rädern. SIAM J.
Discrete Math. 10 (2): 209-222 (1997)

Es ist jedoch nicht bekannt, ob wir 3-Zyklen (dh 3-Cliquen) in weniger als der Matrixmultiplikationszeit lösen können.

Meine Frage: Unter der Annahme, dass G keine 4-Zyklen enthält, können wir das 3-Zyklen-Problem in O (n ^ 2) lösen O(n2)?

David schlug einen Lösungsansatz für diese Variante des 3-Zyklus-Problems in O(n2.111) .


Es scheint, dass wenn der kleinste Zyklus eines Graphen G eine Länge von mindestens 5 hat, er höchstens Ö(n32) Kanten hat. Link: link.springer.com/article/10.1007%2FBF01787638
Michael Wehar

Zusätzliche Informationen finden Sie in diesem Artikel
Michael Wehar

Antworten:


29

Ja, das ist bekannt. Es erscheint in einer der wichtigsten Quellenangaben zur Dreiecksfindung ...

Itai und Rodeh zeigen nämlich in SICOMP 1978, wie in -Zeit ein Zyklus in einem Graphen gefunden werden kann, der höchstens eine Kante mehr als der Mindestlängenzyklus aufweist. (Siehe die ersten drei Sätze der Zusammenfassung hier: http://www.cs.technion.ac.il/~itai/publications/Algorithms/min-circuit.pdf ) Es ist eine einfache Prozedur, die auf den Eigenschaften von width-first basiert Suche.Ö(n2)

Wenn Ihr Graph also 4-Zyklen-frei ist und ein Dreieck vorhanden ist, muss der Algorithmus dieses ausgeben, da kein 5-Zyklen-Wert oder ein größerer Wert ausgegeben werden kann.


13

Es ist nicht quadratisch, aber Alon Yuster und Zwick ("Finding and counting given length cycles", Algorithmica 1997) geben einen Algorithmus zum Finden von Dreiecken in der Zeit , wobei ist der Exponent für die schnelle Matrixmultiplikation. Für 4-zyklenfreie Graphen ergibt das Einstecken von und (ansonsten gibt es einen Zyklus, unabhängig von der Existenz von Zyklen) die Zeit .ω ω < 2.373 m = O ( n 3 / 2 ) 4 3 O ( n 3 ω / ( ω + 1 ) ) = O ( n 2.111 )Ö(m2ω/(ω+1))ωω<2,373m=Ö(n3/2)43Ö(n3ω/(ω+1))=Ö(n2.111)


1
Das ist toll! Ich weiß das wirklich zu schätzen. :)
Michael Wehar

Ja, wenn ein Graph keine 4-Zyklen hat, dann hat er höchstens Kanten. Link: books.google.com/…Ö(n32)
Michael Wehar

Fühlen Sie sich frei, mich zu korrigieren, wenn ich falsch liege. Es scheint, dass "The Even Circuit Theorem" von Erdos besagt, dass wenn ein Graph zyklenfrei ist, er höchstens Kanten hat. Link: sciencedirect.com/science/article/pii/S0012365X999010732kÖ(n1+1k)
Michael Wehar

Wenn ein Graph keinen 6-Zyklus hat, hat er folglich höchstens Kanten. Daher können wir mit der von David vorgeschlagenen Methode bestimmen, ob es in einen 3-Zyklus gibt . :)Ö(n43)Ö(n1,876)
Michael Wehar

Ferner wird für jeden festen , wenn ist -Zyklus frei bestimmen können wir dann , wenn einen 3-Zyklus in subquadratic Zeit hat , weil nicht zu viele Kanten hat. Wenn jedoch ist, werden die Dinge interessant. Können wir schlagen ? k>2G2kGGk=2Ö(n2.111)
Michael Wehar
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.