Teorik Bilgisayar Bilimi

Son zamanlarda, bir sorunun güçlü bir NP-zor probleminden (polinom zamanında) azaltarak, NP-zor olduğunu göstermeyi amaçlayan bir kanıt okudum. Bu benim için bir anlam ifade etmiyordu. Düşürmede kullanılan herhangi bir sayının ve azalttığınız sorunun örneklerinin, sorun boyutunda polinom olarak sınırlanmış olduğunu göstermeniz gerektiğini düşünürdüm. Daha sonra Wikipedia'nın bu tür kanıtlar için …

17 cc.complexity-theory  np-hardness  reductions 

Negatif rakip yöntem ( ) kuantum sorgu karmaşıklığını karakterize eden bir SDP'dir. Yaygın olarak kullanılan rakip yöntemin ( A D V ) genelleştirilmesidir ve rakip yöntemi engelleyen iki engelin üstesinden gelir:ADV±ADV±ADV^\pmADVADVADV Özellik testi engeli: 0-örneklerinin tümü -tüm 1-örneklerden uzaksa, rakip yöntem Ω ( 1 / ϵ ) ' den daha …

17 cc.complexity-theory  reference-request  quantum-computing  query-complexity  property-testing 

I Başlangıç tepe verilen bir yönlendirilmiş grafikte basit yolların sayısı yaklaştırmak için bazı iyi polinom zaman algoritmanın var olduğunu söylendi verilen son tepe . Bu konuda iyi bir referans bilen var mı?sssttt Arka plan: genel bir grafikte tam yol sayısını saymak # P-tamamlandı ancak problem için polinom zaman yaklaşımları olabilir. …

17 ds.algorithms  reference-request  graph-algorithms  approximation-algorithms  counting-complexity 

Eğer n toplara n top atarsanız, en fazla yüklenen çöp kutusunun içinde O(logn)O(log⁡n)O(\log n) toplar olması muhtemeldir . Genel olarak, n bölmelerdeki m>nm>nm > n topları hakkında soru sorabilirsiniz . Raab ve Steger tarafından RANDOM 1998'den bir makale bunu ayrıntılı olarak inceliyor, m arttıkça, m / n'nin beklenen değerinin biraz …

17 reference-request  pr.probability 

Hiper hesaplama, Turing makineleri kullanılarak simüle edilmesi mümkün olmayan hesaplama modellerini ifade eder. (Hiper bilgisayarların fiziksel olarak gerçekleştirilmesi zorunlu değildir!) Bazı hiper bilgisayarların, standart Turing makinelerinin Durdurma Sorununun çözülmesini sağlayan bir kaynağa erişimi vardır . Buna "süper güç" deyin: süper güce sahip bir hiper bilgisayar, herhangi bir standart Turing makinesinin …

17 computability  hypercomputation 

LTL eşdeğeri olan ancak iz eşdeğeri olmayan iki geçiş sisteminin kolay bir örneğini arıyorum. İz Denkliği'nin "Model Kontrol İlkeleri" (Baier / Katoen) kitabında LTL Denkliği'nden daha iyi olduğuna dair kanıtları okudum ama gerçekten anladığımdan emin değilim. Bunu hayal edemiyorum, belki farkı görselleştirebilecek basit bir örnek var mı?

17 lo.logic  model-checking  linear-temporal-logic 

Otomata teorisinde (sonlu otomata, aşağı itmeli otomata, ...) ve karmaşıklıkta, "belirsizlik" kavramı vardır. En az iki farklı kabul çalışması olan kelimesi varsa, otomat belirsizdir www. Bir makinedir kkk her kelime için eğer -ambiguous en fazla orada makine tarafından kabul edilen kabul etmek ayrı koşular .wwwkkkwww Bu kavram bağlamdan bağımsız gramerler …

17 lo.logic  automata-theory  regular-language  nondeterminism  finite-model-theory 

"Eşsiz oyun varsayımı" ile "PCP teoremi" arasındaki ilişkinin ne olduğunu nasıl gösterebiliriz? "Eşsiz oyunlar varsayımı" nın "PCP teoremi" nin daha güçlü bir şekli nasıl açıklanabilir?

17 cc.complexity-theory  pcp  unique-games-conjecture 

Rüya kariyeri fikrim, zorlu ve aynı zamanda pratik bir kullanımı olan problemlerle başa çıkabileceği endüstriyel araştırmalarda bir kariyer. Bu amaçla, TCS'de doktora yapmak (dağıtılmış / paralel algoritmalar, çevrimiçi algoritmalar gibi konularla ilgileniyorum) kötü bir fikir mi? TCS'deki doktora adaylarının hepsinin olmasa da akademide kariyer yapması bekleniyor - geçerli bir kural …

17 soft-question  advice-request  career 

Bir grafiğin kavşak sayısını hesaplamanın parametreli karmaşıklığı hakkında bir şey biliniyorsa (tüm kenarlarını kaplamak için gereken en az sayıda klik)? Uzun zamandır NP-tam olduğu bilinmektedir ve açıkçası FPT'dir, çünkü bir çekirdeğe sahiptir: Eğer bir grafiği ile grafiği kapatabilirseniz, o zaman en fazla 2 k farklı kapalı köşe mahallesi vardır (iki …

17 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Yönlendirilmiş bir asiklik grafik verildiğinde G(V,E)G(V,E)G(V,E) , aşağıdaki işlemleri verimli bir şekilde desteklemek mümkün müdür? isConnected(G,a,b)isConnected(G,a,b)isConnected(G,a,b) : düğümünden düğümünden düğümüne yol olup olmadığını belirler.a bGGGaaabbb link(G,a,b)link(G,a,b)link(G,a,b) : 'den ekler bir kenar için grafikteb GaaabbbGGG unlink(G,a,b)unlink(G,a,b)unlink(G,a,b) : 'den kenarı kaldırır etmek deb GaaabbbGGG add(G,a)add(G,a)add(G,a) : G'ye bir tepe noktası ekler remove(G,a)remove(G,a)remove(G,a) …

17 ds.algorithms  graph-algorithms  directed-acyclic-graph  online-algorithms 

Turing tamlığının sınırsız bellek ve sınırsız zaman gerektirdiğini anlıyorum. Bununla birlikte, bu serviste sınırlı miktarda atom vardır, böylece belleği sınırlandırır. Olsa Örneğin mantıksız olsa bile belirli bir basamak daha fazla sayıda depolamak için bir yolu yoktur , tüm evrenin atomuna bu amaçla kullanılmıştır.ππ\pi Öyleyse, uygulanmış bir Turing makinesinin (evrenin tüm …

17 computability  upper-bounds 

Bilindiği gibi PARITY, çok boyutlu sabit derinlikli devrelerde yapılamaz ve gerçekte sabitleme devreleri EXP sayısı kapıları gerektirir. QUANTUM devreleri ne olacak? a) PARİT, sabit derinliğe ve poli sayıda kapıya sahip bir kuantum devresi ile yapılabilir mi? b) Sorum benim için anlamlı mı?

17 cc.complexity-theory  quantum-computing  circuit-complexity 

Fischer'ın bu ayki makalesi , kısa ve öz veri yapıları sanatı ve bunları kullanacak algoritmalar hakkında ne kadar az şey bildiğimi hatırlattı. Özlü veri yapıları hakkında bilgi sahibi olmayanlar için: (N) farklı konfigürasyonları ve bilinen bir "faydalı" temsili bir kombinatoryal yapı verilmiştir . Yaklaşık lg ( a ( n ) …

17 ds.data-structures  lower-bounds 

Terim aşırı yüklendiğinden, önce kısa bir tanım. Bir poşet bir dizi kısmi düzenine sahip . İki elemanları göz önüne alındığında , biz tanımlayabilir kendi azından üst bağlanmış olarak (birleştirme) ve benzer tanımlamak bağlı düşük bir en büyük olarak (karşılamak) (birleştirme).XXX≤≤\lea,b∈Xa,b∈Xa,b \in Xx∨yx∨yx \vee yXXXx∧yx∧yx \wedge y Kafes, herhangi iki öğenin …

17 reference-request  co.combinatorics  metrics  lattice  order-theory