«time-complexity» etiketlenmiş sorular

Sınırsız hesaplama kaynaklara sahip Merlin, o Arthur ikna etmek istiyor için ile ve Bu toplamın basit bir şekilde hesaplanması (modüler üs alma ve ekleme), FFT tabanlı çarpma ile zaman alır. * Ancak Arthur yalnızca işlemlerini gerçekleştirebilir. ( N , m , k ) k = O ( log N ) …

11 cc.complexity-theory  ds.algorithms  time-complexity  interactive-proofs  nt.number-theory 

Stephen Cook'un P'ye karşı NP sorununa ilişkin makalesinde [1] şunları ifade eder [2]: Fizibilite Tezi: Doğal bir problemin, polinom-zaman algoritması varsa uygulanabilir bir algoritması vardır. Benim sorum, “ doğal bir sorun” ile tam olarak ne demek (ya da genel olarak ne demek) ? Sorunların doğal olmasından bahsetmek yeterince yaygın görünmektedir, …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

Karmaşıklık teorisinde zaman ve mekan karmaşıklığının tanımı, evrensel bir Turing makinesine atıfta bulunur: resp. durmadan önceki adımların sayısı ve banttaki hücrelerin sayısı. Kilise Turing tezi göz önüne alındığında, lambda hesabı açısından da karmaşıklığı tanımlamak mümkün olmalıdır. Sezgisel düşüncem, zaman karmaşıklığının β-indirgeme sayısı olarak ifade edilebileceğidir (De Brujin indekslerini kullanarak α-dönüşümünü …

11 time-complexity  lambda-calculus 

Diyelim ki sınırlı manit pozitif iki tamsayı listem var ve her listenin tüm öğelerinin ürününü alıyorum. Hangi ürünün daha büyük olduğunu belirlemenin en iyi yolu nedir? Tabii ki her ürünü basitçe hesaplayabilirim, ancak ürünlerde basamak sayısı terimlerin sayısıyla doğrusal olarak artacağından daha etkili bir yaklaşım olduğunu umuyorum, böylece tüm hesaplama …

10 time-complexity  nt.number-theory 

Borsuk-Ulam teoremi her sürekli tek fonksiyonu söylüyor Öklid n-boşluğa bir n-küreden, bir nokta vardır şekilde .gggx0x0x_0g(x0)=0g(x0)=0g(x_0)=0 Simmons ve Su (2002) , Tucker'ın kullanarak noktasına yaklaşmak için bir yöntem açıklamaktadır . Ancak, yöntemlerinin çalışma zamanı karmaşıklığının ne olduğu açık değildir.x0x0x_0 Diyelim ki, fonksiyonu için bir kehanet ve yaklaşım faktörü verildi . …

10 approximation-algorithms  time-complexity  topology  algebraic-topology 

Aşağıdaki sorunun karmaşıklığı nedir ( P? NP-hard?):∈∈\in Girdi: yönlendirilmiş bir asiklik grafik , bir dizi arka kenar ve iki farklı düğüm ve .E ′ ⊂ V × V s tD = ( V, E)D=(V,E)D=(V,E)E'⊂ V× VE′⊂V×VE'\subset V\times Vsssttt Soru: Let ekleme ile oluşturulan grafik ifade kenarları . Basit bir yol …

10 graph-algorithms  time-complexity  disjoint-paths 

Yönlendirilmemiş bir grafik ve belirli bir köşe kümesi için, tüm elemanlarını içeren basit bir yol bulmak için asimptotik olarak en hızlı bilinen algoritma nedir . Yolun mümkün olduğunca kısa olmasını istiyorsak ne olur?S SG,GGSSSSSS

10 ds.algorithms  graph-algorithms  time-complexity 

Özetle, zaman hiyerarşisi teoremleri , bir Turing makinesinin hesaplama için daha fazla zaman varsa daha fazla sorunu çözebileceğini söylüyor. Deterministik TM ve zaman constructable fonksiyonlar için detaylı ile o ve belirleyici olmayan TM ve zamana göre yapılandırılabilir f, g ile f (n + 1) = o (g (n)) için NTIME …

10 cc.complexity-theory  lower-bounds  big-picture  time-complexity  time-hierarchy 

Çok ilginç ve hala açık bir soru olan " Tek Bantlı Turing makinesinin Alfabesi " (Emanuele Viola tarafından) ile oynuyordum ve şu dili buldum : L={x∈{0,1}n s.t. |x|=n=2m and count1(x)=k∗m;n,m,k≥1}L={x∈{0,1}n s.t. |x|=n=2m and count1(x)=k∗m;n,m,k≥1}L = \{ x \in \{0,1\}^n \text{ s.t. } |x| = n = 2^m \text{ and } …

10 cc.complexity-theory  turing-machines  time-complexity 

Bir boolean devre Verilen üzerinde (sadece DEĞİL kullanan, AND ve OR kapıları) değişkenler, devre tarafından temsil edilen boolean formülü ayıklamak için en etkili yolu nedir? Bu sorun için bir çoklu zaman algoritması var mı?nCCCnnn

10 cc.complexity-theory  time-complexity  boolean-functions 

Birçok problem için, en iyi asimtotik karmaşıklığa sahip algoritmanın, büyük O gösterimi ile gizlenen çok büyük bir sabit faktörü vardır. Bu, matris çarpımı, tamsayı çarpımı (özellikle, Harvey ve van der Hoeven'in son O (n log n) tamsayısı çarpma algoritması, düşük derinlikli sıralama ağları ve grafik küçükleri bulma, birkaç yapmak için …

9 cc.complexity-theory  ds.algorithms  time-complexity 

Bir sorunumuz var ve 2-bitişik gibi görünen bir algoritma bulduk. Daha düşük bir sınır bulmak için bilinen 2-bitişik-tam problemleri bulmak istiyorum. Literatürde çoğunlukla bu tür iki problem buldum: daha küçük boyutlu bir çözüm olarak PCP'nin 22n22n2^{2^n} ve bir kare boyutunun tilling problemi 22n22n2^{2^n} Ancak bu sorunları benimkinde kodlayamadım. Bu yüzden, …

9 complexity-classes  time-complexity  complexity 

Özel durumlar için DFA kesişimi için verimli algoritmalar ile ilgileniyorum. Yani, kesişen DFA'lar belirli bir yapıya uyduklarında ve / veya sınırlı alfabe üzerinde çalıştıklarında. Bu tür durumlarda algoritmaları bulabileceğim bir kaynak var mı? Soruyu fazla genişletmemek için, aşağıdaki yapı özellikle ilgi çekicidir: kesişen tüm DFA'lar ikili alfabede (0 | 1) …

9 automata-theory  time-complexity  dfa 

Kafam karıştı. Bir sıralama problem ispat etmek istiyorum ile matris yani satır ve sütun artan içinde yer alır \ Omega (n ^ 2 \ log n) . Ben n ^ 2 \ log n daha hızlı yapılabilir varsayarak devam ve m öğeleri sıralamak için gerekli karşılaştırmalar için \ log (m!) …

9 time-complexity  lower-bounds  matrices  sorting  asymptotics 

Bu, önceki bir sorunun özel bir versiyonudur: Bir Matrisin Öz Denklemini Bulmanın Karmaşıklığı . NxN simetrik matrisleri için, O (N ^ 3) süresinin öz ayrışmasını hesaplamak için yeterli olduğu bilinmektedir. Soru şudur: sub-kübik karmaşıklığa ulaşabilir miyiz? Teşekkürler.

9 ds.algorithms  time-complexity  matrices  linear-algebra  na.numerical-analysis