Pertanyaan pada cstheory " Apa itu NP terbatas untuk saksi ukuran linier? " Bertanya tentang kelas NP terbatas pada saksi ukuran linear , tetapiO(n)
Apakah ada masalah NP-complete alami di mana (ya) contoh ukuran membutuhkan saksi ukuran lebih besar dari ?n
n nn
Jelas kita dapat membangun masalah buatan seperti:
- L={1nw∣w encodes a satisfiable formula and |w|=n}
L={1nw∣w encodes a satisfiable formula and |w|=n} - L={φ∣φ is SAT formula with more than |φ|2 satisfying assignments}
L={φ∣φ is SAT formula with more than |φ|2 satisfying assignments}
Setelah melihat sekilas pada G&J, setiap masalah NPC alami tampaknya memiliki saksi (secara ketat) lebih kecil dari .n
Apakah ada "alasan / penjelasan" untuk itu?