«cc.complexity-theory» etiketlenmiş sorular

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

1
Gerçeklere göre NP bütünlüğü
Son zamanlarda BSS hesaplama modelini inceliyorum (örneğin Karmaşıklık ve Gerçek Hesaplama; Blum, Cucker, Shub, Smale.) Realse için , o polinomların bir sistem dikkate alındığında, bu gösterilmiştir f 1 , ⋯ , f m ∈ R [ x 1 , ⋯ , X , n ] , sıfır varlığıdır N P …
3
Çoğunluk fonksiyonunun devre karmaşıklığı
Let çoğunluğu fonksiyonu, yani hem , ancak ve ancak . Aşağıdaki gerçeğin basit bir kanıtı olup olmadığını merak ediyordum ("basit" ile Valiant 84'ün yaptığı gibi olasılıksal yönteme veya sıralama ağlarına güvenmemek, tercihen devrenin açık, basit bir şekilde yapılandırılmasını sağlamak):f:{0,1}n→{0,1}f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\}f(x)=1f(x)=1f(x) = 1∑ni=1xi>n/2∑i=1nxi>n/2\sum_{i = 1}^n x_i > n/2 fff …
3
PH = PSPACE'in sonuçları ne olurdu?
Yakın zamanda soru (bkz NP = Pspace Sonuçlarını ) arasında "pis" sonuçları istedi . Cevaplar ve diğerleri de dahil olmak üzere inanmak için birçok neden sağlayarak birkaç çöküş sonucunu listeler .NP=PSPACENP=PSPACENP=PSPACENP=coNPNP=coNPNP=coNPNP≠PSPACENP≠PSPACENP\neq PSPACE Biraz daha az dramatik bir çöküşün sonuçları ne olurdu ?PH=PSPACEPH=PSPACEPH=PSPACE
3
Zor dillerin sınırı kolay olabilir mi?
Aşağıdakilerin hepsi aynı anda tutulabilir mi? L s + 1 sLsLsL_s , tüm pozitif tamsayılar için .Ls+1Ls+1L_{s+1}sss { 0 , 1 }L=⋃sLsL=⋃sLsL = \bigcup_s L_s , üzerindeki tüm sonlu kelimelerin dilidir .{0,1}{0,1}\{0,1\} Bazı karmaşıklık sınıfı yoktur ve redüksiyon uygun bir kavramı herbiri için böyle , için zordur .C s L …
1
Çeşitli kaynak sınırları ile ilgili tek yönlü işlevler
Gayri resmi olarak, PTIME algoritmalarına göre tek yönlü işlevler tanımlanır. Polinom zamanında hesaplanabilirler, ancak ortalama vaka polinom zamanında tersine çevrilemezler. Bu tür işlevlerin varlığı teorik bilgisayar biliminde önemli bir açık sorundur. Farklı kaynak sınırlarına göre tanımlanan tek yönlü işlevlerle (kriptografik uygulamalar için değil) ilgileniyorum. Bu tür kaynak sınırları LOGSPACE veya …
1
Gürültülü Boole fonksiyonlarının sertliği
Boolean değişkeninin bir Boolean fonksiyonu olsun . Let olması beklenen değeri elde edilen her olasılığı ile koordine çevirerek .fffnnng(x)=Tϵ(f)(x)g(x)=Tϵ(f)(x)g(x)=T_\epsilon (f) (x)f(y)f(y)f(y)yyyxxxϵ/2ϵ/2\epsilon/2 Hesaplamanın yaklaşmasının zor olduğu durumlarla ilgileniyorum . Me "yaklaşımı" kavramını sabit olsun (ama diğerleri olabilir): bir Boolean fonksiyonu yaklaşır Eğer olduğunda ve olduğunda .Bir sayım argümanı (pozitif oran hatası …
1
Bir matrisin Köşegenleştirilebilir olup olmadığını kontrol etmenin karmaşıklığı nedir?
Rasyonel girişleri olan bir matrisi . köşegenleştirilebilir olduğunu kontrol etmenin karmaşıklığı nedir ?n×nn×nn\times nAAAAAA Bunun P'de yapılabileceğinden şüpheleniyorum, ancak herhangi bir referans bilmiyorum. Bununla birlikte, daha ilginç bir soru, bu sorunu yakalamak için daha iyi bir karmaşıklık sınıfı var mı? Herhangi bir rehberlik / yorum açığız! Teşekkürler.
2
PPAD gerçekten dengesiz bir tepe noktası bulma fikrini yakalar mı?
Karmaşıklık sınıfı PPAD onun seminal 1994 Hristos Papadimitriou tarafından icat edilmiştir kağıdı . Sınıf, bir çözümün varlığının "yönlendirilmiş grafiklerde parite argümanı" ile garanti edildiği arama sorunlarının karmaşıklığını yakalamak için tasarlanmıştır: eğer yönlendirilmiş bir grafikte dengesiz bir tepe noktası varsa, başka bir çözüm bulunmalıdır. Ancak genellikle sınıf resmi olarak ANOTHER END …
4
Hızlı bir şekilde mükemmel bir şekilde mod 3 üretebilir veya NP problemini çözebilir miyiz?
Dürüst olmak gerekirse, rastgele sayının nasıl üretildiği hakkında çok fazla şey bilmiyorum (yorumlar hoş geldiniz!) Ama aşağıdaki teorik modeli varsayalım: den tamsayılar rastgele eşit olabilir ve hedefimiz [1,3] 'ten eşit olarak rasgele bir tamsayı üretir.[ 1 , 2 n ][1,2n][1,2^n] Beklenen çalışma süresi polinom olan basit bir çözüm aşağıdadır. Atın …
1
“NP-Orta-Tam” problemleri var mı?
P NP olduğunu varsayın .≠≠\ne Ladner Teoremi NP Ara problemler olduğunu (NP'de ne P ne de NP-Complete'te olmayan problemler) söylüyor. Ben NPI içinde kesinlikle hepsi tek bir çökmek değil birçok "düzeyleri" karşılıklı azaltılabilir dillerin olduğunu düşündüren bazı örtülü referanslar çevrimiçi bulduk. Bu seviyelerin yapısı hakkında bazı sorularım var. "NP-Intermediate-Complete" problemleri …
3
Relativize edilemeyen kanıtların doğal örnekleri nelerdir?
Anladığım kadarıyla, P = NP veya P ≠ NP'nin relativize edilemez olması gerektiğine dair bir kanıt (özyineleme teorisi kehanetlerinde olduğu gibi). Bununla birlikte, neredeyse tüm kanıtlar göreli olabilir. Relativize edilemeyen kanıtlara, P = NP / P proof NP kanıtlarının olması gerekecek, önemsiz veya çelişkili olmayan iyi örnekler nelerdir ? (Ben …
1
Bu iki PPAD tanımı neden eşdeğerdir?
Karmaşıklık sınıfı PPAD genellikle Hat Sonu'nun PPAD-tamamlanmış olduğunu belirterek tanımlanır. Hat Sonu bir arama sorunudur. Giriş grafik bir polinom zamanlı hesaplanabilir fonksiyonu ile verilmektedir derece-içi ve derecesi en 1'den her bir düğüm sahip olduğu bir çizge oluşur bu döner önceki ve ardıl . Ek olarak, birine ardıl olan ancak selefi …
3
Çeşitli grafiklerde oyun
Bazı düğümlerde bir çip bulunan yönlendirilmiş ağırlıklı bir grafik GGG aşağıdaki oyunu düşünün . Tüm GGG düğümleri A veya B ile işaretlenmiştir. İki oyuncu Alice ve Bob var. Alice'in (Bob) amacı, çipi A (B) işaretli bir düğüme kaydırmaktır. Başlangıçta Alice ve Bob mAmAm_Asırasıyla A vemBmBm_B dolarlarına sahiptir. Bir oyuncu kaybetme …
1
Entropi ve hesaplama karmaşıklığı
Silme bitinin enerji tüketmesi gerektiğini gösteren araştırmacılar var, şimdi hesaplama karmaşıklığı ile algoritmanın ortalama enerji tüketimi hakkında yapılmış herhangi bir araştırma var mı? Sanırım, hesaplama karmaşıklığı ortalama enerji tüketimi ile ilişkilidir, umarım burada biraz cevap alabilirim.F ( n )F(n)F(n)F(n)F(n)F(n)F(n)
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.