Grafik teorisindeki Clique problemiyle ilgili bu Wikipedia makalesinde , başlangıçta, G grafiğindeki K boyutunda bir clique bulma probleminin NP-tamam olduğunu belirtir:
Cliques bilgisayar biliminde de çalışılmıştır: bir grafikte belirli bir büyüklüğün bir klikinin olup olmadığını bulmak (klik sorunu) NP-tamamdır, ancak bu sertlik sonucuna rağmen klikleri bulmak için birçok algoritma çalışılmıştır.
Ancak CS’deki Clique problemiyle ilgili bu diğer Wikipedia makalesinde, sorunun K’nin sabit bir büyüklük için çözüldüğünü, P’de bir sorun olduğunu, polinom zamanlarında zorla zorlanabileceğini söylüyor.
Bir G grafiğinin bir k-vertex clique içerip içermediğini test etmek ve içerdiği herhangi bir clique bulmak için bir kaba kuvvet algoritması, her bir alt yazıyı en azından k vertilleriyle incelemek ve bunun bir clique oluşturup oluşturmadığını kontrol etmektir. Bu algoritma O (n ^ kk ^ 2) zaman alır: her birinin G'deki varlığının kontrol edilmesi gereken O (k ^ 2) kenarlarına sahip kontrol edilmesi gereken O (n ^ k) alt yazıları vardır. Bu nedenle, k sabit bir sabit olduğunda, problem polinom zamanında çözülebilir. Bununla birlikte, k, soruna girişin bir parçası olduğunda, zaman üsseldir.
Burada özlediğim bir şey var mı? Belki de problemin ifadesinde bir fark vardır? Ve son cümle ne anlama geliyor, "k, problemin girdisinin bir parçası olduğunda, ancak zaman üsseldir."? K soruna girişin bir parçası olduğunda neden bir fark vardır?
Benim fikrim, G grafiğindeki k büyüklüğünde bir klik bulmak, önce G düğümlerinden k büyüklüğündeki bir alt kümesini seçip, hepsinin sabit olarak yapılabilecek diğer k düğümleriyle ilişkili olup olmadıklarını test etmemizdir. saati. Ve bunu bir k büyüklüğüne sahip olana kadar tekrarlayın. G arasından seçim yapabileceğimiz k düğüm kümesi sayısı n! / k! * (nk)!