«reductions» etiketlenmiş sorular

Bir süre önce, her iki setin de kardinalliği ile ilgili olmayan bir özelliği yerine getirdiği kenarların 2 bölümünü bulmak istediğimiz grafik sorunları için bir referans isteği gönderdim . Aşağıdaki sorunun NP zor olduğunu kanıtlamaya çalışıyordum: Bir turnuvası verildiğinde , geçişli bir ilişki tanımlayan set edilmiş bir geri besleme yayı var …

13 np-hardness  reductions 

Karmaşıklık sınıfı PPAD onun seminal 1994 Hristos Papadimitriou tarafından icat edilmiştir kağıdı . Sınıf, bir çözümün varlığının "yönlendirilmiş grafiklerde parite argümanı" ile garanti edildiği arama sorunlarının karmaşıklığını yakalamak için tasarlanmıştır: eğer yönlendirilmiş bir grafikte dengesiz bir tepe noktası varsa, başka bir çözüm bulunmalıdır. Ancak genellikle sınıf resmi olarak ANOTHER END …

13 cc.complexity-theory  reductions  search-problem  ppad 

Yoğunluk , bir dil bir fonksiyonudur d x : N → K olarak tanımlanır d X ( n ) = | { x ∈ X ∣ | x | ≤ n } | . Varsayalım A ve B sonlu bir alfabe üzerinde diller, bir çok-on logspace azaltır B ve B …

12 cc.complexity-theory  reductions  structural-complexity 

' verildiğinde x , y ∈ N var , bir x 2 + b y = c ' N P-tamamlandı .a,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by=cax2+by=cax^2+by=cNPNP\mathsf{NP} 'Verilen , x , y ∈ N , bir x 2 + b y 2 = c ' var mı?a,b,c∈Na,b,c∈Na,b,c\in\Bbb Nx,y∈Nx,y∈Nx,y\in\Bbb Nax2+by2=cax2+by2=cax^2+by^2=c

12 ds.algorithms  complexity-classes  reductions  nt.number-theory  np-complete 

Bu makale , kapıları ve baskı plakaları olan bir oyunda, (oyuncunun) avatarın belirli bir konuma ulaşıp ulaşamayacağını belirlemek PSPACE zor olduğunu kanıtlar. Bu, TQBF'den bir azalma ile kanıtlanmıştır ve elde edilen çözeltilerin uzunluğu, katlanarak formüldeki evrensel nicelleştiricilerin sayısına bağlıdır. Bir NPSPACE makinesinden, oyunun çözümlerinin uzunluğunun, makinenin kabul yollarının uzunluğu ile …

12 reductions  nondeterminism  pspace 

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 …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

Yapılar Analizinin güçlü bir şekilde normalleştiğinin farkındayım , yani her ifadenin beta olamaz, eta azaltılamaz. Aslında bu, orijinal ifadeyle aynı değeri hesaplayan en verimli ifadedir. Ancak bazı durumlarda normalleştirme, küçük bir ifadeyi büyük bir ifadeye (boyut olarak) indirgeyebilir. En küçük ifadeler var mı? Aynı değeri en küçük boyutla hesaplayan form. …

11 lambda-calculus  reductions  typed-lambda-calculus  normalization  calculus-of-constructions 

1-in-3-SAT'ın karmaşıklık sınıfında sınırlı sayıda değişken olayla bilinen bir sonuç var mı? Peter Nightingale ile aşağıdaki cimri indirgeme geldim, ancak bu biliniyorsa bir şeyden bahsetmek istiyorum. İşte geldiğimiz hile. Bu, değişken başına 3 tekrar ile sınırlı 1-in-3-SAT'ın NP tamamlanmış ve #P tamamlandığını (1-in-3-SAT olduğu için) , 3-SAT'ın 3 tekrar ile …

11 reference-request  sat  reductions 

içinde aşağıdaki özelliklere sahip herhangi bir var mı :L∈NPL∈NPL\in {\bf NP} anlamına geldiği bilinmektedir .P = N PL∈PL∈PL\in {\bf P}P=NPP=NP{\bf P}={\bf NP} Herhangi bir (bilinen) polinom zaman Turing azalma vardır (veya başka bir için Komple sorun) .N P LSATSATSATNPNP{\bf NP}LLL Diğer bir deyişle, bir polinom zaman algoritması durumunda çöküşü eder …

11 cc.complexity-theory  np-hardness  reductions 

2 NP-tamamlanmış problem tanım gereği birbirine indirgenebildiğinden, diğerine çözülen bir kara kutu kullanarak bunlardan birine bir çözüm elde edilebilir, neden benzer yaklaşım oranlarına sahip değiller (optimizasyon muadillerine atıfta bulunarak) )? Bazı sabit veya hatta polinom kaymalarının anlaşılabileceğini tahmin ediyorum, ancak bazı NP-tam problemleri için sabit faktörlü yaklaşım algoritmaları ve diğer …

11 cc.complexity-theory  approximation-algorithms  reductions 

Parametreli karmaşıklıkta insanlar W [t] sertliğini kanıtlamak için sabit parametre izlenebilir (FPT) indirgeme kullanırlar. Teorik olarak bir FPT indirgemesi, k parametresinde katlanarak çalışabildiği için bir polinom zamanı indirgeme değildir. Ancak pratikte gördüğüm tüm FPT azaltımları p-zamanı azaltmalarıdır, bu da W [t] sertlik kanıtlarının neredeyse her zaman NP tamlık kanıtlarını ima …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

Bu soru teknik olmayabilir. Algoritma sınıf için yerli olmayan konuşmacı ve TA gibi, ben her zaman merak gadget 'tümcesi gadget' veya 'değişken gadget' in aracı. Sözlük, bir gadget'ın bir makine veya bir cihaz olduğunu söylüyor, ancak NP-tam kanıtı bağlamında hangi konuşma dilinin anlamına sahip olduğundan emin değilim.

11 cc.complexity-theory  np-hardness  terminology  reductions 

Ortalama vaka karmaşıklığı en kötü vaka karmaşıklığı ile aynı olan problemler var mı? En kötü durumu ortalama duruma indirmeyi mümkün kılan bu sorunların altında yatan özellikler nelerdir?

11 cc.complexity-theory  reductions  average-case-complexity 

Birebir indirimler ve Turing indirimleri ile tanımlanan NPC sınıflarının eşit olup olmadığını merak ediyorum. Düzenleme: Başka bir soru, Turing indirimler sadece bazı C için C ve co-C sınıflarını daraltma veya Karp azaltma altında ve Turing azaltma altında olan bir sorun var gibi bir sınıfı var mı ?CCCC∪ c o - …

11 cc.complexity-theory  np-hardness  reductions 

Mahaney Teoremi seyrek varsa söyler polinom zamanlı birçok kimse indirimleri altında -tamamlamak seti, daha sonra P = N P . (Bkz. " NP için seyrek takımlar: Berman ve Hartmanis varsayımlarının çözümü ")N-PN-PNPP= NPP=N-PP = NP Diğer karmaşıklık sınıfları için seyrek komple kümelerin varlığının bilinen sonuçları var mı? Özellikle, günlük alanı …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace