Teorik Bilgisayar Bilimi

Aşağıdaki iddiaların doğru olduğunu anlıyorum: Belirli bir CFG'deki bir dizenin iki ayrı türevi bazen aynı ayrıştırma ağacını dizeye bağlayabilir. Belirli bir CFG'de farklı ayrıştırma ağaçlarına atfedilen bazı dizelerin türevleri olduğunda, CFG belirsizdir. Belirsiz CFG'ler tarafından üretilen bazı bağlamsız diller de belirsiz CFG'ler tarafından üretilir. Bazı diller, onları üretebilen (ve bazıları …

11 fl.formal-languages  regular-language  context-free 

Sorun için etkili bir algoritma arıyorum: Giriş : Pozitif tamsayı 3n3n3^n (bit olarak saklanır) bazı tamsayısı için ≥ 0n≥0n≥0n \geq 0 . Çıktı : sayısı nnn. Soru : Biz hesaplayabilir nnn parçaları nedeniyle 3n3n3^n içinde O(n)O(n)O(n) zaman? Bu, bir matematiğe cevabımın motive ettiği teorik bir sorudur.SE sorusu Bu bağlanma için …

11 ds.algorithms  time-complexity 

Bu sorun daha önce incelendi mi? Metrik yönlendirilmemiş bir grafik G (kenar uzunlukları üçgen eşitsizliğini karşılar) verildiğinde, MST (G [S]) en üst düzeye çıkartılacak şekilde bir dizi S noktası bulun, burada MST (G [S]) tarafından oluşturulan alt grafiğin minimum yayılan ağacı olur S. Bu sorun daha önce incelendi mi? NP …

11 ds.algorithms  graph-algorithms  np-hardness  approximation-algorithms 

Gaspers ve Szeider'ın Güçlü Arka Odadan Sınırlı Treewidth SAT'a yönelik FOCS2013'ün bu son makalesi , SAT yan tümcesi grafiğinin treidth'i ile örnek sertliği arasındaki bağlantıdan bahsediyor . Rastgele 3-SAT, yani rasgele seçilen 3-SAT örnekleri için, yan tümce grafiğinin treidth ile örnek sertliği arasındaki ilişki nedir? "Örnek sertliği", "tipik bir SAT …

11 graph-algorithms  sat  treewidth  random-k-sat  hard-instances 

Şimdiye kadar, grafiklerde ayırıcılarda, düzlemsel ayırıcıdan, ağaç ayırıcıdan, sınırlı ağaç genişliği grafiklerinden, sınırlı cins grafiklerden, vb. Vb.

11 reference-request  graph-algorithms  survey 

Bu çok basit bir soru olabilir. Ancak türler ve türler arasındaki fark nedir? Benim şimdiki anlayış Eğer iyi daktilo ifadenin mefhumu vermek ama sıralar farklı içine semboller ayırt daha temel tipi kurallı bir tip teori olması türlü fonksiyonu uygulaması vb temel kuralları sembollerin ve tanıtılması Belki çok az fark vardır, …

11 type-theory 

Birkaç milyon 32-bit değerim var. Her değer için 5'lik bir çekiçleme mesafesi içindeki diğer tüm değerleri bulmak istiyorum. Saf yaklaşımda, bu kaçınmak istediğim O(N2)O(N2)O(N^2) karşılaştırmaları gerektirir . Bu 32 bit değerlere tamsayı olarak davranıp listeyi bir kez sıralarsam, o zaman sadece en az anlamlı bitlerde farklılık gösteren değerlerin birbirine çok …

11 ds.algorithms  co.combinatorics  approximation-algorithms 

Bildiğim tüm #SAT çözücüler, örneğin RelSat, C2D, yalnızca tatmin edilebilir örnek sayısını döndürür. Ama bu örneklerin her birini bilmek istiyorum? Böyle bir #SAT çözücü var mı veya bunu yapmak için kullanılabilir bir #SAT çözücü nasıl değiştirmeliyim? Teşekkür ederim.

11 lo.logic  sat  software 

Hatırlayın çapı bir grafik bir uzun kısa yol uzunluğu G . Bir grafik verildiğinde, diam ( G ) hesaplamak için bariz bir algoritma tüm çiftlerin en kısa yol problemini (APSP) çözer ve bulunan en uzun yolun uzunluğunu döndürür.GGGGGGdiam(G)diam(G)\text{diam}(G) APSP problem, optimal olarak çözülebilir olduğu bilinmektedir çok sayıda grafik sınıfları için …

11 graph-theory  graph-algorithms  shortest-path 

Öğrencileri, turing makinelerinin yeterince genel bir hesaplama modeli olduğuna 'ikna etmeye' yardımcı olan küçük bir dil arıyorum. Yani, alıştıkları dillere benzeyen bir dil, ancak bir turing makinesinde simüle edilmesi de kolaydır. Papadimitriou bu iş için RAM makineleri kullanıyor, ancak garip bir şeyi (turing makinesi olarak) başka bir tuhaf şeyle (temel …

11 turing-machines 

Bu sorun hakkında daha fazla bilgi edinmenin zorluğunun bir kısmı, grafik eşleştirme probleminin çok daha ünlü kuzeni olan eşleştirme probleminden farklı olması, ancak arama motorlarını kullanırken ondan ayırt edilmesi zor olmasıdır. Verilen iki grafik ve öyle kiburadaki görev, bu bujeksiyonun ve kenarları arasında mümkün olduğunca fazla yazışma sağlayacak şekilde bir …

11 reference-request  graph-theory  graph-isomorphism 

Temel kural, TCS makalelerinde yazarların alfabetik olarak sıralanması olmasına rağmen, akla gelen bazı önemli karşı örnekler vardır, burada yazarlar farklı bir şekilde sipariş edilir, örn. İnteraktif Prova Sistemlerinde Cebirsel Yöntemler [Lund, Fortnow, Karloff, Nisan] Dijital İmzalar ve Açık Anahtarlı Şifreleme Sistemleri Edinme Yöntemi [Rivest, Shamir, Adleman] Üstel Zaman Gerektiren Kelime …

11 soft-question 

Bu benim önceki sorumun bir devamı: NP'de doğal bir problem için en iyi bilinen deterministik zaman karmaşıklığı alt sınırı İnsanların önemsediği ve daha iyi algoritmalar tasarlamaya çalıştığı ilginç bir NP problemi için herhangi bir kuadratik deterministik zamanın alt sınırını kanıtlayamadığımızı şaşırtıcı buluyorum. Üstel Zaman Hipotezi varsayımımız, SAT'ın altel üstel deterministik …

11 cc.complexity-theory  lower-bounds  big-picture  barriers 

Determinantların algoritmik karmaşıklığı ile devre karmaşıklığı ve Matris Çarpımı arasındaki ilişkiyi anlamaya çalışıyorum. Bir belirleyici olduğu bilinmektedir matris olabilir hesaplanan içinde ~ O ( M ( n ) ) zaman, M ( n ) en az bir zaman herhangi iki çarpma için gerekli olan n x n matrisini. Determinantların en …

11 algebraic-complexity  arithmetic-circuits  matrix-product  determinant 

PP{\bf P} ve arasındaki bazı (göreceli olmayan) sözdizimsel karmaşıklık sınıflarının PSPACEPSPACE{\bf PSPACE}aşağıdaki özelliğe sahip olduğu bilinmektedir , P⊆CoNP⊆US⊆C=P⊆PP⊆PSPACEP⊆CoNP⊆US⊆C=P⊆PP⊆PSPACE{\bf P} \subseteq {\bf CoNP} \subseteq {\bf US} \subseteq {\bf C_=P} \subseteq {\bf PP} \subseteq {\bf PSPACE} . Bir (kesintisiz-relativized) sözdizimsel karmaşıklığı sınıfı vardır olmadığını merak ediyorum XX{\bf X} bu şekilde PP⊆X⊆PSPACEPP⊆X⊆PSPACE{\bf PP} …

11 cc.complexity-theory  complexity-classes