Wenn konstant ist, ist die Größe der maximalen Clique im -Modell fast überall ein konstantes Vielfaches von , wobei die Konstante proportional zu . (Siehe Bollobás, S.283 und Korollar 11.2.) Das Ändern von sollte daher die Härte des Pflanzens einer Clique mit Eckpunkten nicht beeinflussen, solange die Clique zu klein ist, als dass ein vorhandener algorithmischer Ansatz funktionieren könnte. Ich erwarte daher, dass sich bei konstanter die Härte von Planted Clique genauso verhält wie im Fall , obwohl es möglich ist, dass sich der Fall von sehr nahe bei 0 oder 1 anders verhält.G ( n , p ) log n log ( 1 / p ) p ω ( log n ) p ≠ 1 / 2 p = 1 / 2 ppG ( n , p )LognLog( 1 / p )pω ( logn )p ≠ 1 / 2p = 1 / 2p
Insbesondere gilt für der gleiche Schwellenwert von für für die Größe der gepflanzten Clique, oberhalb dessen das Problem zur Polynomzeit wird. Der Wert von hier (und kein anderer Wert), da die Lovász-Theta-Funktion von fast sicher zwischen und durch ein Ergebnis von Juhász. Der Algorithmus von Feige und Krauthgamer verwendet die Lovász-Theta-Funktion, um eine größte Clique zu finden und zu zertifizieren. Daher stützt er sich auf diese Schwellengröße für die gepflanzte Clique.Ω ( n α ) , α = 1 / 2 α 1 / 2 G ( n , p ) 0,5 √p ≠ 1 / 2Ω ( nα)α = 1 / 2α1 / 2G ( n , p )0,5 ( 1 - p ) / p- -- -- -- -- -- -- -- -√n- -- -√2 ( 1 - p ) / p- -- -- -- -- -- -- -- -√n- -- -√
Natürlich kann es einen anderen Algorithmus geben, der die Lovász-Theta-Funktion nicht verwendet, und der für Werte von weit von eine gepflanzte Clique mit beispielsweise Eckpunkten finden kann. Soweit ich das beurteilen kann, ist dies noch offen.p1 / 2n1 / 3
Feige und Krauthgamer diskutieren auch, wenn nicht konstant ist, sondern von abhängt und entweder nahe bei 0 oder nahe bei 1 liegt. In diesen Fällen gibt es andere Ansätze, um gepflanzte Cliquen zu finden, und die Schwellengröße ist unterschiedlich.pn
- Béla Bollobás, Random Graphs (2. Auflage), Cambridge University Press, 2001.
- Ferenc Juhász, Das asymptotische Verhalten der Lovász' Funktion für Zufallsgraphenϑ , Combinatorica 2 (2) 153–155, 1982. doi: 10.1007 / BF02579314
- Uriel Feige und Robert Krauthgamer, Finden und Zertifizieren einer großen versteckten Clique in einem halbzufälligen Graphen , Random Structures & Algorithms 16 (2) 195–208, 2000. doi: 10.1002 / (SICI) 1098-2418 (200003) 16: 2 <195 :: AID-RSA5> 3.0.CO; 2-A