«check-my-proof» etiketlenmiş sorular

Bu forumda yeniyim ve sadece beynini formda tutmak için bunu yapan bir fizikçiyim, bu yüzden en zarif dili kullanmazsam lütfen zarafet gösterin. Ayrıca, diğer etiketlerin daha uygun olacağını düşünüyorsanız, lütfen bir yorum bırakın. Çözmem çalışıyorum , bu sorunu bir Hamilton döngü sayısını hesaplamak için gereken için C(n)C(n)C(n) de nnn inci …

18 graph-theory  combinatorics  check-my-proof 

Ben NP = CoNP için bu çok basit bir "kanıt" var ve sanırım bir yerde yanlış bir şey yaptım, ama neyin yanlış olduğunu bulamıyorum. Birisi bana yardım edebilir mi? A'nın NP'de bir sorun olmasına ve M'nin A için karar vermesine izin verin. B, tamamlayıcı olsun, yani B, CoNP'de. M bir …

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

Tanımı: Karp azaltma - Karp Reduction Bir dil dil için Karp indirgenebilir B polinom zamanlı hesaplanabilir işlevi ise, f : { 0 , 1 } * → { 0 , 1 } * , öyle ki her bir için , x , x ∈ bir ancak ve ancak f ( …

12 complexity-theory  reductions  check-my-proof 

Yakın tarihli bir sınav sorusu şu şekildedir: , sonsuz bir yinelenen numaralandırılabilir kümedir. A'nın sonsuz bir özyinelemeli altkümesiolduğunu kanıtlayın.AAAAAA Let sonsuz özyinelemeli alt kümesi A . Must C olan bir alt kümeyi değil ardışık enumerable?CCCAAACCC Ben zaten 1. cevapladım. 2. ile ilgili olarak, olumlu cevap verdim ve şöyle tartıştım. Tüm …

11 computability  check-my-proof