Teorik Bilgisayar Bilimi

Düzensizliğin pratikte bilgisayar fonksiyonlarının yardımcı olup olmadığını bilmek istiyorum. Bu fonksiyonlar olduğunu göstermektedir kolaydır , bir uncomputable fonksiyonu almak f dil ve da { 0 f ( n ) : n ∈ co }, açık bir şekilde basit bir homojen olmayan devreler sahip olan, ancak hiç homojen olarak hesaplanmıyor, ancak …

27 cc.complexity-theory  uniformity 

SAT çözücülerinde kesme düzlemi yöntemleri, değişken yayılım, dallanma ve sınırlanma, yan tümce öğrenme, akıllı geri izleme ve hatta el dokuması insan sezgiselliği bulabilirsiniz. Yine de onlarca yıldır en iyi SAT çözücüler büyük ölçüde çözünürlüğe dayanıklı tekniklere güveniyor ve yalnızca yardım almak ve özünürlük tarzı aramayı yönlendirmek için başka şeylerin bir …

27 reference-request  big-list  sat  proof-complexity  lo.logic 

Parity-L , sadece bir çift veya tek sayıda "kabul" yolu (sıfır veya sıfır olmayan sayıda kabul yolu) arasında ayrım yapabilen ve belirleyici olmayan bir Turing makinesi tarafından tanınan dil grubudur. ayrıca logaritmik uzayda çalışmakla sınırlıdır. Doğrusal denklem sistemini over 2 üzerinden çözmek, Parity-L için tam bir sorundur ve bu nedenle …

27 cc.complexity-theory  complexity-classes  conditional-results 

Sadece öğretilen Karger-Stein mincut algoritma randomize yüksek lisans algoritmaları sınıfında. Bu gerçek olduğunu algoritmik mücevher Ben bu yüzden, değil öğretmek, ama ana tekniğin diğer uygulamaları bilmiyorum çünkü her zaman bana sinirli bırakır. (Yani, evdekileri yönlendiren ödev vermek zor.) Karger ve Stein'ın algoritması, grafiğin yalnızca iki köşesi oluncaya kadar rasgele kenarları …

27 ds.algorithms  reference-request  randomized-algorithms  teaching 

Memnuniyet için "kolay bölgeler" nelerdir? Başka bir deyişle, bazı SAT çözücüler için var olduğunu varsayarak tatmin edici bir görev bulabilmek için yeterli koşullar. Bir örnek, her bir cümle değişkenleri diğer birkaç cümle ile paylaştığında , LLL'nin yapıcı kanıtı nedeniyle , bu satırlar boyunca başka herhangi bir sonuç var mı? Orada …

27 cc.complexity-theory  sat 

Bir süredir aşağıdaki problemi düşünüyordum ve bunun için bir polinom çözümü bulamadım. Sadece kaba-kırk. NP-Complete problemini de başarı ile azaltmaya çalışıyorum. İşte sorun : Bir var sıralı kümesi pozitif tamsayılar çiftlerinin. {(A1,B1),(A2,B2),…,(An,Bn)}{(A1,B1),(A2,B2),…,(An,Bn)}\{(A_1, B_1), (A_2, B_2), \ldots, (A_n, B_n)\} (Ai,Bi)&lt;(Aj,Bj)⇔Ai&lt;Aj∨(Ai=Aj∧Bi&lt;Bj)(Ai,Bi)&lt;(Aj,Bj)⇔Ai&lt;Aj∨(Ai=Aj∧Bi&lt;Bj)(A_i, B_i) < (A_j, B_j) \Leftrightarrow A_i < A_j \lor (A_i = …

27 ds.algorithms  np-hardness  sorting 

Bu temel bir soru olabilir, ancak Nash dengesi hesaplama ve doğrusal yozlaşma testi gibi konularda yazılar okuyup anlamaya çalışıyorum ve gerçek sayıların girdi olarak nasıl belirtildiğinden emin değildim. Örneğin, LDT'nin belirli polinom alt sınırlarının olduğu belirtildiğinde, girdi olarak değerlendirildiğinde gerçek sayılar nasıl belirlenir?

27 cc.complexity-theory  computability  na.numerical-analysis  computing-over-reals  computable-analysis 

Son zamanlarda, çeşitli mantıkçılar ve matematikçiler tarafından hesaplanabilirlikle ilgili çığır açan çalışmaların bazı fikirlerini ve tarihlerini okudum. Bireysel kavramlar benim için oldukça açık olsa da, orada birbirleriyle olan ilişkileri ve hepsinin birbirleriyle bağlantılı oldukları soyut seviyeleri kavramaya çalışıyorum. Church teoreminin (ya da daha doğrusu, Hilbert'in Entscheidungsproblem'in Alonzo Kilisesi ve Alan …

27 lo.logic  computability  turing-machines 

Kuantum bilgisayarların NP tamamlama problemlerini verimli bir şekilde çözebilecekleri muhtemel değildir. Klasik durumda, bu tür sorunların üstesinden gelmek için bir yaklaşım, yaklaşım algoritmalarını kullanmaktır. Kuantumitenin klasik yaklaşım yöntemlerine göre önemli bir hız kazandığı kuantum hesaplama kullanan yaklaşım algoritmaları hakkında herhangi bir araştırma yapılmış mı? "Önemli" derken, zorunlu olarak üstel değil, …

27 quantum-computing  approximation-algorithms 

Wikipedia'daki diğer yazarlar , Rabin-Karp isminin daha sık kullanılmasına bağlı olarak, Rabin-Karp algoritması hakkındaki Wikipedia makalesini, çağrılması gereken düşünceye, Karp-Rabin algoritması olarak taşıma isteğimi reddetti. yanlış ise, Google alimlerinin rakamlarına göre) veya yüksek sesle daha iyi ses çıkarırsa (gerçekten?). Asıl yayın adı sırası, genellikle teorik yazılar için olduğu gibi alfabetik …

26 ho.history-overview  string-matching 

Treewidth en çünkü genel grafikler üstel olan bazı NP-zor problemler düzlemsel grafikler altüssel olan treewthth içinde ve üsteller.4.9 | V( G ) |------√4.9|V(G)|4.9 \sqrt{|V(G)|} Temelde ben NP-tamamlandı PLANAR SAT için subexponential algoritmalar olup olmadığını merak ediyorum. Let değişkenler üzerinde CNF formül olabilir x i ve i -inci maddesi olduğu C …

26 graph-theory  sat  reductions 

Let kare tamsayı matris ve izin pozitif bir tamsayı olmak. Aşağıdaki karar probleminin karmaşıklığı ile ilgileniyorum:MMMnnn Sağ üst girişi pozitif mi?MnMnM^n Yinelenen karenin (ya da diğer açık hesaplamaların) bariz yaklaşımının, potansiyel olarak iki kat üstel büyüklükteki tam sayıları ele almamızı, yani katlanarak çok fazla bit yapmamızı gerektirdiğini unutmayın. Bununla birlikte, …

26 cc.complexity-theory  linear-algebra  matrices 

Kritik 3 tatmin edici (3-SAT) yoğunluk ilgileniyorum . Bu olduğu varsayılır : eğer rastgele oluşturulmuş 3-SAT cümlelerinin sayısı veya daha fazla ise, neredeyse kesinlikle tatmin edilemez. (Burada herhangi bir küçük sabittir ve değişkenlerin sayısıdır.) Sayı veya daha az ise, neredeyse kesin olarak karşılanabilirler.αα\alphaαα\alpha(α+ϵ)n(α+ϵ)n(\alpha + \epsilon) nϵϵ\epsilonnnn(α−ϵ)n(α−ϵ)n(\alpha - \epsilon) n Elitza …

26 pr.probability  random-k-sat 

Düzenli bir ağaç dilini TATA kitabındaki gibi tanımlarız : Belirsiz bir sonlu ağaç otomatiği (Bölüm 1) veya eşdeğerde normal bir ağaç dilbilgisi (Bölüm 2) tarafından üretilen ağaçlar kümesi tarafından kabul edilen ağaçlar kümesidir. Her iki formalizm, iyi bilinen dize analoglarına yakın benzerlikler taşımaktadır. Düzenli ağaç dil var mı hangi boyutta …

26 co.combinatorics  fl.formal-languages  tree  regular-language 

Görünen o ki, George Gonthier ve ortak çalışanlar Tek Sıra Teoremini resmileştirmeyi bitirdiler . Dört Renk Teoremi konusundaki daha önceki çalışmasında, Gonthier, özellikle resmi doğrulamaya elverişli olan birçok yeni algoritmayı (çoğunlukla BDD ve grafik algoritmalarının varyantları) icat etti. Sonlu grup teorisi çalışmalarında bu küçük ölçekli yansıma doğrulama tarzını kullanmaya devam …

26 lo.logic  proof-assistants