«complexity-theory» etiketlenmiş sorular

Problem çözmenin (hesaplamalı) karmaşıklığı ile ilgili sorular

1
Rupert için bir çanta hediye paketlemek Noel Baba'dan daha mı kolay?
Veya: Hediye almak için Rupert'e ihtiyacımız var mı? Yönlendirme sorunları bir yana, Santa aşağıdaki sorunla karşı karşıya (birçok, birçok kez): kapasiteli bir çanta ve her biri boyutunda hediye seti , çocukları mutlu etmek istiyor . O çocuğun tüm dilek listelerinden bilir mevcut değerleri tam fazla.CCC{p1,…,pn}{p1,…,pn}\{p_1, \dots, p_n\}sisis_i{c1,…,ck}{c1,…,ck}\{c_1, \dots, c_k\}cjcjc_jpipip_ivi,j∈Q≥0vi,j∈Q≥0v_{i,j} \in …
2
FACTOR neden Co-NP'de?
Başımı PRIME, COMPOSITE, FACTOR ve bunların karmaşıklık açısından nasıl ilişkili olduğu ile ilgili sorun yaşıyorum. PRIME'ın AKS primality testi tarafından gösterildiğini anlıyorum ve bunun COMPOSITE için de işe yaradığına inanıyorum.PPP FAKTÖR gelince, FACTOR={(m,r):∃s such that1<s<r and s divides m}FACTOR={(m,r):∃s such that1<s<r and s divides m}FACTOR = \{(m,r) :\;\; \exists s …
2
NP'de Yazışma Sonrası Sorun Var mı?
Sipser'in Yazışma Sonrası Problem hakkında Hesaplama Teorisine Giriş kitabındaki bazı sayfaları okudum ve PCP'nin aslında NP'de olduğunu düşünüyorum. Formu dolduran olan: kazık bir giriş yapılandırması için bitiştirme bir dize kadar ve bitiştirme dizesini , ardından ikisinin eşit olup olmadığını görmek için ve karşılaştırın ve ardından girdinin aslında PCP için bir …
2
P NP nasıl kanıtlanır ?
Bunun çok aptalca (veya belirtilemeyecek kadar açık) bir soru gibi göründüğünün farkındayım. Ancak, bir noktada kafam karıştı. Bunu gösterebiliriz P NP=== biz çözer hiçbirinde sorun örneğini verdiği o bir algoritma tasarlayabilir ve ancak eğer NP polinom zamanda. Ancak, ben yeryüzünde bunu kanıtlayabilirim anlamıyorum P NP . Lütfen bu kadar alakasız …
1
Bilinen AM-complete problemleri var mı / AM-complete iyi tanımlanmış mı?
Arthur-Merlin karmaşıklık sınıfında herhangi bir sorun olup olmadığını merak ediyorum. Grafik Olmayan İzomorfizma (GSMH) bir problem klasik örneği gibi görünüyor yılında AM, ama muhtemelen tam bir tane değil. Ayrıca "tam" bir sorunun AM için iyi tanımlanmış olup olmadığını merak ediyorum. AM = BP.NP olduğundan, AM'ye "indirgeme" ye gitmek, deterministik karmaşıklık …
2
Genelleştirilmiş XOR-SAT verimli bir şekilde çözülebilir mi?
XOR-3-SAT'ın nasıl verimli bir şekilde çözülebildiğini gördüm (örneğin, Boole doygunluğu sorunu için Wikipedia girişindeki "XOR-satisfiability" bölümüne bakın ). Temel bir soruyu merak ediyorum: XOR-k-SAT, madde başına değişen miktarlarda formül içeren formüller için verimli bir şekilde çözülebilir mi? Gerçekten, madde başına değişmez miktarları 3'ten fazla artırabilir miyiz ve karışık cümle uzunluklarına …
2
İzmorfizmi çizmek için grup izomorfizması
Hesaplama karmaşıklığıyla ilgili bazı blogları okurken (örneğin burada ) İki grubun izomorfik olup olmadığına karar vermenin iki grafiği izomorfizm için test etmekten daha kolay olduğu fikrini özümsedim. Örneğin, belirtilen sayfada, grafik izomorfizminin grup izomorfizminden daha genel bir sorun olduğunu söylüyor. Bu yüzden aşağıdakileri poz ediyorum Bir grubu verildiğinde , birisi …
2
Monoton boolean formülünün tatmin edilebilirliğine karar vermenin NP tamlığını kanıtlayın
Bu sorunu çözmeye çalışıyorum ve gerçekten mücadele ediyorum. Bir monoton boole formül tümü değişmezdir pozitif önermeler mantık bir formüldür. Örneğin, ( x1∨ x2) ∧ ( x1∨ x3) ∧ ( x3∨ x4∨ x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) monoton bir boolean fonksiyonudur. Öte …
4
Girişleri tek tek kodlandığında, NP-zor veya tamamlayıcı sorunların karmaşıklığı değişiyor mu?
Güçlü bir NP-zor veya NP-tam probleminin (örneğin burada tanımlandığı gibi ) zorluğu , ikili kodlanmış yerine girişi tekli olduğunda değişiyor mu? Güçlü bir NP-zor sorununun girişi tek olarak kodlanmışsa ne fark eder? Yani, örneğin zayıf NP-komple Knapsack problemini alırsam, ikili kodlandığında NP-tamamlanmış olur, ancak tekli kodlandığında dinamik programlama ile polinom …
2
CoNP tamlığı NP sertliği anlamına mı gelir?
CoNP tamlığı NP sertliği anlamına mı gelir? Özellikle, coNP-complete olarak gösterdiğim bir sorunum var. NP-zor olduğunu iddia edebilir miyim? CoNP-sertliğini iddia edebileceğimin farkındayım, ancak bu terminolojinin standart olup olmadığından emin değilim. NP-tam bir problemin coNP'ye ait olması durumunda NP = coNP olduğu iddiasından memnunum. Bununla birlikte, bu ders notları NP-zor …
3
Neden daha büyük giriş boyutları daha zor örnekler içeriyor?
Aşağıda, sonsuz bantlı bir Turing makinesi ile çalıştığımızı varsayalım. Birine zaman karmaşıklığı kavramını ve bir örneğin giriş boyutuna göre neden ölçüldüğünü açıklarken, aşağıdaki iddiada karşılaştım: [..] Örneğin, iki tamsayıyı 100000 bit ile çarpmak için, örneğin iki tamsayıyı 3 bit ile çarpmaktan daha fazla adıma ihtiyacınız olması doğaldır. İddia ikna edici, …
1
Karmaşıklık sınıfı nedir
karmaşıklık sınıfı ne anlama geliyor? Biliyorum dilleri içeren karmaşıklık sınıf olan bir polinom zaman nondeterministic Turing makinesi olup şekilde IFF makinesi kabul durumlarının sayısı girişine garip.⊕P⊕P⊕P⊕P\oplus P^{\oplus P}⊕P⊕P\oplus PAAAMMMx∈Ax∈Ax \in AMMMxxx Peki anlama geliyor? Aslında ne yaptığını takip edemiyorum :)⊕P⊕P⊕P⊕P\oplus P^{\oplus P} Bu tür karmaşıklık sınıfının pratik sonuçları nelerdir ve …
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.