Teorik Bilgisayar Bilimi

Bu konudaki Norbet Blum'un ispatı girişimi Tardos işlevinin Teorem 6'ya karşı bir örnek teşkil ettiğine dikkat çekerek kesin olarak onaylanmadı.P≠NPP≠NPP \neq NP Teorem 6 : herhangi bir monoton Boolean işlevi olsun. için daha düşük bir sınır kanıtlamak için kullanılabilecek bir CNF-DNF-yaklaştırıcı olduğunu . Ardından , için aynı alt sınırı kanıtlamak …

22 cc.complexity-theory  np-hardness  complexity-classes 

Başlangıçta Kilise'nin , “yoğun bir okuma olan ” Mantık Makale Notlarının bir parçası olarak calculus'u önerdiğini okudum. Ancak Kleene, "sistem" inin tutarsız olduğunu kanıtladı, sonra Kilise, "etkili hesaplanabilirlik" konusundaki çalışmaları için ilgili şeyleri çıkardı ve önceki mantık konusundaki çalışmasını bıraktı.λλ\lambda Anladığım kadarıyla, ve gösterimleri , mantıkla ilgili bir şeyin parçası …

22 lo.logic  big-picture  lambda-calculus  ho.history-overview 

Andrej Bauer'ın Sentetik Hesaplanabilirlik Teorisindeki İlk Adımları makalesini okuyordum . Sonuç olarak o notları Bizim aksiyomlaştırmamızın bir sınırı vardır: hesaplanabilirlik teorisinde kehanet hesaplamaları ile göreceli olarak başarısız olan sonuçları kanıtlayamaz. Bunun nedeni, teorinin, kısmi özyinelemeli işlevlerden inşa edilmiş etkili topoların bir kâhise erişimi olan bir varyantında yorumlanabilmesidir. Bu, hesaplanabilirlikteki göreceli …

22 computability  relativization 

Bir itibaren ardından önceki soruya , SAT için en iyi mevcut alan daha düşük sınırlar nelerdir? Boşluk alt sınırıyla burada, bir ikili çalışma bandı alfabesi kullanan bir Turing makinesi tarafından kullanılan çalışma bandı hücrelerinin sayısını kastediyorum . Sabit bir ilave terim kaçınılmazdır çünkü bir TM sabit sayıda çalışma bandı hücresini …

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity 

Bu açık uçlu bir soru - bunun için şimdiden özür dilerim. (Görünüşe göre) karmaşıklıkla veya Turing makineleriyle ilgisi olmayan ama cevabı anlamına ifade örnekleri var mı?P≠NPP≠NP\mathbf{P}\neq \mathbf{NP}

22 cc.complexity-theory  complexity-classes  p-vs-np 

Yazıda "Gerçeklenebilirlik sorunlarının karmaşıklığı" Thomas J. Schaefer, yazar ifade etmiştir This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The computer would be instructed to …

22 cc.complexity-theory  reference-request  soft-question  reductions  proof-assistants 

Ben tanıtan üzerinde çalıştığım bazı sonuçlar teorik biyoloji, özellikle içine hesaplama karmaşıklığı gelen evrim ve ekoloji ilginç / biyologlar için yararlı olma hedefi ile. Karşılaştığım en büyük zorluklardan biri, düşük sınırlar için asimptotik en kötü durum analizinin kullanışlılığını haklı çıkarmak. Bilimsel bir izleyiciye alt sınırları ve asimptotik en kötü durum …

22 cc.complexity-theory  reference-request  big-picture  application-of-theory  worst-case 

Birçok algoritmik grafik problemi hem ağırlıklı hem de ağırlıklı grafiklerde polinom zamanında çözülebilir. Bazı örnekler; belirli grafik sınıflarında, çeşitli maksimum ayrık yol problemlerinde, vb. İçinde polinom zamanda çözülebilir bazı (önemli ölçüde muhtemelen rağmen daha az) sorunları, ancak, vardır ağırlıksız durumda, ama sert hale (veya açık statüye sahip) içinde ağırlıklı durumda. …

22 cc.complexity-theory  graph-algorithms  np-hardness 

Öğrenme deneyimi olarak basit ve statik olarak yazılmış işlevsel bir programlama dili tasarlıyorum. Şimdiye kadar uyguladığım tip sisteminin, (biraz fazladan bir çalışma ile) kesişme ve sendika tipleri içerebileceği anlaşılıyor, örneğin: <Union String Integer> <Union Integer Foo> Yukarıdaki iki türün kesişimi düz olacaktır Integer İki tür birliği olurdu <Union String Integer …

22 type-theory  functional-programming  type-inference  language-design 

Her kenarın bir 1Ω direnci temsil ettiği düzlemsel bir grafik G olarak modellenmiş bir elektrik ağı düşünün. G'deki iki köşe arasındaki tam etkili direnci ne kadar çabuk hesaplayabiliriz ? Aynı şekilde, 1V bataryayı G'deki iki köşeye takarsak, her bir kenar boyunca akan tam akımı ne kadar hızlı hesaplayabiliriz ? Kirchhoff'un …

22 ds.algorithms  graph-theory  planar-graphs  physics 

Yönlendirilmemiş, ağırlıklandırılmamış, bağlı grafikler arıyorum, ki in her çiftinde mesafesini gerçekleştiren benzersiz bir yolu vardır. .G = ( V, E)G,=(V,E)G=(V,E)u , v ∈ Vu,v∈Vu,v \in Vu → vu→vu \rightarrow vd( u , v )d(u,v)d(u,v) Bu grafik sınıfı iyi bilinir mi? Başka hangi özellikleri var? Örneğin, her bir ağaç bu türden, …

22 graph-theory 

Derinlik-3 sonucundaki son uçurum ışığında (ki bu, diğer şeylerin yanı sıra , üzerinde belirleyici için için derinlik-3 aritmetik devresi verir ), aşağıdaki sorular vardır: Grigoriyev ve Karpinski'nin kanıtlanmıştır bir determinantını işlem herhangi bir derinlik 3 aritmetik devre için alt sınır herhalde sonlu alanlar üzerinde matrisler ( Daimi için de geçerlidir). …

22 circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant 

Algoritmalar hakkında kısa ve yüksek oranlı bir teori içeren kısa bir tanıtım metni arıyorum.Başlangıçta başlamalı, ancak gerçek dünya örnekleri, temel kanıtlama teknikleri, vb. Çok fazla zaman harcamaksızın hızlı bir şekilde ilerlemelidir. .teori kaplıtoplam sayfa sayısı.theory coveredtotal number of pages.\frac{\mbox{theory covered}}{\mbox{total number of pages}}. Bu tür metinler var mı? Herhangi bir …

22 ds.algorithms 

Kübik grafikler, her köşenin 3. dereceye sahip olduğu grafiklerdir. Bunlar kapsamlı bir şekilde incelenmiştir ve birkaç NP-zor problemin, kübik grafiklerin alt sınıfları ile sınırlı olsa bile NP-sert olarak kaldığını biliyorum, ancak bazıları kolaylaşır. Kübik grafiklerin bir üst sınıf maksimum derecede grafikler sınıfıdır .Æ ≤ 3Δ≤3\Delta \leq 3 Kübik grafikler ama …

22 graph-theory  graph-algorithms  np-hardness 

1941'de Emil Post tarafından tarif edilen Post'un kafes yapısı temel olarak kompozisyon altında kapalı olan Boolean fonksiyon kümelerinin tamamlanmış bir diyagramıdır: örneğin, monoton fonksiyonlar, GF (2) üzerindeki lineer fonksiyonlar ve tüm fonksiyonlar. (Post, 0 ve 1 sabitlerinin ücretsiz olarak kullanılabileceğini varsaymadı, bu da kafesini aksi olacağından çok daha karmaşık hale …

22 circuit-families