Pertanyaan yang diberi tag «check-my-proof»

Saya baru di forum ini dan hanya seorang fisikawan yang melakukan ini untuk menjaga otaknya tetap bugar, jadi tolong tunjukkan rahmat jika saya tidak menggunakan bahasa yang paling elegan. Juga silakan tinggalkan komentar, jika menurut Anda tag lain akan lebih sesuai. Saya mencoba untuk memecahkan masalah ini yang saya perlu …

18 graph-theory  combinatorics  check-my-proof 

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. Biarkan …

12 complexity-theory  p-vs-np  check-my-proof  np 

Definisi: Pengurangan Karp Bahasa adalah Karp dapat direduksi menjadi bahasa jika ada fungsi yang dapat dihitung polinomial waktu sedemikian rupa sehingga untuk setiap , jika dan hanya jika .AAABBBf:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^*xxxx∈Ax∈Ax\in Af(x)∈Bf(x)∈Bf(x)\in B Definisi: Pengurangan Levin Masalah pencarian adalah Levin dapat direduksi menjadi masalah pencarian jika ada fungsi waktu polinom sehingga Karp …

12 complexity-theory  reductions  check-my-proof 

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 secara rekursif?CCCSEBUAHAACCC Saya sudah menjawab 1. Mengenai 2., saya menjawab dengan tegas …

11 computability  check-my-proof