«space-time-tradeoff» 태그된 질문

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

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

입력 크기의 하위 선형 작업 공간을 사용하여 동일한 길이의 두 문자열 사이의 정확한 편집 거리를 계산하는 데 가장 잘 알려진 복잡성은 무엇입니까? 입력이 일부 읽기 전용 형식으로 저장되어 있다고 가정합니다. 이것은 이전에 연구 된 문제입니까? 질문을 좀 더 구체적으로 만들려면 공백. 여기서n은 각 입력 문자열의 길이입니다.Θ ( n−−√)Θ(엔)\Theta(\sqrt{n})엔엔n 편집하다. David …

19 ds.algorithms  edit-distance  space-time-tradeoff 

결정 론적 로그 스페이스 ( ) 에서 결정 가능한 모든 문제 는 최대 다항식 시간 ( P )으로 진행 된다는 것을 쉽게 알 수 있습니다. 많은 알려진 로그 공간 알고리즘 (예 : 방향이 지정되지 않은 st-connectivity, 평면 그래프 동형) 은 k 가 미치게 큰 O ( n k ) 에서 …

17 cc.complexity-theory  space-bounded  space-time-tradeoff 

(이미 기본 사이트 에서 요청했지만 더 나은 적용 범위를 요청하려면 죄송합니다.) 간결한 데이터 구조 에 대해 알고 있었기 때문에 해당 분야의 최신 개발에 대한 훌륭한 개요가 절실히 필요합니다. 나는 구글에서 내 머리 위로 요청에 대한 구글 결과 상단에서 볼 수있는 많은 기사를 읽었습니다. 나는 여전히 내가 여기서 중요한 것을 놓친 …

14 reference-request  ds.data-structures  advice-request  space-time-tradeoff 

범용 시공간 트레이드 오프에 대한 출판 된 결과의 초기 역사에 관심이 있습니다. 특히, 데이터 흐름 그래프의 깊이 (폭이 아님)에 비례하는 공간 (크기를 더한 크기)을 사용하여 정도가 O (1) 인 임의의 데이터 흐름 그래프가있는 계산을 평가하는 다음 유형의 알고리즘을 누가 먼저 설명했는지 알고 싶습니다 그래프의 간단한 깊이 우선 평가를 수행하여 입력의). …

14 cc.complexity-theory  ho.history-overview  space-time-tradeoff 

다음 과 같은 언어 고려하십시오 LLL. L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) 그래서 L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) 즉, 빠른 시스템 계산 시간에 와 가장 공간 효율적인 시스템 계산 공간 사용시 .MMMLLLO(f(n))O(f(n))O(f(n))M′M′M'LLLO(g(n))O(g(n))O(g(n)) M의 공간 효율성 또는 M '의 시간 효율성에 대해 무엇을 말할 수 있습니까? 또는 더 정확하게, 경우 모든 시스템이 …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

3SAT [ 1 ]의 하한에 대한 토론에 이어, 시공간 상충 관계로 공식화 된 주요 하한 결과가 무엇인지 궁금합니다. 나는 Savitch의 정리와 같은 결과를 배제하고있다. 좋은 입장은 단일 문제와 그 한계에 초점을 맞출 것입니다. 예를 들면 다음과 같습니다. "T와 S는 모든 SAT 알고리즘의 실행 시간과 공간 경계가되게하십시오. 그러면 T⋅S≥n2cos (π / …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff 

크기 n1n1n_1 과 의 두 개의 스트링이 주어지면 n2n2n_2, 표준 레 벤슈 테인 편집 거리 계산은 시간 복잡도 O(n1n2)O(n1n2)O(n_1 n_2) 와 공간 복잡도 가진 동적 알고리즘에 의해 계산됩니다 O(n1n2)O(n1n2)O(n_1 n_2). (일부 개선 편집 거리의 함수로 만들 수 있습니다 ddd , 그러나 우리는 아무런 가정도하지 않습니다 dddO(max(n1,n2))O(max(n1,n2))O(\max(n_1, n_2)) 그러나 최적의 편집 …

12 cc.complexity-theory  dynamic-algorithms  edit-distance  space-time-tradeoff 

여기 에 전이 완료에 대해 몇 가지 질문 ( 1 , 2 , 3 ) 이 있었는데 , 이것이 이와 같은 것이 가능하다고 생각하게했습니다. 입력 지향 그래프를 얻는다고 가정하자 GGG" ?" 유형의 쿼리에 응답하고 싶습니다 . 즉, 그래프 의 전이 완료에서 두 정점 사이에 모서리가 있는지 묻습니다 . (등가 "의 …

9 graph-theory  graph-algorithms  space-time-tradeoff  transitive-closure