«complexity-classes» etiketlenmiş sorular

Karmaşıklık sınıfları arasındaki ilişkiler hakkında sorular.


1
NP neden EXPTIME içinde?
NP'nin neden EXPTIME içinde olduğunu görmenin kolay bir yolu var mı? Bana öyle geliyor ki, çözmek için süper üstel zaman gerektiren, ancak çözümü polinom zamanında doğrulanabilen bir sorun olabileceği düşünülebilir.




5
Tamsayılı Doğrusal Programlama problemleri NP-Zor mudur?
Anladığım kadarıyla, Macar algoritması polinom zamanında çözebileceği için atama problemi P'dir - O (n 3 ). Ayrıca atama sorununun bir tam sayı doğrusal programlama sorunu olduğunu anlıyorum , ancak Wikipedia sayfası bunun NP-Hard olduğunu belirtiyor. Bana göre bu, atama sorununun NP-Hard'da olduğunu ima ediyor. Ancak, atama problemi hem P hem …

1
Doğal tamamlama problemleri var mı?
Biliyorum sayısallaştırılmış Boole formülü sorun , bir formül burada bir nicelik içerir ve değişkenler , tamamlama sorununa bir örnektir . Ancak, Devre Minimizasyonu'nun doğal bir tamamlama problemi olduğu gibi bilinen herhangi bir doğal problem olup olmadığını merak ediyorum ( ayrıntılar için Polinom hiyerarşisine bakınız)?ψ = ∀ x1… ∀ xn∃ y1… …

2
Misiniz
Eğer sonra hiyerarşi (Karp-Lipton teoreminden) ikinci düzeyine çöker. Peki ya N P ve c o N P ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Ben N P (diğer yön R P = N P ise önemsiz) içerdiğini kanıtlamaya çalıştım ama boşuna, ve bunun doğru olduğundan bile emin değilim.BPPBPP\sf BPPNPNP\sf NPRP=NPRP=NP\sf RP …

1
Turing azaltmalarını kullanırsak karmaşıklık sınıfları nasıl görünür?
NP tamlığı gibi şeyler hakkında düşünmek için, tipik olarak bir-bir indirimler (yani Karp indirimleri) kullanırız. Bu, aşağıdaki gibi resimlere yol açar: (standart varsayımlar altında). Eminim hepimiz bu tür şeylere aşinayız. Turing indirimleri (yani Cook indirimleri) ile çalışırsak hangi resmi elde ederiz? Görüntü nasıl değişir? Özellikle, en önemli karmaşıklık sınıfları nelerdir …

3
Eğer kanıtlanması
Aşağıdakileri kanıtlama konusunda yardımınızı gerçekten istiyorum. Eğer daha sonra P = N P .NTime(n100)⊆DTime(n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P=NPP=NP\mathrm{P}=\mathrm{NP} Burada, , O ( n 100 ) polinom zamanında belirsiz olmayan Turing makinesi tarafından karar verilebilen tüm dillerin sınıfıdır ve D T i m e ( n 1000 ) tüm dillerin sınıfıdır Bu, O …

1
Relativizasyonun Arkasındaki Sezgi
Hesaplamalı Karmaşıklık üzerine ders alıyorum. Benim sorunum Relativizasyon yöntemini anlamıyorum . Ne yazık ki, şimdiye kadar pek çok ders kitabında biraz sezgi bulmaya çalıştım. Kendi başımıza devam edebilmem için birisinin bu konuya ışık tutabileceğini takdir edeceğim. Birkaç cümle soru ve rölativizasyon hakkındaki düşüncelerimdir, tartışmada gezinmeye yardımcı olurlar. Çoğunlukla relativizasyon, sayılabilir …

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.