Teorik Bilgisayar Bilimi

Başlık hemen hemen her şeyi söylüyor. Yukarıdaki ilginç soru blogumda yorumcu Jay tarafından soruldu ( buraya ve buraya bakınız ). Hem cevabın evet olduğunu hem de görece basit bir kanıt olduğunu tahmin ediyorum, ama hazırlıksız göremedim. Bir dil varsa (Çok kabaca olsa da, bir, göstermek için deneyebilirsiniz PRPRP^R değildi BPPBPPBPP …

18 computability  oracles  random-oracles 

TCS'de uzun süredir kanıtlanmamış, daha sonra başka bir teoremden çıkarımla kanıtlanmış, kanıtlanması daha kolay olabilecek varsayımlar olup olmadığını bilmek istiyorum.

18 reference-request  soft-question  big-list 

Sınırlı üçlü genişlikli grafikler üzerinde polinom zamanında çok sayıda sert grafik problemi çözülebilir . Aslında, ders kitapları tipik olarak yerel bir sorun olan örnek olarak bağımsız küme kullanır . Kabaca, yerel bir sorun, her köşenin küçük bir mahallesini inceleyerek çözümü doğrulanabilen bir sorundur. İlginç bir şekilde, küresel nitelikteki problemler bile …

18 graph-theory  graph-algorithms  treewidth 

Belirli bir problemi çözmeye çalışıyorum ve otomata teorisini kullanarak çözebileceğimi düşündüm. Merak ediyorum, hangi otomata modellerinin polinom zamanında kararlaştırılabilir olduğunu var? yani makineleriniz varsa etkin bir şekilde olup olmadığını test edebilirsiniz .M1,M2M1,M2M_1, M_2L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) Akla gelen en belirgin olanlar, sayaç sayısının sabit olduğu DFA'lar ve tersine çevrilmiş sayaç makineleridir …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

Berman ve Hartmanis'in ünlü İzomorfizm Konjonktürü , tüm dillerin birbirlerine polinom zaman izomorfik (p-izomorfik) olduğunu söylüyor . Konjonktürün temel önemi . 1977'de yayınlandı ve destekleyici bir kanıt, o zamanlar bilinen tüm problemlerin gerçekten de p-izomorfik olduğuydu. Aslında, hepsi doldurulabilirdi , bu güzel, doğal bir özelliktir ve p-izomorfizmi önemsiz bir şekilde …

18 cc.complexity-theory  complexity-classes  p-vs-np  np-complete 

Coq, Agda ve Idris sonsuz tip hiyerarşisine sahiptir (Tip 1: Tip 2: Tip 3: ...). Ama neden λC, lambda küpünde sadece iki çeşit ∗∗* ve olan yapıların hesabına en yakın olan sistem ve bu kurallar gibi ?◽◽◽ ∅⊢∗:◽∅⊢∗:◽\frac {} {∅ ⊢ * : ◽} Γ⊢T1:s1Γ,x:T1⊢t:T2Γ⊢(λx:T1,t):(Πx:T1,T2)Γ⊢T1:s1Γ,x:T1⊢t:T2Γ⊢(λx:T1,t):(Πx:T1,T2)\frac {Γ ⊢ T _ 1 …

18 coq  dependent-type  calculus-of-constructions 

Turing makineleri için durma problemi, belki de kanonik kararsız kümedir. Bununla birlikte, neredeyse tüm örneklerine karar veren bir algoritma olduğunu kanıtlıyoruz. Bu nedenle durma problemi, karmaşıklık teorisinin “kara delik” fenomenini sergileyenlerin artan koleksiyonu arasındadır; bu da, olanaksız veya kararsız bir sorunun zorluğunun, sorunun dışında olduğu çok küçük bir bölgeye, bir …

18 cc.complexity-theory  reference-request  computability  undecidability 

Belirli bir grafikte belirli bir küçükler kümesi olup olmadığını test etmek için herhangi bir ücretsiz grafik kütüphaneleri olup olmadığını bilmek ister misiniz?

18 graph-algorithms  implementation  graph-minor 

Max-Sat sorunu sizden olabildiğince çok cümleyi karşılayan bir CNF formülü ataması bulmanızı istiyor. Daha basit problem SAT için, polinom zamanında çözülebilen bilinen birçok özel durum vardır, örneğin 2-SAT'ı polinom zamanında çözebiliriz. Max-Sat için durum farklıdır çünkü Max-Sat 2-CNF formülleri için bile NP-zordur (her bir madde sadece 2 değişken içerir). Max-Sat'ın …

18 sat  treewidth  max2sat 

Dil düşünün L k - d ı s t ı n c tLk−distinctL_{k-distinct} tüm oluşan kkk mektubu temin edilmiştir dizeleri üzerinde ΣΣ\Sigma hiçbir iki harf eşit şekilde: L k - d i s t i n c t : = { w = σ 1 σ 2 . . . …

18 automata-theory  lower-bounds  regular-language  communication-complexity  streaming 

Bu sorun son blog yayınımdan çıktı, size bir TSP turu verildiğini varsayalım, minimal bir olup olmadığını belirlemek için birlikte NP-tam mı? Daha kesin olarak şu problem NP-complete'tur: Eşgörünüm: Pozitif tamsayılarla tartılmış kenarlar ve G'nin tüm düğümlerini ziyaret eden basit bir C döngüsü ile eksiksiz bir G grafiği verilir. Soru: G'deki …

18 np-hardness 

Yönlendirilmemiş bir grafikteki benzersiz basit yolların sayısını belirlemeye nasıl devam edebilirim? Belirli bir uzunluk için veya kabul edilebilir uzunluklar aralığı için. Basit bir yolun döngüsüz bir yol olduğunu hatırlayın, bu yüzden döngüsüz yol sayısını saymaktan bahsediyorum.

18 graph-theory  co.combinatorics  counting-complexity 

Şu anda Graph izomorfizmi (GI) problemi üzerine literatür taraması yapıyorum. Aşağıdakilerle ilgili bazı açık soruları bilmek istiyorum GI'nın sabit parametre izlenebilirliğinin açık bir sorun olduğu grafik parametreleri nelerdir. Grafik parametreleri nelerdir, bunları sabitleyerek GI'nin polinom zaman çözülebilirliği bilinmemektedir. Birçok grafik sınıfıyla sınırlandırıldığında GI'nin karmaşıklığı, genel GI'ye (GI-Tamlık) eşdeğerdir. GI tamlığının …

18 graph-isomorphism  fixed-parameter-tractable 

Bir grafiğin üçlü genişliğini hesaplamak istiyorum . Altgraf izomorfizması için VF2 gibi diğer NP-sert grafik problemleri için gerçekten iyi sezgisel tarama var , örneğin igraph'ta kod mevcut . Onları grafiklerimde denedim ve verilerim için çok hızlı çalıştıklarını fark ettim. Benzer bir damarda trewidth hesaplaması için hızlı algoritmalar var mı?

18 ds.algorithms  graph-algorithms  treewidth  heuristics 

Parametrize Karmaşıklık (hem algoritmik tarafta hem de sertlik tarafında) hakkında bilgi edinmek istiyorum. Bu konuda hangi kitapları / ders notlarını okuyabilirim?

18 reference-request  parameterized-complexity  fixed-parameter-tractable