«space-complexity» 태그된 질문

알고리즘을 실행하는 데 필요한 공간의 점근 적 분석.

1
다이렉트 환원
우리가 알고있는 인 N L 로 정리 Immerman-Szelepcsényi 이후 정리 S t - C O N N E C t 난 V 나 마에 Y가 인 N L - H R에 D 따라서 S t - N Ost-non-connectivityst-non-connectivityst\text{-}non\text{-}connectivityNLNL\mathsf{NL}st-connectivityst-connectivityst\text{-}connectivityNL-hardNL-hard\mathsf{NL\text{-}hard} 는 s t - c o n n e c t i …
1
구체화 유형 추론
직장에서 나는 동적 언어에 대한 몇 가지 유형 정보를 유추하는 임무를 맡았습니다. 다음 let과 같이 일련의 명령문을 중첩 된 표현식 으로 다시 작성합니다 . return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …
11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 
1
선택 알고리즘을위한 공간이 부족합니까?
정수 배열에서 k 번째로 큰 원소 를 찾는 잘 알려진 최악의 경우 선택 알고리즘 이 있습니다. 그것은 중간 값 접근법을 사용하여 충분한 피벗을 찾고 입력 배열을 제자리에 놓은 다음 재귀 적으로 k 번째로 큰 요소 검색을 계속합니다 .O(n)O(n)O(n) kkkkkk 입력 배열을 건드리지 않으면 O ( n ) 시간 에서 번째로 …
1
세트의 파티션을 나타내는 간단한 방법은 무엇입니까?
세트 파티션을 나타내는 효율적인 데이터 구조 가 있습니다 . 이러한 데이터 구조는 Union 및 Find와 같은 작업에는 시간이 복잡하지만 특히 공간 효율적이지는 않습니다. 세트의 파티션을 나타내는 공간 효율적인 방법은 무엇입니까? 가능한 출발점은 다음과 같습니다. 요소가 있는 세트 의 파티션 수 는 번째 벨 번호 인 이라는 것을 알고 있습니다. 따라서 …
1
튜링 머신의 서브 라인 공간이란 무엇입니까?
입력이 회문인지 아닌지를 결정하는 문제 는 튜링 머신에 공간 이 필요한 것으로 입증되었습니다 . 그러나 입력을 저장하는데도 공간 n 이 걸리므로 모든 Turing 기계에 공간 Ω ( n )이 필요한 것은 아닙니다 .Ω ( 로그n )Ω(로그⁡엔)\Omega(\log n)엔엔nΩ ( n )Ω(엔)\Omega(n) 물론, 적어도 선형 공간을 사용하는 함수는 적어도 로그 공간을 사용하기 …
3
Watson-Crick 회문 인식의 공간 복잡성
다음과 같은 알고리즘 문제가 있습니다. Watson-Crick 회 문인 DNA 문자열 인식의 공간 튜링 복잡도를 결정합니다. Watson-Crick 회문은 역 보체가 원래 문자열 인 문자열입니다. 보완 DNA 영감 문자 와이즈 정의된다 : A는 T의 보수이며, C는 ACGT WC-회문위한 G. 간단한 예를 보완한다. 나는 이것을 해결하는 두 가지 방법을 생각해 냈습니다. 하나는 공간이 …
4
NSPACE (O (n))의 언어이며 DSPACE (O (n))의 언어가 아님
사실 나는 상황에 맞는 언어들이 CSLCSL\mathbf{CSL} (=NSPACE(O(n))=LBA=NSPACE(O(n))=LBA\mathbf{=NSPACE(O(n)) = LBA} 허용되는 언어)는 널리 논의되지 않습니다. REGREG\mathbf{REG} (일반 언어) 또는 CFLCFL\mathbf{CFL}(문맥이없는 언어). 또한 열린 문제DSPACE(O(n))=?NSPACE(O(n))DSPACE(O(n))=?NSPACE(O(n))\mathbf{DSPACE(O(n))} =^{?} \mathbf{NSPACE(O(n))} "아날로그"문제만큼 유명하지는 않습니다. "P=?NPP=?NP\mathbf{P} =^{?} \mathbf{NP}". 글쎄, 정말 그런 비유가 있습니까? 언어가 있습니까 CSLCSL\mathbf{CSL} 에있을 수없는 DSPACE(O(n))DSPACE(O(n))\mathbf{DSPACE(O(n))} (처럼 N PNP\mathbf{NP} 완전한 언어)? 또한 : 언어가 …
2
Spearman의 순위 상관 계수 계산의 복잡성은 무엇입니까?
나는 Spearman의 순위 상관 계수를 연구하고 있습니다 ρ =∑나는(엑스나는−엑스¯) (와이나는−와이¯)∑나는(엑스나는−엑스¯)2∑나는(와이나는−와이¯)2−−−−−−−−−−−−−−−−−−−√ρ=∑나는(엑스나는−엑스¯)(와이나는−와이¯)∑나는(엑스나는−엑스¯)2∑나는(와이나는−와이¯)2\qquad \displaystyle \rho = \frac{\sum_i(x_i-\bar{x})(y_i-\bar{y})}{\sqrt{\sum_i (x_i-\bar{x})^2 \sum_i(y_i-\bar{y})^2}} 입니다. 두 개의 목록 및 입니다. 알고리즘 의 복잡성 은 무엇입니까 ?엑스1, ... ,엑스엔엑스1,…,엑스엔x_1, \dots, x_n와이1, ... ,와이엔와이1,…,와이엔y_1, \dots, y_n 알고리즘은 단지 뺄셈을 계산해야 하기 때문에 있습니까?엔엔nO ( n )영형(엔)O(n)
2
작은 메모리 풋 프린트로 구현 구현 찾기
세트 데이터 유형의 구현을 찾고 있습니다. 즉, 우리는 동적 서브 세트 유지 (크기의 우주에서) 크기의 U 와SSSnnnU={0,1,2,3,…,u–1}U={0,1,2,3,…,u–1}U = \{0, 1, 2, 3, \dots , u – 1\}uuu 작업 insert(x)(추가 원소 x에 SSS 등) find(x)(요소가 있는지 확인 x하는 부재 인 SSS ). 다른 작업은 신경 쓰지 않습니다. 오리엔테이션을 위해 작업중 인 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책과 개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.