«cc.complexity-theory» etiketlenmiş sorular

Bir düzeltmek düzenli dil LLL bir alfabe üzerinde ΣΣ\Sigma ve ben dediğimiz şu sorunu dikkate mektup planlaması için LLL . Gayriresmi olarak, girdi bana nnn harfi ve her harf için bir aralık verir (yani minimum ve maksimum pozisyon) ve hedefim, her harfin aynı pozisyona eşlenmeyeceği şekilde, her harfi kendi aralığına …

23 cc.complexity-theory  np-hardness  automata-theory  regular-language  scheduling 

Değil tüm eşit -SAT sorunu (NAE k verilen bir dizi -SAT), C bir dizi üzerinde maddelerin X her maddesi en fazla ihtiva ettiği şekilde Boole değişkenlerin k değişmezleri, değişken şekilde bir gerçek atama var olup olmadığını sorar her cümle en az bir doğru ve en az bir yanlış hazır bilgi …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

Subhash Khot 'ın Eşsiz Oyun Konjektür karmaşıklık teorisi alanında aktif araştırma alanlarından biridir. Bunun için elimizde ne kanıt var? Buna karşı ne gibi kanıtlarımız var?

23 cc.complexity-theory  unique-games-conjecture 

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 

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 

Grafik özelliği test olarak, bir algoritma bir hedef ya da belirli bir özelliği ya da olup olmadığını belirlemek için kenarları ve ihtiyaçları varlığında ya da yokluğunda bir hedef grafik sorgular özelliğine sahip arasından -far. (Bir algoritmanın 1 taraflı ya da 2 taraflı hata ile başarılı olması istenebilir.) Yapmak için bir …

22 cc.complexity-theory  machine-learning  query-complexity  property-testing 

Eşsiz oyun varsayımına dayanan pek çok onaysızlık sonucu vardır. Örneğin, Benzersiz oyunlar varsayım varsayarsak, bir faktör içinde maksimum kesme sorunu yaklaşmak için NP-zor R herhangi sabit için R > R GW . (Burada R GW = 0.878…, Goemans-Williamson algoritmasının yaklaştırma oranıdır.) Bununla birlikte, bazı insanlar “ UG-hard ” terimini şu …

22 cc.complexity-theory  approximation-hardness  unique-games-conjecture 

Bir kule savunma oyununda, başlangıç, bitiş ve birçok duvar içeren bir NxM şebekesi vardır. Düşmanlar, herhangi bir duvardan geçmeden en baştan sona kadar en kısa yolu kullanırlar (genellikle ızgaraya sınırlı değildirler, ama sadelik uğruna onlar diyelim ki diyelim. Her iki durumda da, diyagonal "deliklerden" geçemezler) Buradaki sorun (en azından bu …

22 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms 

Genel aritmetik devreler hakkındaki bilgilerimizin durumu, Boolean devreleri hakkındaki bilgimizin durumuna benzer gözüküyor, yani iyi düşük sınırlarımız yok. Öte yandan, monoton Boole devreleri için üstel boyutlarda alt sınırlarımız var . Monoton aritmetik devreleri hakkında ne biliyoruz ? Onlar için de benzer alt sınırlarımız var mı? Eğer değilse, monoton aritmetik devreler …

22 cc.complexity-theory  circuit-complexity  boolean-functions  monotone  arithmetic-circuits 

Bu soruyu anlamak için hangi makaleleri okumam gerektiğini merak ediyordum. Cebirsel geometri veya daha yüksek kohomoloji gibi matematiğin diğer alanlarına beklenmeyen bir bağlantı. Belki de henüz bir matematik alanı gelişmedi. Belki birileri P'ye karşı NP sorusunu ele almak için matematik için yepyeni bir yön geliştirecektir. - Fortnow 2002’den Sorunun bir …

22 cc.complexity-theory  reference-request  gct  algebraic-topology 

Yasaklanan altyazılarla nitelendirilebilecek grafik dersleri düşünüyorum. Bir grafik sınıfının sınırlı bir yasaklanmış alt küme kümesi varsa, önemsiz bir polinom zaman tanıma algoritması vardır (biri kaba kuvvet kullanabilir). Ancak sonsuz yasaklı alt yazı ailesi, sertlik anlamına gelmez: tanınma aynı zamanda polinom zamanında test edilebilecek, sınırsız alt yazı listesi içeren bazı sınıflar …

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