«cc.complexity-theory» etiketlenmiş sorular

NP ve NP ile sınırlı diğer kaynak hesaplamaları.

5
Düzensizliğin mantıksız gücü
Görüş sağduyu açısından, olmayan determinizm ekleyerek inanmak kolaydır PP\mathsf{P} anlamlı yani gücünü, uzanır, NPNP\mathsf{NP} çok daha büyüktür PP\mathsf{P} . Sonuçta determinizm, şüphesiz çok güçlü görünen üstel paralelliğe izin veriyor. Diğer yandan, sadece olmayan homojen ekleme durumunda PP\mathsf{P} elde edilmesi, P/polyP/poly\mathsf{P}/poly (biz oluşabilir olmayan yinelemeli dilleri dahil varsayarak, daha sonra sezgi …
2
“Steve sınıfı”: SC'nin kökeni
in Steve Cook için ve nin Nick Pippenger için adlandırıldığını "biliyoruz" . Yanılmıyorsam, Steve Cook, Nick Pippenger onuruna NC adını verdi ve tersinin de doğru olduğu söylendi. Bununla birlikte, bu son gerçeğin kanıtlarını Steve Cook'un DCFL'ler hakkındaki makalesinde veya Nisan'ın .N C R L ⊆ S CS CSC\mathsf{SC}N CNC\mathsf{NC}R L …
4
Polinom hiyerarşisinin seviyeleri için etkileşimli kanıtlar
Bir PSPACE makineniz varsa, polinom hiyerarşisinin herhangi bir seviyesine etkileşimli bir kanıt verebilecek kadar güçlü olduğunu biliyoruz. (Doğru hatırlıyorsam, ihtiyacın olan tek şey #P.) Ama bir dilinde etkileşimli bir üyelik kanıtı vermek istediğini varsayalım . problemleri çözebilmek için yeterli mi? içindeki problemleri çözmek yeterli mi? Daha genel çözebilecek eğer veya …
2
NTIME (n ^ k) ≠ DTIME (n ^ k)?
"Gerekirci olmayan makinalar karşı belirlenimciliğin ve ilgili sorunlar üzerinde" de (Proc. IEEE Focs, sayfa 429-438, 1983), Paul, Pippenger, Szemeredi'nin ve Paça kanıtladı NTIME(n)≠DTIME(n)NTIME(n)≠DTIME(n)\mathsf{NTIME}(n)\neq\mathsf{DTIME}(n) . Bu soruma k = 1 ile cevap veriyor. Başka bir sabit k için benzer bir sonuç hakkında bilinen bir şey var mı?
3
en büyük ortak bölenin karmaşıklığı (gcd)
Aşağıdaki sayma problemini (veya ilgili karar problemini) göz önünde bulundurun: İkili kodlanmış iki pozitif tamsayı verildiğinde, en büyük ortak bölenlerini (gcd) hesaplayın. Bu sorunun içinde bulunduğu en küçük karmaşıklık sınıfı hangisidir? Bir referans verebilir misiniz? Bu soruda öncelikle çalışma zamanındaki asimptotik sınırlarla değil, karmaşıklık sınıflarıyla ilgileniyorum. AC'de sorun mu var? …
4
Karmaşıklık sınıfları ve mantık arasındaki yazışma
Bir zamanlar Hesaplanabilirlik ve Mantık üzerine ders aldım. Materyal karmaşıklık / hesaplanabilirlik sınıfları (R, RE, eş-RE, P, NP, Logspace, ...) ve Mantık (Öngörülen hesabı, birinci dereceden mantık, ...) arasında bir korelasyon içeriyordu. Korelasyon, bir alandaki diğer alandaki teknikler kullanılarak elde edilen birkaç sonucu içermektedir. P! = NP'nin Mantık'ta bir problem …
1
vs ?
Karmaşıklık teorisinin merkezi problemi tartışmasız olan vs .PPPNPNPNP Bununla birlikte, Nature kuantum olduğundan sınıflarını göz önünde bulundurmak daha doğal gözükecektir (yani, polinom zamanında kuantum bilgisayar tarafından çözülebilen karar problemleri, tüm durumlarda en fazla 1/3 hata olasılığı) ve (kuantum eşdeğeri ve ) kullanılarak.BQPBQPBQPQMAQMAQMANPNPNP Sorularım: 1) - problemine bir çözüm, ve bir …
3
Karmaşıklık Varsayımlarının Bir Antolojisi
Makalede Rastgele Oracle Hipotezi Yanlış , yazarlar (Chang, Chor, Goldreich, Hartmanis, Håstad, Ranjan ve Rohatgi) rastgele-kehanet hipotezinin sonuçlarını tartışıyorlar . Karmaşıklık sınıfları arasındaki ayrılıklar hakkında çok az şey bilmediğimizi ve çoğu sonucun ya makul varsayımları ya da rastgele-kehanet hipotezini kullanmayı içerdiğini savunuyorlar . En önemli ve en çok inanılan varsayım, …
8
Büyük açık karmaşıklık boşlukları ile ilgili sorunlar
Bu soru, bilinen alt sınır ve üst sınır arasında büyük bir açık karmaşıklık boşluğu olduğu, ancak karmaşıklık sınıflarının kendilerindeki açık sorunlar nedeniyle olmadığı sorunlarla ilgilidir. Daha açık olmak gerekirse, edelim bir sorun vardır ki boşluk sınıfları ile ( bir ⊆ B ise benzersiz tanımlanmamış) bir bunun bir kanıtlayabileceğiniz maksimal sınıf …
1
LOGLOG = NLOGLOG mu?
LOGLOG'u, O (loglog n) uzamında deterministik bir Turing makinesi (girdiye iki yönlü erişime sahip) ile hesaplanabilecek dillerin sınıfı olarak tanımlayın. Benzer şekilde, NLOGLOG'u, O uzayında (log log n) belirlenemeyen bir Turing makinesi (girdiye iki yönlü erişimi olan) ile hesaplanabilen dillerin sınıfı olarak tanımlayın. Bu sınıfların farklı olduğu gerçekten bilinmiyor mu? …
2
Sonuçları
Bir TCS amatör olarak, kuantum hesaplama konusunda çok popüler, çok tanıtıcı bir materyal okuyorum. Şimdiye kadar öğrendiğim birkaç temel bilgi: Kuantum bilgisayarların NP-komple problemleri polinom zaman içerisinde çözdüğü bilinmemektedir. "Kuantum sihirli yeterli olmayacaktır" (Bennett ve ark 1997).: Sorun yapısını atmak ve sadece alanını düşünülürse , yaklaşık ardından bile kuantum bilgisayar …
5
Verimli hesaplama için programlama dilleri
Tüm girişleri durduran ve hiçbiri olmayan tüm makinelere izin veren bir programlama dili yazmak mümkün değildir. Bununla birlikte, herhangi bir standart karmaşıklık sınıfı için böyle bir programlama dilini tanımlamak kolay görünmektedir. Özellikle, tüm verimli hesaplamaları ve sadece verimli hesaplamaları ifade edebileceğimiz bir dil tanımlayabiliriz. Örneğin, gibi bir şey için : …
1
Gap-3SAT NP, ortalamadan daha fazla cümle içinde hiçbir değişken çiftinin görünmediği 3CNF formüllerinde bile tamam mı?
Bu soruda, bir 3CNF formülü, her bir maddenin tam olarak üç ayrı değişken içerdiği bir CNF formülü anlamına gelir . 0 < s <1 olan sabit bir değer için Gap-3SAT s aşağıdaki söz verme sorunudur: Gap-3SAT s Örneği : 3CNF formül φ. Evet-söz : satis tatmin edicidir. No-vaadi : Hayır …
2
Impagliazzo'nun Dünyalarının Durumu?
1995'te Russell Impagliazzo beş karmaşıklık dünyası önerdi: 1- Algoritma: Tüm şaşırtıcı sonuçlarla P= NPP=N-PP=NP 2- Heuristica: problemler en kötü durumda ( P ≠ N P ) zordur, ancak ortalama durumda etkin bir şekilde çözülebilir.N-PN-PNPP≠ NPP≠N-PP \ne NP 3- Pessiland: Ortalama bir -tamamlayıcı problemi var ancak tek yönlü fonksiyonlar mevcut değil. …
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.