Teorik Bilgisayar Bilimi

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

1
Neredeyse her zaman neredeyse doğru
BPP P ile ilgili olduğu için APX ile ilgili bir karmaşıklık sınıfı arıyorum. Burada zaten aynı soruyu sordum , ama belki TCS cevaplar için daha verimli bir yer olacaktır. Sorunun nedeni, pratik problemlerde, genellikle sınırlı olasılıklı yaklaşma algoritmaları ile problem sınıfını potansiyel olarak neyin hesaplanabileceğinin faydalı bir modeli haline getirecek …
2
UP sınıfı için sezgi
UP sınıfı şöyle tanımlanır : NP makinesi tarafından çözülebilen karar problemlerinin sınıfı, Cevap 'evet' ise, tam olarak bir hesaplama yolu kabul eder. Cevap 'hayır' ise, tüm hesaplama yolları reddedilir. Bu tanım için sezgi geliştirmeye çalışıyorum. UP problemlerinin benzersiz çözümlerle ilgili problemler olduğunu söyleyebilir miyiz (örn. Asal çarpanlara ayırma)? Bu benim …
2
“İkinci X NP-tamamlandı”, “X NP-tamamlandı” anlamına mı geliyor?
"İkinci " problemi, problem örneği için belirli bir çözümden farklı bir çözümün varlığına karar verme problemidir.XXX Bazı için -Komple sorunları, ikinci çözelti bir versiyonu -Komple diğerleri için (ikinci NAE SAT) ya önemsiz veya olamazken (kısmi Latin alan tamamlama sorun için bir çözüm varlığını karar) -Komple (İnanılan karmaşıklık varsayımı altında kübik …
7
Gelişmiş algoritmalar el kitabı
Algoritmalar (CLRS ve DPV gibi algoritma ders kitaplarında kapsanan konuların ötesinde konular) ileri konularda kaynaklar (tercihen bir el kitabı) arıyorum. Erik Demaine ve David Karger'in Gelişmiş Algoritmalar kursu gibi algoritma kursunda bir konu öğretmek için kullanılabilecek malzeme türü . Alanla ilgili genel bir bakış sunacak kaynaklar (el kitabı gibi) tercih …
1
İşlev ve uygulamada benzer algılama devresi
Let Boolean değişkenleri için bir vektör olabilir. Let iki ikili devreler olarak . Aşağıdaki durumlarda benzer olduğunu :x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n)C,DC,DC,DxxxCCCDDD Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)] üstel olarak küçüktür, x \ {0,1 \} ^ n'denxxx rasgele bir şekilde çizildiğinde (diğer bir deyişle, neredeyse aynı işlevselliğe sahiptir); ve,{0,1}n{0,1}n\{0,1\}^n C,DC,DC,D , grafik düzenleme mesafesinde küçük bir miktarda …
3
Bulmak için de Bruijn dizisini kullanarak
Sean Anderson yayınlanan bit kesmek twiddling bulmak için Eric Cole algoritmayı içeren ⌈log2v⌉⌈log2⁡v⌉\lceil\log_2 v \rceil bir bölgesinin NNN bitlik tamsayıdır vvv içinde O(lg(N))O(lg⁡(N))O(\lg(N)) arama çarpma ile işlemleri. Algoritma, De Bruijn dizisinden bir "sihirli" sayıya dayanır. Burada kullanılan dizinin temel matematik özelliklerini açıklayan var mı? uint32_t v; // find the log …
1
Impagliazzo ve Wigderson'un ünlü P = BPP kağıdı
1997'de Impagliazzo ve Wigderson'un ünlü makalesini okuyorum. Bu alanda yeni olduğum ve bildiri kısa bir konferans versiyonu olduğu için kanıtlarını takip etmekte zorlanıyorum. Özellikle, bazı yeni teoremleri kanıt içermiyor. En iyi bilgime göre, yayınlanan bir dergi sürümü yoktu.P = B P PP=BPP\mathsf P=\mathsf{BPP} Sonuçlarını, tercihen resmi kanıtı olanları öğrenebileceğim kaynaklar …
1
Tek sayaçlı tek yönlü alternatif otomatalar, bazı normal olmayan dilleri tanıyabilir mi?
Tek yönlü alternatif basmalı otomata (1APDA), deki herhangi bir dili tanıyabilir (Chandra, Kozen ve Stockmeyer, 1981 ile dönüşüm) . Bir 1APDA'nın aşağı açılan depolamasını bir sayaçla değiştirerek, tek sayaçlı (1ACA) tek yönlü alternatif bir otomat elde edebiliriz. Benim sorum tek dilde 1ACA hakkında.DTIME(2O(n))DTIME(2O(n)) DTIME(2^{O(n)}) 1ACA'lar bazı normal olmayan dilleri tanıyabilir …
1
Grafikte İzomorfizma Komple Sorunları
Grafik İzomorfizmi (GI) tam problemlerini incelemekle ilgileniyorum. Kellogg S. Booth, (1979) tarafından hazırlanan "Grafik İzomorfizmasına Polinomik Olarak Eşdeğer Sorunlar" başlıklı makalede, Edge temel teknikler, Kompozisyon teknikleri vb. Kullanılarak birçok temel sorunun GI'nin tamamlandığını kanıtlamıştır. Son yazılarda kullanılan bazı teknikleri öğrenmek istiyorum. Bazıları bana bazı grafik sınıflarının GI'nin tamamlandığını kanıtlamaya daha …
2
Kaymış maksimum değeri bulmak için doğrusal zaman algoritması
Negatif olmayan tamsayılar içeren bir dizi verildiğini varsayın (mutlaka farklı değildir).A[1..n]A[1..n]A[1..n] Let olmak artmayacak sırasına göre sıralanır. değerini hesaplamak istiyoruz BBBAAAm=maxi∈[n]B[i]+i.m=maxi∈[n]B[i]+i.m = \max_{i\in [n]} B[i]+i. Açık çözüm A'yı sıralamak AAAve sonra m'yi hesaplamaktır mmm. Bu, en kötü durumda O (n \ lg n) zamanında çalışan bir algoritma verir O(nlgn)O(nlg⁡n)O(n \lg …
2
Abelya gizli alt grup probleminin kuantum algoritmasını anlamada zorluk
AHSP algoritmasının son adımlarını anlamakta güçlük çekiyorum. Let bir değişmeli grubu ve olmak f alt grup gizler fonksiyonu H . G ∗ , G'nin ikili grubunu temsil etsin .GGGfffHHHG∗G∗G^*GGG İşte algoritmanın adımları Önce devleti hazırla, .I=1|G|∑g∈G|g⟩|0⟩I=1|G|∑g∈G|g⟩|0⟩\qquad \displaystyle I=\frac{1}{|G|} \sum_{g \in G} |g\rangle|0\rangle Sonra değerlendirir kuantum kahini uygulamak üzerinde I , …
2
P'nin NP ile karşılaştırılabilirliği konusunda
Her şeyden önce, Gödel'in eksiklik teoremi (ve genel olarak biçimsel mantık) hakkındaki anlayışım çok naif, aynı zamanda teorik bilgisayar bilimi hakkındaki bilgim (hala bir lisanstayken alınan sadece bir lisansüstü ders anlamına geliyor), bu yüzden bu soru çok saf. Bulabildiğim kadarıyla, P'nin NP'ye karşı olasılığı açık bir sorundur. Şimdi: Gödel'in ilk …
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.