Gdyby p jest stała, to wielkość maksymalnej kliki w G(n,p) model jest prawie wszędzie stałą wielokrotnością logn, ze stałą proporcjonalną do log(1/p). (Patrz Bollobás, s. 283 i wniosek 11.2.) Zmianap nie powinien zatem wpływać na twardość sadzenia kliki ω(logn)wierzchołki, o ile klika jest zbyt mała, aby działało istniejące algorytmiczne podejście. Dlatego oczekuję tego ze stałąp≠1/2 twardość posadzonej kliki powinna zachowywać się tak jak p=1/2 przypadek, chociaż możliwe jest, że przypadek p bardzo blisko 0 lub 1 może zachowywać się inaczej.
W szczególności dla p≠1/2 ten sam próg wynoszący Ω(nα) dla α=1/2dotyczy wielkości sadzonej kliki, powyżej której problem staje się czasem wielomianowym. Wartośćα tutaj jest 1/2 (i żadnej innej wartości), ponieważ funkcja theta Lovásza G(n,p) jest prawie na pewno pomiędzy 0.5(1−p)/p−−−−−−−−√n−−√ i 2(1−p)/p−−−−−−−−√n−−√, w wyniku Juhásza. Algorytm Feige i Krauthgamer używa funkcji theta Lovásza do znalezienia i certyfikacji największej kliki, więc opiera się na tej wartości progowej dla posadzonej kliki.
Oczywiście może istnieć inny algorytm, który nie korzysta z funkcji theta Lovásza i dla wartości p daleko od 1/2 mogę znaleźć posadzoną klikę z powiedzmy n1/3wierzchołki. O ile wiem, to wciąż jest otwarte.
Feige i Krauthgamer również dyskutują, kiedy p nie jest stały, ale zależy od n, i jest albo bliski 0, albo bliski 1. W tych przypadkach istnieją inne podejścia do znalezienia posadzonych klik, a wielkość progu jest inna.
- Béla Bollobás, Random Graphs (2. edycja), Cambridge University Press, 2001.
- Ferenc Juhász, asymptotyczne zachowanie Lovásza ”ϑfunkcja losowych wykresów , Combinatorica 2 (2) 153–155, 1982. doi: 10.1007 / BF02579314
- Uriel Feige i Robert Krauthgamer, Znalezienie i certyfikacja dużej ukrytej kliki na grafie półirandomowym , Struktury losowe i algorytmy 16 (2) 195–208, 2000. doi: 10.1002 / (SICI) 1098-2418 (200003) 16: 2 <195 :: AID-RSA5> 3.0.CO; 2-A