«time-complexity» 태그된 질문

배경 몇 년 전, 제가 학부생이었을 때, 상각 된 분석에 관한 숙제를 받았습니다. 문제 중 하나를 해결할 수 없었습니다. 나는 comp.theory 에서 그것을 요구 했지만 만족스러운 결과가 나오지 않았다. 나는 TA가 자신이 증명할 수 없었던 것을 고집하고 그 증거를 잊어 버렸다고 말한 것을 기억한다. 오늘 나는 그 문제를 회상했다. 나는 …

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

람다 미적분학을 사용하여 알고리즘의 시간 복잡성을 계산하면 어떤 이점이 있습니까? 아니면이 목적으로 설계된 다른 시스템이 있습니까? 모든 참조를 부탁드립니다.

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

내 질문은 간단합니다. 계산하기위한 가장 잘 알려진 알고리즘의 실행 시간을 최악의 경우 무엇 eigendecomposition 의 n×nn×nn \times n 행렬은? 고유 분해가 행렬 곱셈으로 감소합니까 아니면 최악의 경우 SVD 를 통해 가장 잘 알려진 알고리즘 입니까?O(n3)O(n3)O(n^3) 조건 번호와 같은 문제 종속 상수가있는 경계가 아닌 최악의 경우 분석 ( 만)을 요구하고 nnn있습니다. …

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

여러분 중 일부는 이 질문을 따르고 있었을 것인데, 이는 연구 수준이 아니기 때문에 폐쇄되었습니다. 그래서 나는 연구 수준에있는 질문의 일부를 추출하고 있습니다. 정렬 감소 또는 EXPTIME 완료 문제와 같은 "간단한"기술 외에도 문제의 시간 복잡성에 대한 하한을 증명하기 위해 어떤 기술이 사용 되었습니까? 특히: 지난 10 년간 개발 된 "최첨단"기술은 무엇입니까? …

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

정지 문제는 그것을 위해 다른 프로그램이 멈추는 경우 확인할 수있는 프로그램 작성 불가능하다고 주장한다 가능한 모든 입력 프로그램 . 그러나 확실히 다음과 같은 프로그램의 실행 시간을 계산할 수있는 프로그램을 작성할 수 있습니다. for(i=0; i<N; i++) { x = 1; } 실행하지 않고 의 시간 복잡성을 반환 합니다.엔NN 다른 모든 입력 …

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

비정규 LR 파싱으로 땜질 할 때 시간 에 모호하지 않은 문법을 정확하게 파싱 할 수 있는 파싱 방법 (무한한 크기의 테이블을 사용하여 다소 실용적이지 않음)을 생각해 보았습니다. 보다 나은:O ( n2)영형(엔2)O(n^2) 모든 모호하지 않은 문법을 선형 시간으로 구문 분석 할 수 있습니까? 나는 이것이 사실이라면 어딘가를 읽었을 것이라고 확신하지만 인터넷을 …

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

다음 결과에 대한 참조를 찾고 있습니다. 인수 분해 표현에 두 정수를 추가하는 것은 일반적인 이진 표현에서 두 정수를 인수 분해하는 것만 큼 어렵습니다. (이것은 내가 언젠가 궁금해했던 것이기 때문에 인쇄본에서 마침내 보았을 때 흥분되어 있기 때문에 그것이 확실하다고 확신합니다.) "인수 분해 된 표현에 두 개의 정수를 더하는 것"은 문제입니다. 와 …

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

이 질문은 이진수의 곱셈과 다항식 곱셈 mod 2의 관계에 관한 것입니다. 질문을 구체적으로 만들기 위해 Knuth vol의 질문에 대한 더 나은 해결책이 있는지 이상적으로 알고 싶습니다. 2 권 3 호 계수가 컴퓨터 단어로 묶여 있으면 이진 컴퓨터에서 일반적인 산술 연산을 사용하여 다항식 모듈로 2의 곱셈을 촉진 할 수 있습니까?” Knuth는 …

22 ds.algorithms  reductions  time-complexity 

3-MUL이라고하는 다음 문제의 시간 복잡성에 대해 알려진 것은 무엇입니까? 정수 로 설정된 가 주어지면, 와 같은 요소 있습니까?SSSnnna,b,c∈Sa,b,c∈Sa,b,c\in Sab=cab=cab=c 이 문제는 3-SUM 문제와 유사 (또는 동등하게 )가 되도록 세 가지 요소가 있는지 묻습니다 . 3-SUM은 대략 2 차 시간 ( 을 요구하도록 추측된다 . 3-MUL에 대해서도 비슷한 추측이 있습니까? 특히 …

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

P 에서 가장 잘 알려진 실행 시간이 형식 인 자연 문제가 있습니까? 여기서 는 비이성 상수입니까?αO ( nα)O(nα)O(n^\alpha)αα\alpha

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

곱셈의 시간 복잡성에 대해 알려진 가장 좋은 상한은 Martin Fürer의 바운드 이며, 이는 선형 시간 복잡도를 더한 것 이상입니다. 곱셈보다 덧셈이 본질적으로 쉽다는 증거가 있습니까?nlogn2O(log∗n)nlog⁡n2O(log∗⁡n)n\log n2^{O(\log^* n)}

21 cc.complexity-theory  time-complexity 

회문은 테이프 튜링 기계에서는 선형 시간으로 인식 할 수 있지만 단일 테이프 튜링 기계 에서는 인식 할 수 없다는 것이 잘 알려져 있습니다 (이 경우 필요한 시간은 2 차적 임). 선형 시간 알고리즘은 입력 사본을 사용하므로 선형 공간도 사용합니다.222 대수 공간 만 사용하여 멀티 테이프 튜링 머신의 선형 시간에 회문을 …

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

Grover 알고리즘의 시간 복잡성 (쿼리 복잡성이 아닌)은 무엇입니까? 그것은 그것이 나에게 분명한 것 같다 가 있기 때문에 반복하고 각 반복은 결국 시간이 걸립니다 반사 동작의 사용을 필요로 표준 범용 게이트 세트를 사용하는 .Ω ( 로그( N) N−−√)Ω(log⁡(N)N)\Omega(\log(N) \sqrt{N})Ω ( N−−√)Ω(N)\Omega(\sqrt{N})Ω ( 로그( N) )Ω(log⁡(N))\Omega(\log(N)) 문제는 Grover 알고리즘의 시간 복잡성이 이라는 …

19 reference-request  quantum-computing  time-complexity 

관계형 데이터베이스 에서 쿼리 대한 답을 찾으려면 시간 가 필요하며 지수 제거 할 수없는 것으로 알려져 있습니다. .D | D | | Q | | Q |큐QQ디DD| D || Q ||D||Q||D|^{|Q|}| Q ||Q||Q| 로 매우 클 수 데이터베이스가 실제로는 전혀 작동 이유, 우리는 궁금합니다.디DD 실제 응용 프로그램에서 일반적인 쿼리가 전혀 …

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

하자 에프( n )f(n)f(n) 이 될 크기의 입력에 문제시 실행되는 최악의 경우 엔nn . 우리는이 문제 고정함으로써 조금 이상한합시다 에프( n ) = n2f(n)=n2f(n) = n^2 에 대한 N = 2 Kn=2kn=2k 이지만 에프( n ) = nf(n)=nf(n) = n 에 대한 N = 2 K + 1n=2k+1n=2k+1 . 그렇다면 …

19 cc.complexity-theory  time-complexity