Pertanyaan yang diberi tag check-my-proof

12
Cacat di NP = Bukti CoNP saya?

Saya memiliki "bukti" yang sangat sederhana ini untuk NP = CoNP dan saya pikir saya melakukan sesuatu yang salah di suatu tempat, tetapi saya tidak dapat menemukan apa yang salah. Adakah yang bisa membantu saya? Biarkan A menjadi beberapa masalah dalam NP, dan biarkan M menjadi penentu untuk A....

11
himpunan bagian dari set rekursif tak terbatas

Pertanyaan ujian baru-baru ini adalah sebagai berikut: adalah himpunan enumerable rekursif tak terbatas. Buktikan bahwa A memiliki subset rekursif tak terbatas.SEBUAHAASEBUAHAA Biarkan menjadi bagian rekursif tak terbatas A . Haruskah C memiliki subset yang tidak dapat dihitung berulang...