Pertanyaan yang diberi tag «decidability»

Apakah setiap bahasa yang dapat dikenali Turing memiliki subset lengkap NP? Pertanyaannya dapat dilihat sebagai versi yang lebih kuat dari fakta bahwa setiap bahasa yang dikenali Turing yang tak terbatas memiliki himpunan bagian yang tak terbatas.

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

Jika Anda memiliki dua fungsi yang menerapkan algoritma penyortiran yang berbeda, apakah mungkin menyimpulkan dengan kode sumber bahwa keduanya memiliki properti eksternal yang sama? Berarti mereka berdua akan memiliki urutan yang mungkin tidak disortir sebagai input dan memiliki urutan yang diurutkan sebagai output? Dengan cara apa properti eksternal ini dapat …

9 pl.programming-languages  decidability  formal-methods  extensionality 

Masalah: Pertimbangkan sejumlah kondisi kontrol terbatas (termasuk status "awal" dan "buruk"), sejumlah variabel integer, dan untuk masing-masing pasangan negara terurut hubungan transisi yang dinyatakan dalam aritmatika Presburger. Putuskan apakah ada invarian induktif (= stabil oleh post-state dari relasi transisi) yang berisi inisial tetapi bukan keadaan buruk, dapat didefinisikan dalam aritmatika …

8 lo.logic  pl.programming-languages  decidability 

Jawaban yang Diterima Jawaban Scott Aaronson telah "diterima" (terutama karena itu satu - satunya jawaban!) Ringkasan jawaban satu kalimat Generalisasi yang wajar dan wajar dari pertanyaan P versus NP tidak jelas lebih mudah diselesaikan daripada P versus NP itu sendiri. Satu halangan terhadap jawaban umum . Pertanyaan awal mengasumsikan bahwa …

8 cc.complexity-theory  decidability