«cc.complexity-theory» etiketlenmiş sorular

TCS'nin iki bölümü algoritmalar ve karmaşıklıktır. Ben simplistically algoritmaları gösteren üst sınırların çalışma olduğunu söylerim olabilir (verilen kısıtlı kaynaklarla) şeyler yapmak ve karmaşıklığı Bunu göstermek üzeredir edemez bazı asgari kaynaklar olmadan bunu. Bu nedenle, bir karar modelinde karmaşıklık sınıfına yerleştirmek için sıklıkla algoritmik bir sorun belirtilir. Ama beni her zaman …

14 cc.complexity-theory  sorting 

Bazı dil düşünün :LLL L ∈ D TbenME( O ( f( n ) ) ) ∩ D SPA CE( O ( g( n ) ) )L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) Ve böylece L ∉ D TbenME( o ( f( n ) ) ) ∪ D SPA CE( o ( g( …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

Belirli bir grafiğinin köşe kapaklarının sayısını saymak için # P-complete problemini düşünün .G = ( V, E)G=(V,E)G = (V, E) Böyle bir sorunun sertliğinin bazı parametrelerine göre nasıl değiştiğini gösteren herhangi bir sonuç olup olmadığını bilmek istiyorum (örneğin, ).d = | E |G,GGd= | E|| V|d=|E||V|d = \frac{|E|}{|V|} Benim hissim, …

14 cc.complexity-theory  graph-theory  counting-complexity  time-complexity 

1) (karar versiyonu) A NP tamamlandığında ve B P'deyken # P-tamamlama problemi #A'dan sayım problemine #B kadar cimri bir azalma sağlamak mümkün müdür? Örneğin, B P'deyken #SAT'tan #B'ye ciddi bir azalma olabilir mi? 2) B P ise, #B'nin karmaşıklığı için farklı olasılıklar nelerdir?

14 cc.complexity-theory  complexity-classes  counting-complexity 

İki CNF verildiğinde, doğru yapmak için aynı sayıda ödeve sahiplerse, "Evet" yanıtı, aksi takdirde "Hayır" yanıtını verin. olduğunu görmek kolaydır , çünkü bu iki CNF'ye kesin çözüm sayısını bilirsek, sadece onları kamp eder ve "Evet" veya "Hayır" yanıtını veririz.P#PP#PP^{\#P} Bu sorunun karmaşıklığı nedir?

14 cc.complexity-theory  complexity-classes  counting-complexity 

,sınırsız fanin VEYA ve sınırlı fanin AND kapılarıolan bir O ( log i n ) derinlik devresiailesi tarafından çözülebilen karar problemleri sınıfıdır. Olumsuzluklara yalnızca giriş düzeyinde izin verilir. İ ≥ 1 için S A C i'nin tamamlayıcı altında kapalı olduğu ve S A C 0'ın kapalıolmadığı bilinmektedir. Ayrıca, S A …

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits 

Tamsayı ilişkisine yönelik (küçük) bir çözümün yanıt vermesi için bir Altküme Toplamı veya Sayı Bölümü Sorunu örneğini kodlamanın bir yolu var mı? Kesinlikle değilse, o zaman bir olasılıkla? Seçilen sayı aralığının büyük olduğu 'düşük yoğunluklu' bölgedeki Altküme Toplamı sorunlarının çözümünde LLL'nin (ve belki de PSLQ'nun) ılımlı bir başarı ile kullanıldığını …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

#SAT sorunu standart # P-complete sorunudur. Bu bir karar probleminden ziyade bir fonksiyon problemidir. Bir boolean formülü verilen sorar nasıl tatmin birçok atamaları önermeler mantığında, F vardır. #SAT'daki en iyi alt sınırlar hangileri?FFFFFF

14 cc.complexity-theory  lower-bounds  sat  counting-complexity 

Ekleyeceğim iki makale: D. Kozen, "Subremursif sınıfların indekslenmesi" , STOC, 1978. R. Ladner, "Polinom Zaman İndirgenebilirliğinin Yapısı Üzerine" , JACM, 1975.

14 cc.complexity-theory  lo.logic  computability  big-list  structural-complexity 

Rice teoremi, bir Turing makinesi tarafından tanınan setin önemsiz her özelliğinin kararsız olduğunu belirtir. Karmaşıklık teorisi arıyorum NP tipi hangi önemsiz özelliklerin inatçı olduğunu söyleyen Rice tipi teorem arıyorum.

14 cc.complexity-theory  computability  np 

Program doğrulamasını biliyorsanız , Arka Plandan önce Soruyu okumayı tercih edebilirsiniz . Program doğrulamasına aşina değilseniz, yine de bu soruya cevap verebilirsiniz, ancak önce Arka Plan'ı okumayı tercih edebilirsiniz . Arka fon Kısmi doğruluk kontrolünün kararsız olduğu sıklıkla ifade edilir. Tartışma uğruna, bu ifadeyi Floyd - Hoare tarzında kesinleştirmenin çok …

14 cc.complexity-theory  lo.logic  program-verification  program-logic 

Bu konuda biraz araştırma yapmıştım ama her iki şekilde de bir cevap bulamadım. Huck buna tamamen cevap verdi. Teşekkürler :)

14 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

değişkenleri ve cümleleri olan bir CNF formülü olsun . değişken bir atamayı temsil etsin ve değişken atama tarafından yerine getirilen cümle sayısını . Daha sonra Median-SAT'ı nin tüm medyan değerini hesaplama sorunu olarak tanımlayın . Örneğin, bir totoloji ise, Median-SAT çözümü olacaktır, çünkü atamadan bağımsız olarak her fıkra tatmin edilecektir. …

14 cc.complexity-theory  sat  counting-complexity 

Bu sorun için oluşturduğum bir isim. Ben daha önce hiçbir yerde tarif görmedim. Bu problem için henüz NP tamlığına dair bir kanıt ya da polinom zaman algoritması bulamadım. Bu bir ev ödevi sorunu değildir - işimde karşılaştığım bir sorunla ilgilidir. EN AZ AYRIMCILIK BİTLERİ INSTANCE: Her bit vektörünün tam olarak …

14 cc.complexity-theory  np-hardness 

hesaplama karmaşıklığı büyük miktarda Kombinatorik ve sayı teorisi, stokastiklerden bir miktar ingriding ve yükselen bir cebir içerir. Bununla birlikte, bir analiz uzmanı olarak, bu alanda analiz uygulamaları mı yoksa analizden ilham alan fikirler mi olduğunu merak ediyorum. Biraz buna karşılık gelen tek bildiğim, Sonlu gruplar üzerindeki Fourier dönüşümüdür. Bana yardım …

14 cc.complexity-theory  reference-request  soft-question  big-picture