Teorik Bilgisayar Bilimi

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

2
Mı ?
Aşağıdaki makalenin "ilk sayfasının" "son paragrafında": Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "NP Polinom Boyutunda Devreler Varsa, MA = AM," Teorik Bilgisayar Bilimi, 1995. Biraz sezgisel bir iddiayla karşılaştım: ( ΣP2∩ ΠP2)N-P= ΣP3∩ ΠP3(Σ2P∩Π2P)N-P=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 \cap \Pi^P_3 Bence yukarıdaki kimlik aşağıdakilerden …
1
Bu grafik sorununun karmaşıklığı nedir?
Basit bir yönlendirilmemiş grafik verildiğinde , köşelerin alt kümesini A ≠ ∅ bulun , öyle kiGGGA≠∅A≠∅A\neq \emptyset herhangi bir tepe noktası komşuları içinde en az yarısı en x de vardır , A , vex∈Ax∈Ax\in AxxxAAA boyutu minimumdur.AAA Yani, her iç tepe noktasının mahallesinin en az yarısının içsel kaldığı bir küme …
1
NP tam problemlerini kullanarak şifre karması
Yaygın olarak kullanılan parola karma algoritmaları bugün böyle çalışır: Parolayı tuzlayın ve bir KDF'ye besleyin. Örneğin, PBKDF2-HMAC-SHA1 kullanarak parola karma işlemi yapılır DK = PBKDF2(HMAC, Password, Salt, ...). HMAC, dolgulu tuşlara sahip 2 yönlü bir karma ve SHA1 bir dizi permütasyon, vardiya, rotasyon ve bitsel işlem olduğundan, temel olarak tüm …
2
Kesişimi mi P grafik Matroid'ler?
Üç genel matroidin kesişiminin, Hamilton çevriminden indirgeme ile yapılan NP-sert ( kaynak ) olduğu bilinmektedir . İndirgeme bir grafik matroid ve iki bağlantı matroidi kullanır. Üzerinde çalıştığım bir sorunun özel bir durumu, kavşak çoklu grafik matroidleri ile çözülebilir, ancak bu sorunun P'de olup olmadığını bulamadım. Soru: Biliniyor mu? Birisi beni …
1
Belirsiz ve deterministik mekan arasındaki ikinci dereceden ilişki?
Savitch teoremi gösteren tüm yeterince büyük fonksiyonlar için fN S P A C E (f( n ) ) ⊆ D S P A C E ( f( n )2)NSPACE(f(n))⊆DSPACE(f(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)fff ve bu sıkı yıllardır açık bir sorun olmuştur kanıtlayan . Soruna diğer uçtan yaklaştığımızı varsayalım. Basit olması için Boole …
2
Doğrusal zamanda “neredeyse sıralama” tam sayıları
Pozitif tamsayı değerleri dizisi doğrusal zamanda sıralamakla ilgileniyorum (tek tip maliyet ölçülü RAM modelinde, yani tamsayılar logaritmik boyuta sahip olabilir, ancak aritmetik işlemlerin alınacağı varsayılır birim zaman). Tabii ki, bu karşılaştırma tabanlı sıralama algoritmaları ile imkansız, bu yüzden bir "yaklaşık" sıralama, yani bazı permütasyon hesaplamak ilgileniyorum bir gerçekten genel olarak …
1
Babai'nin yeni grafik izomorfizm sonucundan nasıl bahsedilir?
Babai son zamanlarda STOC 2016 hakkında grafik izomorfizmin kuasipolinom zamanda çözülebileceğini iddia eden bir makale yayınladı . Babai, 2017 yılının başında Harald Helfgott'un bulduğu bazı ciddi hatalar nedeniyle kuasipolinom iddiasını geri çekti. Babai'nin de açıkladığı gibi, bu kusur gelişmeyi çalışma süresi açısından daha mütevazı kılmaktadır. Yarı polinom iddiasını geri aldıktan …
1
Karakterizasyonu
Otomata kurslarında ve bu bir dil değildir.| Σ | ≥ 2 S ( L ) = { w w : w ∈ L }L = Σ⋆L=Σ⋆L = \Sigma^\star| Σ | ≥2|Σ|≥2|\Sigma| \ge 2S( L ) = { w w : w ∈ L }S(L)={ww:w∈L}S(L) = \{ww : w \in L\} …
3
Turing makinelerinin “kategorisi”?
Feragatname: Karmaşıklık teorisi hakkında çok az şey biliyorum. Üzgünüm ama bu soruyu (çok) özlü olmadan sormanın hiçbir yolu yok: Turing makinelerinin "" kategorisindeki morfizmler ne olmalı? Bu açıkça özneldir ve kişinin teori hakkındaki yorumuna bağlıdır, bu nedenle bu soruya bir cevap ideal olarak yanıtı destekleyen bazı kanıtlar ve akıl yürütme …
3
Zaman sınıflarını ayırma
Bir öğrencim yakın zamanda şu soruyu soruyor: varsayınBir bulunmalıdır H (n) bu şekilde DTime (f (n)) \ subsetneq DTime (s (n)) \ subsetneq DTime (g (n))?DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n)) \subsetneq DTIME(g(n)).h(n)h(n)h(n)DTIME(f(n))⊊DTIME(h(n))⊊DTIME(g(n))?DTIME(f(n))⊊DTIME(h(n))⊊DTIME(g(n))?DTIME(f(n)) \subsetneq DTIME(h(n)) \subsetneq DTIME(g(n))? Eğer f, g zamanla yapılandırılabilirse bu muhtemelen bir h (n) yapılarak doğru gösterilebilir . Ancak genel olarak, buna …
2
Felsefi yönleriyle en son TCS yayınları
1950'li ve 1960'lı yılların pek çok bilgisayar bilimi yayını, zihnin doğası ve fiziksel dünyayla ilgili bilginin anlamı üzerine büyüleyici felsefi spekülasyonlar içermektedir. Meşhur örnekler "Turing Test", Zuse'un "Calculating Space", Wheeler'ın "it from bit" vb. Bugün bu tür temalar popüler bilim kitaplarında geniş yer kaplıyor, ancak ciddi araştırma yayınlarından başka her …
2
Bilinen çelişkili relativizasyonlar olmadan potansiyel olarak eşit karmaşıklık sınıfları
Karmaşıklık sınıfları çiftlerinin örnekleri nelerdir ve bu türAAABBB olup olmadığını bilmiyoruz veA=BA=BA=B çelişkili relativizations bilgi yoktur ya (diğer bir deyişle, bildiğimiz yok Kehanetlerini ve öyle ki ve )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q Soruyu başka bir şekilde ifade etmek için, çelişkili görelilikleri çözemezseniz eşitlik sorusunu açıkça çözmenin kolay olduğu sezgisel istisnalar …
1
Bilgi kanıtları için karmaşıklık sınıfları
Greg Kuperberg'in bana sorduğu bir soru, çeşitli bilgi kanıtlarını kabul eden dillerin karmaşıklık sınıflarını tanımlayan ve inceleyen herhangi bir makale olup olmadığını merak ediyorum . SZK ve NISZK gibi sınıflar , tamamen sıfır bilgiyi unutmuş ve onları tam vaat sorunları açısından tanımlamış olsak bile, karmaşıklık açısından son derece doğaldır. Bunun …
1
hareketi olmayan DPDA'lar onlarla DPDA'lar kadar güçlü mü?
Deterministic Pushdown Automata'nın resmi açıklamasında , makinenin girişten bir sembol okumadan yığının üzerine sembolleri fırlatabileceği veya itebileceği hareketlere izin verirler . Bu ϵ hareketlere izin verilmiyorsa ve yığın her sembol okunduktan sonra yalnızca bir kez değiştirilebilirse, ortaya çıkan otomatik veriler DPDA'ların gücüne eşit mi?ϵϵ\epsilonϵϵ\epsilon Ben POWERSET kullanarak açısından eksik önemsiz …
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.