Teorik Bilgisayar Bilimi

Teorik bilgisayar bilimcileri ve ilgili alanlardaki araştırmacılar için soru cevap

1
En uzun iz problemi en uzun yol probleminden daha mı kolay?
En uzun yol problemi NP-zordur. (Tipik?) Kanıt Hamilton yolu sorununda (NP-tamamlanmış) bir azalmaya dayanır. Burada yolun (düğüm-) basit olduğu dikkate alınmalıdır. Yani, yolda birden fazla tepe noktası oluşamaz. Açıkçası bu nedenle kenar basittir (yolda bir kereden fazla kenar oluşmaz). Peki ya (düğüm-) basit bir yol bulma gerekliliğini düşürürsek ve kenar-basit …
1
Rasgele 3-SAT: Eşiğin fikir birliği deney aralığı nedir?
Cümlelerin rasgele 3-SAT için değişkenlere kritik oranı 3'ten fazla ve 6'dan azdır ve yaygın olarak "yaklaşık 4.2" veya "4.25 civarında" olarak tanımlanmaktadır. Mezard, Parisi ve Zecchina (fizik anlamında) kritik oranın 4.256 olduğunu, birinci ve üçüncü yazarlar ise 4.267 olduğunu kanıtlamaktadır . What is the range of values that the critical …
5
Sınırlı Üçgenlik Grafiklerinde r-Dominating Set için Kesin Algoritmalar
Bir grafik verildiğinde, , G için optimal bir r- hakimiyeti bulmak istiyorum . Yani, bir alt istiyorum olan S ve V olarak bütün çıkıntılar şekilde G en çok bir mesafede olan r bazı tepe noktasından S boyutunu en aza indirirken, S .G=(V,E)G=(V,E)G = (V, E)rrrGGGSSSVVVGGGrrrSSSSSS Şimdiye kadar kontrol ettiklerimden, aşağıdakileri …
1
İki sayaçlı makine
Standart iki sayaç ( ) aşağıdaki talimatları uygulayabilir:c1, c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT aşağıdaki dile karar verin: L = { n2∣ n ≥ 1 }L={n2∣n≥1}L …
4
Fonksiyonlar için eta-denklik Haskell'in seq işlemi ile karşılaştırılabilir mi?
Lemma: Eta denkliği varsayalım (\x -> ⊥) = ⊥ :: A -> B. İspat: ⊥ = (\x -> ⊥ x)eta-denklik ve (\x -> ⊥ x) = (\x -> ⊥)lambda altında azalma ile. Haskell 2010 raporu, bölüm 6.2 seqfonksiyonu iki denklemle belirtir : seq :: a -> b -> b seq …
6
Hesaplamanın Geometrik Yorumu
Fizikte olduğum için, geometrik açıdan bir çok soruna bakmak için eğitildim. Örneğin dinamik sistemlerde manifoldların diferansiyel geometrisi vb. Bilgisayar biliminin temellerini okuduğumda daima geometrik yorumlar bulmaya çalışırım. Özyinelemeli olarak numaralandırılabilir kümelerin makul bir geometrik yorumu gibi (Diophantine kümeleri ile denkliği kullanarak bunları cebirsel geometri ile birleştirmeye çalıştığım bir parça üzerinde …
1
ACC cricuits'in Beigel-Tarui dönüşümü
Arora ve Barak'ın Hesaplama Karmaşıklığı kitabında NEXP için ACC alt sınırları hakkındaki eki okuyorum . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf önemli lemmalarõn bir bir dönüşümdür eşdeğer polylogarithmic derecesi ve quasipolynomial katsayıları veya tamsayılar üzerinde çoklu doğrusal polinomları devreler devre sınıfı S Y M + , poliasaritmik fan girişi ile alt seviyesinde çok sayıda AND …
2
İnanç yayma yöntemlerinin çalışma süreleri için teorik garantiler?
İnanç yayılımının olasılıksal grafiksel modellerde yapılan araştırmalarla çok güçlü bir yöntem olduğu gösterilmiştir. Bununla birlikte, BP hakkında # P-complete problemleri için tamamen polinom randomize yaklaşım şemalarına (FPRAS) sahip olabileceğimiz MCMC yöntemleriyle karşılaştırılabilir bir şey bilmiyorum. Birisi beni bazı referanslara yönlendirebilir mi?
1
SAT'ın NP sertliği için gereken minimum azaltma derinliği nedir?
Herkesin bildiği gibi, SAT için tamamlandıktan polinom zamanlı birçok kimse azalmalar wrt. Hala A C 0 çok-bir indirimler ile tamamlandı.NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} Sorularım, indirimler için gereken minimum derinlik nedir? Daha resmi, SAT'ın N P -hard wrt A C 0 d çok-bir indirgenmesi olacak en az nedir ?dddNPNP\mathsf{NP}AC0dACd0\mathsf{AC^0_d} Bana göre yeterli olmalı mı? …
6
SAT varyasyonları
İnternete baktım, ancak SAT sorununun herhangi bir 'büyük listesini' bulamadım. (Ortak) dışında OTURDU, k-SAT, MAKS-kSAT, Yarım SAT, XOR-SAT, NAE-SAT başka hangi varyantlar var? (ayrıca karmaşıklık sınıflarının verilmesi (gerçekten mümkün olduğunda) gerçekten yararlı olacaktır)
2
Eşitlik yerine pozitiflik testi
Alice ve Bob'un n-bit dizeleri var ve az iletişim kurarken eşit olup olmadıklarını anlamak istiyorlar. Standart randomize çözelti derece polinom n-bit zincirleri tedavi etmektir ve daha sonra daha büyük bir boyutta bir alandan bir kaç rastgele seçilmiş elemanları üzerinde polinomları değerlendirmek . Bu iletişimini gerektirir.n O ( log | F …
2
Parite-P, PP'de bulunur mu?
Bu soru Jan Pax tarafından Matematiğin Temelleri posta listesi hakkında sorulmuştur . Kesinlikle P⊕P⊆P#P=PPPP⊕P⊆P#P=PPPP^{\oplus P} \subseteq P^{\#P} = P^{PP} ama bu sorunun cevabından olup olmadığının bilinmediğinden şüpheleniyorum ⊕P⊆PP⊕P⊆PP\oplus P \subseteq PP(aksi takdirde PPPPPP bu sorunun olası bir cevabı olacaktır). Eğer bilinmiyorsa, kehanet ayrılığı var mı?
1
Bir problem NP'de nasıl olabilir, NP-sert olabilir ve NP-tam olmayabilir?
En uzun süredir, (1) NP-sert ve (2) NP ise, bir sorunun NP-tamamlanmış olduğunu düşündüm. Bununla birlikte, ünlü "Elipsoid yöntemi ve kombinatoryal optimizasyondaki sonuçları" makalesinde yazarlar, fraksiyonel kromatik sayı probleminin NP'ye ait olduğunu ve NP-zor olduğunu, ancak NP-tam olduğu bilinmemektedir. Makalenin üçüncü sayfasında yazarlar: ... bir grafiğin tepe paketleme sorun fraksiyonel …
1
GCD hesaplamak için bir kuantum NC algoritması var mı?
MathOverflow ile ilgili sorularımdan birindeki yorumlardan GCD'nin karşı P'de olmasıyla ilgili sorunun, Tamsayı Faktorizasyonunun P'ye karşı N P'ye ilişkin olduğu sorusuna benzediğini hissediyorum .NCNC\mathsf{NC}PP\mathsf{P}PP\mathsf{P}NPNP\mathsf{NP} Tamsayılı Faktorizasyon için bir kuantum polinom zamanı ( B Q P ) algoritması olduğundan GCD için "kuantum " algoritması gibi bir şey var mı ?NCNC\mathsf{NC}BQPBQP\mathsf{BQP} İlgili …
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.