«time-complexity» etiketlenmiş sorular

arka fon Birkaç yıl önce, ben lisanstayken, itfa edilmiş analiz üzerine bir ev ödevi verildi. Sorunlardan birini çözemedim. Ben bunu sormuştu comp.theory , ama tatmin edici bir sonuç ortaya çıktı. TA'nın kanıtlayamadığı bir konuda ısrar ettiğini ve ispatını unuttuğunu söylediğini hatırlıyorum, ve ... [ne biliyorsunuz]. Bugün, sorunu hatırladım. Hala bilmek …

59 ds.algorithms  ds.data-structures  open-problem  time-complexity 

Lambda hesabı kullanarak bir algoritmanın zaman karmaşıklığını hesaplamanın faydaları var mı? Yoksa bu amaç için tasarlanmış başka bir sistem var mı? Herhangi bir referans takdir edilecektir.

43 lambda-calculus  pl.programming-languages  time-complexity 

Sorum basit: Bir hesaplamak için en iyi bilinen algoritmanın çalışma süresi en kötü durum nedir eigendecomposition bir bir n×nn×nn \times n matrisinin? Eigendecomposition matris çarpımı azaltılması veya algoritmalar bilinen en iyi mu O(n3)O(n3)O(n^3) yoluyla ( SVD en kötü durumda)? Lütfen durum numarası gibi soruna bağlı sabitleri olan sınırlar için değil, …

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

Halting problemi o, başka bir program alıkoymalarla olmadığını belirlemek için bir program yazmak imkansız olduğunu belirten olası tüm giriş programlarında . Bununla birlikte, kesinlikle, benzer bir programın çalışma süresini hesaplayabilen bir program yazabilirim: for(i=0; i<N; i++) { x = 1; } ve hiç çalıştırmadan zaman karmaşıklığını döndürün .N-NN Diğer tüm …

23 computability  time-complexity  formal-methods  se.software-engineering 

Bazılarınız, araştırma seviyesi olmadığı için kapatılmış olan bu soruyu izliyor olabilirsiniz. Dolayısıyla, sorunun araştırma düzeyinde olan kısmını çıkartacağım. Sıralama düzenlemesinin azaltılması veya EXPTIME tamamlanmış bir sorun gibi "basit" tekniklerin ötesinde, bir sorunun zaman karmaşıklığı için düşük sınırları kanıtlamak için hangi teknikler kullanılmıştır? Özellikle: Son on yılda geliştirilen "son teknoloji" teknikler …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

Nonononik LR ayrıştırma ile çalışırken , O ( n 2 ) zamanında tam olarak net olmayan gramerleri tam olarak ayrıştırma yeteneğine sahip bir ayrıştırma yöntemi (sınırsız boyutta tablolarla, biraz pratik değildir ) düşündüm ve daha iyisini yapmanın mümkün olup olmadığını merak ettim. :O ( n2)O(n2)O(n^2) Belirsiz gramerlerin tümü doğrusal zamanda …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

Aşağıdaki sonuç için bir referans arıyorum: Faktörlü gösterimde iki tamsayı eklemek, normal ikili gösterimde iki tamsayı faktoring kadar zordur. (Orada olduğundan eminim, çünkü bu bir noktada merak ettiğim bir şeydi ve nihayet baskıda gördüğümde heyecanlanmıştı.) "Katsayıları gösteriminde iki tamsayı ekleme" sorun: iki sayı asal çarpanlama verilen ve y , çıkış …

22 cc.complexity-theory  reference-request  time-complexity  factoring  encoding 

Bu soru, ikili sayıların normal çarpımı ile polinom çarpma mod 2 arasındaki ilişki hakkındadır. Soruyu somutlaştırmak için, ideal olarak Knuth vol. 2, 3. baskı, sayfa 420 kitapta verilenden daha fazla. "Polinomların modulo 2 çarpımı, katsayılar bilgisayar sözcükleriyle doldurulmuşsa, ikili bir bilgisayarda sıradan aritmetik işlemlerle kolaylaştırabilir mi?" Knuth, girdideki bit sayısını …

22 ds.algorithms  reductions  time-complexity 

3-MUL olarak adlandırdığımız aşağıdaki sorunun zaman karmaşıklığı hakkında bilinenler nelerdir? Verilen bir dizi SSS ve nnn tamsayılardır, orada elemanları a,b,c∈Sa,b,c∈Sa,b,c\in S şekilde ab=cab=cab=c ? Bu problem 3-SUM problemine benzer, a,b,c∈Sa,b,c∈Sa,b,c\in S şeklinde a+b+c=0a+b+c=0a+b+c=0 (veya eşdeğerde a+b=ca+b=ca+b=c ) olup olmadığını sorar . 3-SUM, cinsinden kabaca ikinci dereceden bir zaman gerektirecek şekilde …

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

Herhangi bir doğal problem var mı P bağlanmış en iyi bilinen çalışma süresi formu olduğu , bir bir akıl sabitiaO(nα)O(nα)O(n^\alpha)αα\alpha

21 cc.complexity-theory  time-complexity  polynomial-time 

Çarpma zamanının karmaşıklığı üzerinde bilinen en iyi üst sınır, Martin Fürer'in bağlı ve bu, eklemenin doğrusal zaman karmaşıklığından daha fazladır. Eklemenin doğal olarak çarpmadan daha kolay olduğuna dair bir kanıtımız var mı?n günlüğün 2O ( log*n )ngünlük⁡n2O(günlük*⁡n)n\log n2^{O(\log^* n)}

21 cc.complexity-theory  time-complexity 

Palindromların -bantlı Turing makinelerinde lineer zamanda tanınabildiği , ancak tek bantlı Turing makinelerinde tanınamadığı iyi bilinmektedir (bu durumda gereken zaman ikinci derecelidir). Doğrusal zaman algoritması girdinin bir kopyasını kullanır ve böylece doğrusal bir boşluk kullanır.222 Çok bantlı bir Turing makinesinin doğrusal zamanındaki palindromları sadece logaritmik bir alan kullanarak tanıyabilir miyiz? …

20 cc.complexity-theory  time-complexity  space-complexity  space-time-tradeoff 

Grover algoritmasının zaman karmaşıklığı (sorgu karmaşıklığı değil) nedir? O olduğu bana açık görünüyor olmadığından yineleme ve her iterasyon sırayla zaman alır yansıma çalışması kullanımını gerektirir herhangi bir standart evrensel kapı seti kullanarak.Ω( √Ω ( günlük( N) N--√)Ω(log⁡(N)N)\Omega(\log(N) \sqrt{N})Ω(log(N))Ω ( N--√)Ω(N)\Omega(\sqrt{N})Ω ( günlük( N) )Ω(log⁡(N))\Omega(\log(N)) Sorun şu ki, Grover algoritmasının zaman …

19 reference-request  quantum-computing  time-complexity 

İlişkisel bir veritabanı üzerinden sorgusuna bir cevap bulmak için kişinin zamana olduğu ve bir.D | D | | S | | S |SSQDDD| D|| S ||D||S||D|^{|Q|}| S ||S||Q| As çok büyük olabilir veritabanları pratikte hiç çalışmıyor neden merak ettik.DDD Bu sadece gerçek sorgular gerçek dünya uygulamalarında hiç büyük değil midir? …

19 cc.complexity-theory  time-complexity  descriptive-complexity  db.databases 

Let f(n)f(n)f(n) olmak boyut girişindeki bir sorun nedeniyle çalışma süresi en kötü durum nnn . N = 2 k için ancak n = 2 k + 1 için f ( n ) = n'yi düzelterek sorunu biraz tuhaflaştıralım .f(n)=n2f(n)=n2f(n) = n^2n=2kn=2kn=2kf(n)=nf(n)=nf(n) = nn=2k+1n=2k+1n=2k+1 Peki, sorunun alt sınırı nedir? Anlama şeklim …

19 cc.complexity-theory  time-complexity