Misalkan kita diberi grafik dan parameter k , ϵ . Apakah ada rentang nilai untuk k (atau itu bisa dilakukan untuk semua k ) yang dimungkinkan untuk menguji apakah G adalah ε -far dari memiliki set independen ukuran setidaknya k dalam waktu O ( n + poly ( 1 / ε ) ) ?
Jika kita menggunakan gagasan umum -far (yaitu paling banyak ϵ n 2 tepi perlu diubah untuk mendapatkan himpunan tersebut), maka masalahnya sepele untuk k = O ( n √. Begitu
- Tampaknya jika lebih besar, beberapa ide pengambilan sampel harus bekerja untuk menyelesaikan masalah. Benarkah ?
- Apakah ada pengertian lain tentang -far (yaitu mungkin ϵ | E | edge sebagai gantinya) di mana ada hasil tidak trivial?
Saya pada dasarnya mencari referensi pada saat ini.