«complexity-theory» etiketlenmiş sorular

Belki bu oldukça basit ama bu indirgeme konusunda biraz sorun yaşıyorum. Ben azaltmak isteyen Alt Küme Sum için Partition ancak şu anda ben ilişki görmüyorum! Levin Reduction kullanarak bu sorunu azaltmak mümkün müdür? Eğer anlamadıysanız açıklama için yazın!

20 complexity-theory  np-complete  reductions 

Ayrık logaritma bulmak aynıdır bbb de ab=cmodNab=cmodNa^b=c \bmod N verilen , ve .caaacccNN-N Bunun hangi karmaşıklık gruplarının (örneğin klasik ve kuantum bilgisayarlar için) olduğunu ve bu görevi gerçekleştirmek için hangi yaklaşımların (yani algoritmalar) en iyisi olduğunu merak ediyorum. Yukarıdaki wikipedia bağlantısı gerçekten çok somut çalışma süresi vermiyor. Böyle bulmak için …

20 algorithms  complexity-theory  time-complexity  discrete-mathematics 

de deterministik algoritmaların alt sınırlarını randomize algoritmaları olan herhangi bir problem var mı? Daha somut olarak, olan herhangi bir biliyor ? Burada \ mathsf {PTIME} (f (n)) , f (n) adımlarında sabit sınırlı (bir veya iki taraflı) hatası olan rastgele bir TM tarafından karar verilebilen dil grubu anlamına gelir .PP\mathsf{P}kkkP …

20 algorithms  complexity-theory  randomized-algorithms 

Ben NC sınıfı tarafından verilen "paralel algoritma ile verimli bir şekilde çözüldü" karmaşıklık teorik görünümünü kabul sorunları vardı : Kuzey Carolina zaman paralel bir algoritma ile çözülebilir sorunların sınıfıdır ile işlemciler .p ( n ) ∈ O ( n k ) c , k ∈ NO(logcn)O(logc⁡n)O(\log^cn)p(n)∈O(nk)p(n)∈O(nk)p(n) \in O(n^k)c,k∈Nc,k∈Nc,k \in \mathbb{N} …

20 complexity-theory  reference-request  parallel-computing 

Bunun bir ev ödevi sorunu olduğunu belirterek başlayayım , lütfen sadece tavsiye ve ilgili gözlemler verin, DOĞRUDAN CEVAPLAR YOK lütfen . Bununla birlikte, baktığım sorun: YARIM CLIQUE = { | , en az düğümü olan tam bir alt grafiğe sahip yönlendirilmemiş bir grafiktir; burada n, } içindeki düğüm sayısıdır . …

20 complexity-theory  np-complete  reductions 

CNF'den DNF'ye dönüşümün NP-Hard olduğunu nasıl kanıtlayabilirim? Bir cevap istemiyorum, sadece nasıl kanıtlanacağı konusunda bazı öneriler.

20 complexity-theory  np-hard  satisfiability  sat-solvers  normal-forms 

Göre Immerman ile ilişkili karmaşıklığı sınıfı , SQL sorgularını sınıfı tam olarak güvenli sorgu olarak , SQL yakalar güvenli sorgular: (birinci derece sorgular artı sayma) sayılabilir. (Başka bir deyişle, tüm SQL sorguları Q ( F O ( C O U N T ) ) ve Q ( F O ( …

20 database-theory  complexity-theory  finite-model-theory  descriptive-complexity 

P ve NP problemi için iki olasılığı göz önünde bulundurun: P = NP ve P NP.≠≠\neq Q'nun NP zor problemlerinden biri olmasına izin verin. P = NP'yi kanıtlamak için, Q için tek bir polinom zaman algoritması A tasarlamamız ve A'nın Q'yu doğru bir şekilde çözdüğünü kanıtlamamız gerekir. P kanıtlamak için, …

20 complexity-theory  p-vs-np 

Çoğu zaman karmaşıklıkların 3n gibi sabitleri varsa, bu sabiti ihmal ederiz ve O (3n) değil O (n) diyoruz. Bu üç katlı değişikliği nasıl ihmal edebileceğimizi anlayamıyorum? Bir şey diğerinden 3 kat daha hızlı değişiyor! Bu gerçeği neden ihmal ediyoruz?

20 complexity-theory  asymptotics  landau-notation 

Strassen'in matris çarpımında iki garip (en azından bana) iki 2 x 2 matris çarpımının 7 çarpım aldığını söyleyebiliriz. Soru: 6 çarpımda iki 2 x 2 matrisin çarpılmasının imkansız olduğunu nasıl kanıtlayabiliriz? Matrislerin tamsayılar üzerinde olduğunu lütfen unutmayın.

19 algorithms  complexity-theory  lower-bounds 

NP zor bir sorunun hesaplanabilir olması gerekli midir? Ben öyle düşünmüyorum ama emin değilim.

19 complexity-theory  computability  np-hard 

Hesapsal karmaşıklığı inceliyorum ve NP-Complete (NPC) problemlerinin neden önemli bir sınıf olduğunu merak ediyordum. Belirli bir NP sorununun neden NP zor olduğunu göstermekle ilgilendiğimizi açık bir şekilde görüyorum. NPC'nin tanımını da anlıyorum ve belirli bir karar problemini göstermenin NP zor olduğunu, NP'de olduğunu bilmenin tam olarak NPC anlamına geldiğini anlıyorum. …

19 complexity-theory  np-complete 

Ben giriş için ) alt sınırı olan sorun örnekleri arıyorum .Ω ( | x |2Ω(|x|2\Omega(|x|^2xxx Sorunun aşağıdaki özelliklere sahip olması gerekir: Ω ( n2)Ω(n2)\Omega(n^2) herhangi bir algoritma için çalışma zamanı kanıtı - ilk öncelik, mümkün olduğunca alt sınır bağımsız değişkenine sahip olmaktır. O ( n2)Ö(n2)O(n^2) algoritması, mümkünse, basit olanı da. …

19 complexity-theory  turing-machines  time-complexity  lower-bounds 

Ramírez-Alfonsín'in Frobenius Probleminin Karmaşıklığı makalesinde , Turing redüksiyonları kullanılarak bir sorunun NP-tamamlanmış olduğu kanıtlanmıştır. Mümkün mü? Tam olarak nasıl? Bunun sadece bir polinom zamanla mümkün olduğunu düşündüm. Bununla ilgili referanslar var mı? İki farklı NP sertliği kavramı, hatta NP tamlığı var mı? Ama sonra kafam karıştı, çünkü pratik bir bakış …

19 complexity-theory  time-complexity  np-complete  reductions 

Her hesaplanabilir bir fonksiyon için, iyi çözülebilir bir sorun vardır halen mevcut İçeride ISTV melerin RWMAIWi'nin ( f ( n ) ) zaman ya da hesaplanabilir bir işlevi yoktur f bu şekilde çözülebilir her sorunun O ( f ( n ) ) , aynı zamanda olabilir çözülmesi o ( f …

19 complexity-theory