«cc.complexity-theory» etiketlenmiş sorular

NP ve NP ile sınırlı diğer kaynak hesaplamaları.

1
Seyrek girişlerde hesaplama fonksiyonlarının monoton devre karmaşıklığı
Ağırlık |x||x||x|ikili dizgiden x∈{0,1}nx∈{0,1}nx\in\{0,1\}^n dizedeki dizelerin sayısıdır. Az olan girdilerdeki monoton bir işlevi hesaplamakla ilgilenirsek ne olur? Bir grafik sahip ise, karar biliyoruz -clique monoton devreler için zordur (diğerleri Alon Boppana, 1987 arasında), ancak bir grafiktir en örneğin sahipse k 3 kenarlar mümkün boyutta bir monoton sınırlanan derinlik devresi bulmak …
1
Ki Oracle göre içinde yer almayan
Karmaşıklık Genetiği Greg Kuperberg bir dil olduğunu belirtir XXX , öyle ki BPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X , diğer bir deyişle, - BPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} - ancak bu sonuç için referans vermiyor. Bu neden geçerli? Veya bir kanıt nerede bulunabilir? Bu soru kısmen motive edilir Cevabıma sorusuna “kısa mesajları ile çoklu …
2
Yaklaşım oranları için hiyerarşi teoremi?
İyi bilindiği gibi, NP-sert optimizasyon problemleri, PTAS'a sahip olmaktan, herhangi bir faktör içinde yakınlaştırılmaya kadar çok farklı yaklaşım oranlarına sahip olabilir. Arada, çeşitli sabitlerimiz var, , , vb.p o l y ( n )O(logn)O(log⁡n)O(\log n)poly(n)poly(n)poly(n) Olası oranlar kümesi hakkında bilinenler nelerdir? Herhangi bir "yaklaşım hiyerarşisi" olduğunu kanıtlayabilir miyiz? Resmi olarak, …
1
Benzersiz SAT ve Tam
Benzersiz SAT iyi bilinen sorundur: CNF formülü verildiğinde F'nin tam olarak bir modeli olduğu doğru mu?FFFFFF «Tam -SAT» problemiyle ilgileniyorum : CNF formül F ve m > 1 tamsayısı verildiğinde , F'nin tam olarak m modelleri olduğu doğru mu?mmmFFFm>1m>1m>1FFFmmm Her iki problem de benzer görünüyor. Yani sorularım: 1- «Tam olarak …
2
PARİTE
, girişlerin ve kapıların da sınırsız fanout'a sahip olmadığı NOT kapıları ve sınırsız fan girişi VE ve OR kapıları olan sabit derinlikli polinom boyutlu devrelerin sınıfıdır.A C0AC0AC^0 Şimdi arama, yeni bir sınıf dikkate gibi bir C 0 ancak kendileri için giriş ve girişler en ikiye bölme sahip O ( 1 …
1
Takas sayısında optimum sıralama algoritması
Bir sayı dizisi verildiğinde , O ( n ln n ) karşılaştırmaları ve O ( n ) değişimleri / hareketleri ile sıralanabilir mi? Bu konudaki yayınlara veya Ω ( n ln n ) alt sınırını gösteren sayaçlara herhangi bir işaretçi yardımcı olacaktır.nnnO(nlnn)O(nln⁡n)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nln⁡n)\Omega(n \ln n)
2
PSPACE'de olması muhtemel olmayan yuva derinliği ile aksiyomatize edilmiş modal mantıklar?
Modal yuvalama derinliği 1'in bir dizi aksiyomu tarafından aksiyomatik hale getirilen ve memnuniyet / türetilebilirlik probleminin PSPACE'de olması muhtemel olmayan modal mantıkları arıyorum. Kalıcı yuvalama derinliği üzerindeki kısıtlama olmadan bu bir sorun değildir, örneğin PDL'ye bakınız. Ancak, Turing makineleri için bir çeşit döşeme problemine veya kabul problemine indirgeyerek örneğin EXPTIME …
3
Cograph'larda NP-zor problemleri
Bu soru, ağaçlardaki NP zor sorunlara benzer : Coğrafyalarda izlenebilir olan çok sayıda NP-tam problemi var . Cograflarla kısıtlandığında NP-tam olarak kalan bilinen herhangi bir sorun var mı? Daha kesin olmak gerekirse, girdinin yalnızca yönlendirilmemiş, ağırlıksız bir grafikten oluştuğu örneklerle ilgileniyorum . İki açıklama: Ağırlıklı cographs için böyle bir sorun …
1
CNF formüllerinin rastgele ölçülmesi
CNF formüllerinin kabaca 2 geniş sınıfta bölümlenebileceği yaygın olarak bilinmektedir: rastgele ve yapılandırılmış. Yapılandırılmış CNF formülleri, rastgele CNF formüllerine karşıt olarak, tesadüfen gerçekleşmesi muhtemel olmayan kalıpları gösteren bir tür düzen sergiler. Bununla birlikte, bir dereceye kadar rastgelelik gösteren yapısal formüller bulunabilir (yani, belirli belirli cümle grupları diğerlerinden çok daha az …
2
Random K-SAT'nin tam tanımı nedir?
Rastgele K-SAT'ı tanımlarken sahip olabileceğimiz 4 farklı kısıtlama vardır. 1) Belirli bir yan tümcedeki toplam hazır bilgi sayısı tam olarak K veya AT'dir K 2) Belirli bir hazır bilgi, aynı yan tümcede (A veya A veya A) değiştirilerek veya kullanılmadan kullanılabilir 3) Belirli bir değişken veya ile kullanılabilir aynı fıkrada …
1
Mükemmel eşleşmenin monoton devre karmaşıklığında alt sınır iyileştirildi mi?
Razborov, bipartit grafikler için mükemmel eşleme işlevini hesaplayan her monoton devrenin en az geçidine sahip olması gerektiğini kanıtladı (buna "mantıksal kalıcı" dedi). Aynı sorun için daha iyi bir alt sınır o zamandan beri kanıtlandı mı? ( diyelim ?) Hatırladığım kadarıyla bu sorun 1990'ların ortalarında açıktı. 2 n ϵnΩ ( günlükn …
2
LP'lerin minimum maksimum çözümleri
Doğrusal programlama, elbette, günümüzde çok iyi anlaşılmıştır. Uygulanabilir çözümlerin yapısını ve en uygun çözümlerin yapısını karakterize eden çok işimiz var. Güçlü ikiliğe, çoklu zaman algoritmalarına, vb. Sahibiz. Peki LP'lerin minimum maksimum çözümleri hakkında bilinenler nelerdir? Veya aynı şekilde maksimum minimal çözümler mi? (Bu gerçekten bir araştırma sorusu değil, ama belki …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.