Teorik Bilgisayar Bilimi

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

3
NPI sorunları neden aynı karmaşıklığa sahip değil?
NP-Complete'in aksine bir probleme ve bunun muhtemelen NP-Intermediate olmasının sebebine nasıl bakılır? Bir soruna bakmak ve muhtemelen NP-Complete olup olmadığını söylemek oldukça basittir, ancak bir sorun NP-Orta olup olmadığını söylemek çok daha zor görünüyor, çünkü çizgi ikisi arasında oldukça ince görünüyor sınıflar. Temelde sorduğum, neden polinom zamanında doğrulanabilen (eğer varsa) …
1
# P-Complete problemlerinin faz geçişi hakkında ne biliyoruz?
# P-Complete problemlerinde faz geçişi hakkında ne biliniyor? Özellikle, # DNF-k-SAT ve # CNF-k-SAT için farklı bir faz geçişi var mı? Güncelleme: Bildiğimiz gibi, Random k-SAT'de problemi çözmenin kolaydan zor ve tekrar kolaylığa geçtiği bir aşama geçişi var. # P-Complete problemleri için de böyle bir fenomen olup olmadığını bilmek istiyorum. …
2
CFL'lerin eşitliğine karar verilebilirlik
Aşağıdaki sorun çözülebilir: Bağlamdan bağımsız bir gramer verildiğinde, L ( G ) = ∅ ?G,GGL(G)=∅L(G)=∅L(G) = \varnothing Aşağıdaki sorun kararlaştırılamaz: Bağlamdan bağımsız bir gramer verildiğinde, L ( G ) = A ∗ mı?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} Bağlamsız dilinin karar verilebilir eşitlik L ( G ) = M ile karakterizasyonu var mı?MMML(G)=ML(G)=ML(G) …
2
Yerel Olmayan Oyunlar ve Kuantum İletişimi
Şu anda kuantum iletişiminde faydalı yönleri olan yerel olmayan oyunlar ile ilgili bazı iyi referans materyalleri arıyorum. Örneğin, yerel olmayan oyunların, QKD protokollerinin güvenliğini sağlamanın yanı sıra, sınırlayıcı iletişim karmaşıklığında iyi olduğunu biliyorum. Bilmek istediğim şey, kuantum iletişimindeki yerel olmayan oyunlarla ilgili bazı büyük makaleler nelerdir? Bu alanda son derece …
2
Verimli tekrarlanan eklemeler için veri yapısını ayarlama
Kelime boyutu öğelerinin kümelerini (tekrarlama yok) tutan ve hızlı yerleştirmeyi (amortisör O (1)) destekleyen, alan açısından verimli bir veri yapısı arıyorum. "Yer tasarruflu" ile, ideal olarak, elemanlarını saklamak için kelimeleri kastediyorum .nn+o(n)n+o(n)n + o(n)nnn Küme olmak sorunun önemli bir parçasıdır: her öğe kez eklenirse kullanılan alan n log n olamaz …
1
Basit (?) Komik bir kombinatoryal problem!
ve t > 0 tamsayısını düzeltelim .0<E<10<E<100 herhangi ve herhangi bir vektör için ˉ c ∈ [ 0 , 1 ] n, öyle ki Σ I ∈ [ n ] c i ≥ D x nnnnc¯∈[0,1]nc¯∈[0,1]n\bar{c} \in [0,1]^n∑i∈[n]ci≥E×n∑i∈[n]ci≥E×n\sum_{i\in [n]} c_i \geq E \times n Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)Ac¯:=|{S⊆[n]:∑i∈S ci≥E×t}|≥(E×nt)A_{\bar{c}} :=|\{ S \subseteq …
1
L (M) DCFL'de olacak şekilde bir PDA M verildiğinde, L (N) = L (M) olacak şekilde bir DPDA N oluşturun
Bu otomat tarafından kabul edilen dilin deterministik bağlamsız bir dil olduğu ve kabul edilen dili tam olarak kabul eden deterministik bir aşağı itme otomatiği çıkardığı vaadiyle birlikte giriş olarak bir aşağı itme otomatiği alan bir algoritma oluşturmak mümkün müdür? tarafından ?MMML(M)L(M)L(M)NNNMMM Eşdeğer bir problem, girdi olarak aşağı itmeli bir otomata …
1
Tamsayılı çarpanlara ayırma sürecindeki daha düşük sınırlar?
1975 yılında, Miller göstermiştir tamsayıdır ve çarpanlara azaltmak için nasıl süresi bulma bir fonksiyonu bu şekilde F (x + r) = f (x) bazı rastgele seçilmiş bir <N ile . Shor'un algoritmasının kuantum bilgisayarda r'yi etkili bir şekilde bulabildiği iyi bilinirken, klasik bir bilgisayarın r'yi bulması için inatçı olduğuna inanılmaktadır …
1
Eşsiz Bağlanabilirliğin Karmaşıklığı
Aşağıdaki sorun karar olup olmadığını bilmek isteyen NLNL\mathsf{NL} (nondeterministic logspace): Yönlendirilmiş bir grafiktir verilen GGG iki ayırt edici noktalar ile ve , bir olduğu benzersiz bir mesafede yol için olarak ?tssstttt GssstttGGG Bunun içinde olması muhtemeldir hissediyorum biz orada hem kendi karar verebilir beri - -Path ve böyle bir yol …
2
Bilgi İşlem Müzesi Sergileri
Bilgisayarla ilgili tüm müzeler ve sergiler farkındayım sadece bilgisayar makinelerinin tarihini kapsıyor, ancak bilgisayar bilimi konularında hiçbir şey yok. Çok çeşitli bilgi işlem / bilgisayar bilimi / iletişim / matematik konularında genel halka eğitim vermek, eğlendirmek ve ilham vermek için kiralanan yeni bir Bilgi İşlem Müzesi oluşturma sürecindesiniz. Tarih ve …
4
Köşegenleştirme sınıf ayrımının özünü yakalar mı?
Köşegenleştirme ve rölativasyon sonuçlarına dayanmayan bir sınıf ayrımı gördüğümü hatırlamıyorum. Diyagonalleştirme hala bilinen bilinen sınıfları ayırmak için kullanılabilir, çünkü rölatifleştirmeyen argümanlar köşegenleştirme sonucunda veya köşegenleştirilmiş Turing makinesi yapısında hala kullanılabilir. İlgili bazı sorular: Köşegenleştirmeye dayalı olmayan sınıf ayrımı kanıtları var mı? Ve öyle olsa bile Arkalarında bir öz-referans mekanizması bulabilir …
1
Etkileşimli Prova Sistemlerinde Tamlık ve Sağlamlığın İki Tanımı Denkliği
Etkileşimli ispat sistemlerindeki bütünlük ve sağlamlık gayri resmi olarak şu şekilde tanımlanır: Tamlık: Bir ifade doğruysa, dürüst kanıtlayıcı bu gerçek whp'nin dürüst doğrulayıcısını ikna edebilir . Sağlamlık: Bir ifade yanlışsa, hile prover dürüst doğrulayıcıyı (yanlış ifadenin geçerliliği) ikna edemez whp "Whp" terimi, ya "(örneğin) 2/3'ten büyük bir olasılıkla" ya da …
2
Matris doldurmanın çözünürlüğü
matrisi n × n ( n - 1 ) boyutuna sahiptir . A'yı 1 ile n arasında (tam dahil) kullanarak tam sayılar kullanarak doldurmak istiyoruz .AAAn×n(n−1)n×n(n−1)n \times n(n-1)AAA111nnn Gereksinimler: her sütunu 1 , … , n'nin bir permütasyonudur .AAA1,…,n1,…,n1, \dots, n İki sırası ile oluşturulan alt matrisler aynı sütunlara sahip …
3
MapReduce çerçevesi bir tür BSP mi?
MapReduce çerçevesini, senkronizasyonlar arasındaki işlemcilerde yerel bellek tutması olmayan bir tür toplu senkron paralel programlama çerçevesi olarak adlandırmak doğru mu? Değilse, hangi paralel programlama modeli mapReduce çerçevesini en doğru şekilde kapsar?
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.