Saya berasumsi bahwa angka dalam definisi masalah CLIQUEppersis sama dengan jumlah tepi dalam grafik, tidak seperti komentar gphilip untuk pertanyaan tersebut.⌈p(t2)⌉
Masalah CLIQUE p adalah NP-lengkap untuk konstanta rasional 0 < p <1 dengan reduksi dari masalah CLIQUE yang biasa. (Asumsi bahwa p adalah rasional hanya diperlukan sehingga dapat dihitung dari N dalam polinomial waktu dalam N. )⌈pN⌉
Misalkan k ≥3 menjadi bilangan bulat yang memenuhi k 2 ≥1 / p dan (1−1 / k ) (1−2 / k )> p . Diberikan grafik G dengan n simpul dan tepi m bersama dengan nilai ambang s , reduksi bekerja sebagai berikut.
- Jika s < k , kami menyelesaikan masalah CLIQUE dalam waktu O ( n s ) waktu. Jika ada klik ukuran setidaknya s , kami menghasilkan contoh ya tetap. Kalau tidak, kami menghasilkan tanpa contoh tetap.
- Jika n < s , kami menghasilkan instance-tetap.
- Jika n ≥ s ≥ k , kita tambahkan ke grafik G a ( k −1) di mana setiap set terdiri dari n simpul yang memiliki tepat tepian, dan menghasilkan grafik ini.⌈p(nk2)⌉−m
Perhatikan bahwa kasus 1 membutuhkan O ( n k -1 ) waktu, yang jumlahnya banyak di n untuk setiap p . Kasus 3 dimungkinkan karena jika n ≥ s ≥ k , maka adalah nonnegatif dan paling banyak jumlah tepi dalamgrafiklengkap (k−1) -kartit Kn,…,nseperti ditunjukkan dalam dua klaim berikut.⌈p(nk2)⌉−m
Klaim 1 . .⌈ p (nk2) ⌉-m≥0
Bukti . Sejak , cukuplah jika kita membuktikanp ( nkm ≤ ( n2) , atau ekuivalenpnk(nkequival1) ≥n(n−1). Karenap≥ 1 /k2, kita memilikipnk(nk−1) ≥n(n−1 /k) ≥n(n−1). QED.p(nk2)≥(n2)
Klaim 2 . . (Perhatikan bahwa sisi kanan adalah jumlah sisi dalam grafik lengkap (k − 1) -kartit Kn,…,n.)⌈ p ( n k2) ⌉-m<n2( k-12)
Bukti . Sejak danm≥ 0, cukuplah jika kita membuktikan p ( n k⌈ x ⌉ < x + 1 , atau ekuivalenn2(k−1) (k−2) -pnk(nk−1) - 2 ≥ 0. Karenap<(1−1 /k) (1−2 /k), kami memiliki
n2(k-1)(k-2)-pnk(nkp ( n k2) +1≤n2( k-12)≥ n 2 ( k - 1 ) ( k - 2
n2( k - 1 ) ( k - 2 ) - p n k ( n k - 1 ) - 2
=n≥ n2(k−1)(k−2)−n(n−1k)(k−1)(k−2)−2
QED.
=nk(k−1)(k−2)−2≥(k−1)(k−2)−2≥0.
Sunting : Pengurangan dalam Revisi 1 memiliki kesalahan; terkadang diperlukan grafik dengan jumlah tepi negatif (ketika p kecil). Kesalahan ini diperbaiki sekarang.