«cc.complexity-theory» etiketlenmiş sorular

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

2
Kolmogorov karmaşıklığını çıkartamaz mıyız?
Bize Turing makineleri ve evrensel Turing makinesinin bir ön ek içermeyen kodlama düzeltmek izin UUU girişte söz ( T , x )(T,x)(T,x) (önek içermeyen kodu olarak kodlanmış TTT , ardından Xxx ne olursa olsun, çıkışlar) TTT girişi çıkış xxx muhtemelen ( ikisi de sonsuza dek koşuyor). Kolmogorov karmaşıklığı tanımlar xxx …
6
“Büyük” tanıklarla doğal NP-komple sorunlar
Cstheory sorusu “ NP, doğrusal boyut tanıklarıyla sınırlıdır? ” Sorusunu sorar, NP sınıfı lineer boyutla sınırlıdır , fakat O(n)O(n)O(n) tanık olur. Var mıdır doğal NP-tam problemler boyutu içinde (evet) örneklerini nnn daha boyutunun daha fazla tanık gerektiren nnn ? Açıkça şöyle yapay problemler yapabiliriz : L={1nw∣w encodes a satisfiable formula …
16
Sert görünümlü algoritmik problemler teoremler tarafından kolaylaştırıldı
Aşağıdaki fenomenin gerçekleştiği güzel örnekler arıyorum: (1) Tanımlardan çalışarak ve sadece standart sonuçları kullanarak çözmek için algoritmik bir problem zor görünüyor. (2) Öte yandan, bazı (çok standart olmayan) teoremleri biliyorsanız, kolaylaşır. Bunun amacı, daha fazla teorem öğrenmenin, teori alanının dışında kalanlar için bile (yazılım mühendisleri, bilgisayar mühendisleri vb.) Faydalı olabileceğini …
2
Kaç tane DFA verilen iki dizeyi kabul eder?
Bir tamsayı ve alfabe harflerini düzeltin . Define üzerindeki tüm sonlu durum otomata toplama olmaya durumunu 1. Biz düşünen başlayan devletler tüm DFAS (olanları sadece bağlı değil, minimal veya olmayan dejenere); Böylece, .nnnΣ={0,1}Σ={0,1}\Sigma=\{0,1\}DFA(n)DFA(n)DFA(n)| D F A ( n ) | = n 2 n 2 nnnn|DFA(n)|=n2n2n|DFA(n)|=n2n2n|DFA(n)| = n^{2n}2^n Şimdi, iki …
5
RSA'dan SAT'a Hızlı Azaltma
Scott Aaronson'un blog yazısı bugün, karmaşıklıktaki ilginç açık problemlerin / görevlerin bir listesini verdi. Özellikle biri dikkatimi çekti: Çözüldüğü zaman kayda değer sonuçlar doğurabilecek, mümkün olduğunca az değişken ve cümlecik içeren, 3SAT örneklerinden oluşan bir halk kütüphanesi oluşturun. (Örneğin, RSA faktoring zorluklarını kodlayan örnekler.) Bu kitaplıktaki en iyi güncel SAT-çözücülerinin …
2
Savitch teoreminde daha düşük sınırlar
Her şeyden önce, herhangi bir aptallık için şimdiden özür dilerim. Hiçbir şekilde karmaşıklık teorisi konusunda uzman değilim (ondan uzak! Karmaşıklık teorisinde birinci sınıfımı alan bir lisans öğrenciyim) İşte benim sorum. Şimdi Savitch Teoremi Şimdi bu alt sınırın sıkı olup olmadığını merak ediyorum, yani bu ulaşılamaz. NSPACE ( f ( n …
1
Kanonik göreceli olmayan teknikler var mı?
Birçok alanda, sahada çalışan herkesin ustalaşması gereken kanonik teknikler vardır. Örneğin, logspace azaltmaları için, oluşturulan işlevin tam çıktısını oluşturmaktan değil, her zaman çıktının her bitinin sonucunu yeniden hesaplamak isteyen ve logspace sınırlarını korumaya izin veren kompozisyon için "bit numarası". Benim sorum göreceli olmayan tekniklerle ilgili. Teorisyenler göreceli olmayan temel işlemlerin …
3
Kaç tane 3-SAT örneği karşılanabilir?
N değişkenlerinde 3-SAT problemini düşünün. Muhtemel belirgin cümleciklerin sayısı: C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C = 2n \times 2(n-1) \times 2(n -2) / 3! = 4 n(n-1)(n-2)/3 \text. Sorun örnek sayısı mümkün maddeleri kümesinin tüm alt kümelerinin sayısı aşağıdaki gibidir: . Önemsiz olarak, her , en az bir tane tatmin edici bir örnek ve bir …
3
PH'da olmadığı bilinen ancak P = NP ise P'de olacak bir karar sorunu
Düzenleme : As Ravi Boppana doğru bir şekilde işaret onun cevabını ve Scott Aaronson da başka bir örnek eklendi onun cevabı , bu sorunun cevabı Ben hiç beklemiyordu bir şekilde “evet” olduğu ortaya çıktı. İlk önce sormak istediğim soruyu cevaplamadıklarını düşündüm , ancak bazı düşüncelerden sonra, bu yapılar sormak istediğim …
2
N-kraliçelerin-tamamlanmasının karmaşıklığı?
Klasik ekseni problemleri, pozitif bir tamsayı verildiğinde , aşağıdaki koşulları sağlayan tamsayıların dizisi olup olmadığını sorar :nnnnnnQ[1..n]Q[1..n]Q[1..n] 1≤Q[i]≤n1≤Q[i]≤n1\le Q[i] \le n tümiii Q[i]≠Q[j]Q[i]≠Q[j]Q[i] \ne Q[j] hepsi içini≠ji≠ji\ne j Q[i]−i≠Q[j]−jQ[i]−i≠Q[j]−jQ[i]-i \ne Q[j]-j hepsi içini≠ji≠ji\ne j Q[i]+i≠Q[j]+jQ[i]+i≠Q[j]+jQ[i]+i \ne Q[j]+j tümi≠ji≠ji\ne j Her bir tam sayı bir kraliçeye konumunu temsil bir inci satır …
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.