Saya mencari lebih banyak masalah di dengan kompleksitas waktu klasik batas bawah. Beberapa orang mungkin bertanya-tanya bagaimana Anda dapat membuktikan batas bawah seperti itu. Lihat di bawah.
Batas Bawah Eksponensial:
Klaim: Jika Anda memiliki masalah yaitu -complete di bawah pengurangan polinomial, maka ada konstanta sehingga tidak dapat dipecahkan dalam waktu. E X P T I M E α ∈ R X O ( 2 n α )
Ide Bukti: Berdasarkan teorema hierarki waktu, ada masalah dalam waktu yang tidak dalam waktu waktu. Selanjutnya, harus ada pengurangan polinomial dari ke . Oleh karena itu, ada konstan sehingga pengurangan ini mengambil contoh dari ukuran untuk Y ke sebuah contoh dari ukuran n c untuk X . The batas bawah untuk Y dari O ( 2 n 1 - ε ) pergeseran waktu untuk batas bawah untuk X dari OO ( 2 n ) o ( 2 nYXcnwaktu.
Batas Bawah Polinomial:
Beberapa - masalah lengkap memiliki parameterisasi yang bagus menjadi masalah waktu polinomial. Pertimbangkan masalah X dari sebelumnya. Misalkan kita memiliki parameterisasi k - X untuk X sedemikian rupa sehingga:
- Untuk setiap tetap , k - X dalam waktu polinomial.
Sebuah contoh:
Salah satu contoh masalah yang muncul adalah persimpangan non-kekosongan untuk tree automata. Yaitu, mengingat daftar terbatas automata pohon, apakah ada pohon yang secara bersamaan memenuhi semua automata?
Pertanyaan: