«time-complexity» etiketlenmiş sorular

Karar problemi CNF-SAT aşağıdaki gibi tanımlanabilir: Girdi: Normal normal formda bir boole formülü .ϕϕ\phi Soru: sağlayan değişken bir atama var mı?ϕϕ\phi Belirleyici olmayan iki bantlı bir Turing makinesi ile CNF-SAT'ı çözmek için birkaç farklı yaklaşım düşünüyorum . CNF-SAT'ı adımlarında çözen bir NTM olduğuna inanıyorum .n⋅poly(log(n))n⋅poly(log⁡(n))n \cdot \texttt{poly}(\log(n)) Soru: adımlarda CNF-SAT'ı …

19 time-complexity  sat  turing-machines  np  nondeterminism 

Belirli bir problemi çözmeye çalışıyorum ve otomata teorisini kullanarak çözebileceğimi düşündüm. Merak ediyorum, hangi otomata modellerinin polinom zamanında kararlaştırılabilir olduğunu var? yani makineleriniz varsa etkin bir şekilde olup olmadığını test edebilirsiniz .M1,M2M1,M2M_1, M_2L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) Akla gelen en belirgin olanlar, sayaç sayısının sabit olduğu DFA'lar ve tersine çevrilmiş sayaç makineleridir …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

Hesaplanabilir bir sayının rasyonel veya tamsayı olup olmadığını algoritmik olarak test etmek mümkün müdür? Başka bir deyişle, uygular hesaplanabilir sayılar işlevleri sağlamak için bir kütüphane için mümkün olacağını isIntegerya isRational? Bunun mümkün olmadığını ve bunun bir şekilde iki sayının eşit olup olmadığını test etmenin mümkün olmadığı gerçeğiyle ilgili olduğunu tahmin …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Daha önce paydada bir günlük içeren bir algoritma görmedim ve bu formda gerçekten kullanışlı bir algoritma olup olmadığını merak ediyorum? Bir günlük faktörünün çalışma zamanında çoğalmasına neden olabilecek birçok şeyi anlıyorum, örneğin sıralama veya ağaç tabanlı algoritmalar, ancak bir günlük faktörüne bölmenize neden olabilecek ne olabilir?

18 ds.algorithms  big-list  time-complexity 

Bir tamsayı vektörünün standart ayrık Fourier dönüşümünü hesaplamanın karmaşıklığı (standart tamsayı RAM üzerinde) nedir?nnn Cooley ve Tukey'e uygun olmayan [1] hızlı Fourier dönüşümleri için klasik algoritma genellikle zamanında çalışıyor olarak tanımlanır . Ancak bu algoritmada yürütülen aritmetik işlemlerin çoğu, (çoğu ) irrasyonel olan karmaşık . Birlik kökleri ile başlar , …

18 ds.algorithms  time-complexity  computing-over-reals  computable-analysis 

Zaman karmaşıklığı veya devre alt sınırları ile doğrudan çalışmak korkutucu. Bu nedenle, alt sınırların üstesinden gelmek için sorgu karmaşıklığı (veya karar ağacı karmaşıklığı) gibi araçlar geliştiriyoruz. Her sorgu en az bir birim adım attığından ve sorgular arasındaki hesaplamalar serbest olarak sayıldığından, zaman karmaşıklığı en azından sorgu karmaşıklığı kadar yüksektir. Ancak, …

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

Pozitif tamsayı değerleri dizisi doğrusal zamanda sıralamakla ilgileniyorum (tek tip maliyet ölçülü RAM modelinde, yani tamsayılar logaritmik boyuta sahip olabilir, ancak aritmetik işlemlerin alınacağı varsayılır birim zaman). Tabii ki, bu karşılaştırma tabanlı sıralama algoritmaları ile imkansız, bu yüzden bir "yaklaşık" sıralama, yani bazı permütasyon hesaplamak ilgileniyorum bir gerçekten genel olarak …

16 reference-request  time-complexity  sorting 

İki verilen matrisler ve bir permütasyon matrisi mevcut ise, karar vermekte güçlük şekilde eşdeğerdir (Grafik İzomorfizma). Ancak sadece ters çevrilebilir bir matris olarak gevşetirsek , karmaşıklık nedir? Bu problemle veya diğer zor problemlerle ilişkili bir permütasyon olmanın yanı sıra, ters çevrilebilir bir matrisinde başka kısıtlamalar var mı?A B P B …

16 ds.algorithms  time-complexity  linear-algebra  matrices  graph-isomorphism 

PTIME veya coNP'de aşağıdaki sorun zor mu? değişkenlerinde iki ve Boole ifadesi (yani, ifadeler tamamen ve yoluyla oluşturulur ). , değişkenlere yapılan tüm atamalar için aynı değere sahip olup olmadığına karar verin .e 2 x 1 , … , x n ∧ ∨ e 1 ≡ e 2e1e1e_1e2e2e_2x1,…,xnx1,…,xnx_1,\dots,x_n∧∧\wedge∨∨\veee1≡e2e1≡e2e_1 \equiv e_2 …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

Ben cevap hayır bekliyoruz, ama aslında bir karşı örnek inşa edemedim. Fark ∩ ε > 0 D T I M E ( O ( n 2 + ε ) ) 'de , ε içinde eşit bir şekilde O ( n 2 + ε ) algoritması seçemeyebiliriz .∩ε>0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε}))O(n2+ε)O(n^{2+ε})εε Bir tamamlayıcısı …

15 cc.complexity-theory  time-complexity 

Doğrusal bir zaman yerinde tüfek shuffle algoritması var mı? Bu, özellikle titiz ellerin gerçekleştirebileceği algoritmadır: çift boyutlu bir giriş dizisinin eşit olarak bölünmesi ve daha sonra iki yarıya ait elemanların serpiştirilmesi. MathWorld üzerinde kısa bir sayfası vardır şıraynır shuffle . Özellikle, giriş dizisini 1 2 3 4 5 6'yı 1 …

15 ds.algorithms  time-complexity 

Bir matrisi verildiğinde ( varsayılarak ), sütunların sırasını ve temelini hesaplamak için en hızlı algoritma nedir?m ≥ nm × nm×nm \times nm ≥ nm≥nm \ge n Bir zaman deterministik algoritması ve bir zaman rastgele algoritması anlamına gelen doğrusal matroid kesişimi ile çözülebileceğinin farkındayım . Bir var daha doğrudan matris çarpımı …

15 ds.algorithms  reference-request  time-complexity  linear-algebra  matrices 

Sabit zaman, zaman karmaşıklığının mutlak düşük sonudur. Birisi merak edebilir: sabit zamanda hesaplanabilen önemsiz bir şey var mı? Turing makinesi modeline bağlı kalırsak, cevap girişin sadece sabit uzunlukta bir başlangıç ​​segmentine bağlı olabileceğinden, çok fazla şey yapılamaz, çünkü girişin daha uzak kısımlarına sabit zamanda bile ulaşılamaz. Öte yandan, bit sayılarındaki …

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

Dikdörtgen matrislerin matris çarpımının hesaplama karmaşıklığı hakkında bilgi arıyorum. Ara bu çarparak karmaşıklığı bildiren ile B ∈ R , n x P olan O ( m, n, p ) (ders kitabı çarpma).A∈Rm×nA∈Rm×nA \in \mathbb{R}^{m \times n}B∈Rn×pB∈Rn×pB \in \mathbb{R}^{n \times p}O(mnp)O(mnp)O(mnp) Bir durum var ve n çok daha küçük olan p …

14 cc.complexity-theory  time-complexity  linear-algebra  matrix-product 

"Gerçek olamayacak kadar iyi" veri yapılarının varlığını dışlayan sonuçlar biliniyor mu? Örneğin: sipariş bakım verisi yapısına (bkz. Dietz ve Sleator STOC '87 ) ve J o i n işlevselliği eklenebilir ve yine de O ( 1 ) zaman işlemi elde edilebilir mi?SplitSplitSplitJoinJoinJoinO(1)O(1)\mathcal{O}(1) Veya: Tamsayı tuşları ve zaman işlemleri ile sıralı …

14 ds.data-structures  big-list  lower-bounds  time-complexity