«np» etiketlenmiş sorular

Özellikle merak ettiğim şey, bu tür sorunların izlenebilir olduğunu garanti etmek için 3SAT formülünü yerine getiren ödevlerin yüzdesi üzerinde ilginç bir durum olması. Örneğin bu 3SAT sorunların sınıfı varsayalım bir 2 N mümkün atamaları boolean formül tatmin; tatmin edici bir görev bulabilir miyiz? Ne için ε P sonuçlanan sorundur?ϵ(n)2nϵ(n)2n\epsilon(n) 2^n2n2n2^nϵϵ\epsilon …

12 cc.complexity-theory  ds.algorithms  sat  np 

ETH, SAT'ın en kötü durumda üstel zamanda çözülemeyeceğini belirtmektedir. Ortalama vaka ne olacak? NP'de ortalama vakada katlanarak zor olduğu düşünülen doğal problemler var mı? Ortalama durumu, girişler üzerinde eşit dağılımlı ortalama çalışma süresi anlamına gelir.

12 cc.complexity-theory  np  average-case-complexity 

Polinom sayıda hamleden sonra biten tam bilgi iki oyunculu kombinatoryal oyunları düşünün ve alternatif bir şekilde oyuncular sınırlı sayıda izin verilen hamleden alır. Genel soru, belirli bir pozisyondan kazananı anlatmanın ne kadar zor olduğudur. Bir diğeri, kazanan bir pozisyondan kazanan bir hamle seçmenin ne kadar zor olduğudur. (Burada pozisyon oynadıktan …

11 cc.complexity-theory  np  board-games  pspace 

NP = ko-NP ve polinom in bir 3-CNF örneği için tatmin edilemezlik kanıtının uzunluğunu sınırladığını varsayın . Öyleyse uzunluğunda için herhangi bir tatminsizlik kanıtının ne tür bir sonuç alabileceği konusunda herhangi bir sonuç var mı? Genel olarak, böyle bir kanıtın örneğin, sonsuz yapılar üzerinde ikinci dereceden mantığın tüm gücünü kullanması …

11 cc.complexity-theory  lo.logic  np  proof-complexity 

NP tanımında iki varyasyon vardır. Onlar (neredeyse kesinlikle) farklı karmaşıklık sınıfları tanımlarlar, ama sorum şu: bu sınıflara uyan sorunların doğal örnekleri var mı? (Burada doğal olarak kabul edilenler için eşiğim normalden biraz daha düşük.) Sınıf 1 (NP'nin bir süper sınıfı): Süperpolinom ancak doğrulamak için alt-üst zaman alan polinom büyüklüğündeki tanıklarla …

11 cc.complexity-theory  complexity-classes  np 

Bazı NP problem sınıflarının , sınıftaki her görevin ya NP-tamamlanmış ya da P'de olduğunu garanti eden ikilik teoremleri olduğu iyi bilinmektedir . En iyi bilinen bu sonuç, bir dizi genellemeyle birlikte Schaefer'in ikilik teoremidir . Anladığım kadarıyla, bu ikilik teoremlerini kanıtlamak gerçekten kolay değil. Acaba, bazı sınıfların neden ikiye dayalı …

10 cc.complexity-theory  np  descriptive-complexity 

İspat karmaşıklığı, hesaplama karmaşıklığı teorisinin en temel alanıdır. Bu alanın nihai amacı ispatlamaktır , yani herhangi bir ispat verilen girdi formülünün tatmin edilemez olduğuna dair bir kanıt veremez. N-P≠ c o NPN-P≠cÖN-PNP\neq coNP Bir grafik, resmi ispat modellerinden biridir. Benim sorum bu modele daha fazla sınırlama getirmek. Bir kanıt DAG …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

Turing tarafından tanınan her kararsız dilde NP tam bir alt küme var mı? Soru, Turing tarafından tanınan her sonsuz dilin sonsuz, karar verilebilir bir alt kümesine sahip olmasının daha güçlü bir versiyonu olarak görülebilir.

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

Bu soru kriptografi bağlamında ortaya çıktı, ancak aşağıda karmaşıklık teorisi açısından sunacağım, çünkü buradaki insanlar ikincisiyle daha yakından tanışıyorlar. Bu soru NP'deki Sorunlar ile ilgilidir, ancak Oracle Access tarafından Ortalama-P / poli ve Dayak Düzgünlüğü ile ilgilidir . Gayri resmi ifade: Tekdüze olmayan rakipler (yani çok boyutlu devreler ailesi) bir …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity