검색 결과

[[계산 복잡도 이론]]에서 '''IP'''(Interactive Polynomial time)는 [[대화형 증명 체계]]로 풀 수 있는 문제의 집합이 {{복잡도 종류}} ...

[[계산 복잡도 이론]]에서 [[복잡도 종류]] '''PH'''는 [[다항 계층]]에 있는 모든 복잡도 종류의 합집합이다. '''PH'''는 래리 스톡마이어({{lang|en|Larry Stockmeyer}})가 처음 정의하였다. 이 복잡도 종류는 [[PP (복잡도)|PP]] [[신탁 기계]]에 접근하는 다항 시간 [[튜링 기계]]를 써서 판정할 수 있는 문제인 '''P^PP''' ...

[[계산 복잡도 이론]]에서 '''PSPACE'''는 [[결정론적 튜링 기계]]나 [[비결정론적 튜링 기계]]가 시간은 얼마든지 쓸 수 있고, 공간은 ...E'''의 진부분집합이다. 복잡도 종류 '''[[NL (복잡도)|NL]]''', '''[[P (복잡도)|P]]''', '''[[NP (복잡도)|NP]]''', '''PSPACE''', '''[[EXPSPACE]]'''가 갖는 관계는 이렇다: ...

...hmic-space)은 [[비결정론적 튜링 기계]]가 [[로그]] [[기억 공간]]을 써서 풀 수 있는 [[판정 문제]]의 [[복잡도 종류]]이다. '''NL'''은 [[결정론적 튜링 기계]]에서 로그 공간을 들여 풀 수 있는 문제의 집합인 [[L (복잡도)|'''L''']]을 일반화한 것이다. 모든 결정론적 튜링 기계는 비결정론적 튜링 기계이기도 하기 때문에, '''L'''은 '''NL' ...

'''확률적 알고리즘'''({{lang|en|probabilistic algorithm}}) 또는 '''무작위 알고리즘'''({{lang|en|ra 확률적 알고리즘의 필요성을 설명하기 위해 다음과 같은 예를 생각한다. ''n''개의 원소가 들어있는 어떤 배열에서 절반은 ''a''이고 나머지 ...

[[계산 복잡도 이론]]에서 '''시간 복잡도'''는 문제를 해결하는데 걸리는 시간과 입력의 함수 관계를 가리킨다. 알고리즘의 수행 시간은 동일 크기의 다양한 입력에 의해 달라질 수 있기 때문에, 가장 많이 쓰이는 ''최악의 시간 복잡도''의 알고리즘 시간을 '''''T(n)'''''이라고 했을 때, 이것은 크기 n의 모든 입력에 대해 걸리는 ''최대의 시간''으로 정의 ...

...복 알고리즘]] 등의 다양한 핵심 알고리즘 개념, 그리고 [[힙 (자료 구조)|힙]]과 [[이진 트리]] 등의 [[자료 구조]], [[확률적 알고리즘]], [[최선, 최악, 그리고 평균의 경우]] 분석, [[타임스페이스 트레이드오프]], [[하한 및 상한]]을 소개한다. * 원소들의 크기 비교에 따른 [[계산 복잡도 이론|계산 복잡도]] ([[최선, 최악, 그리고 평균의 경우|최선, 최악, 평균]] 동작). 직렬 정렬 알고리즘의 경우 최선 동작은 O(''n''&nbs ...

...가장 잘 알려진 고전 알고리듬보다 더 효율적으로 문제를 해결하는 최초의 양자 알고리듬이다. 이 알고리듬은 [[BQP]]와 [[유계오차 확률적 다항시간|BPP]] 사이에 [[Oracle separation|오라클 분리]]를 생성하도록 설계되었다. ...37/s0097539795293172}}</ref> 가장 잘 알려진 고전 알고리듬은 초다항식 시간을 사용한다. 이러한 문제는 [[P (복잡도)|P]] 또는 [[NP-완전]]에 있는지 알려져 있지 않다. 또한 가장 잘 알려진 고전 알고리듬이 초다항식 시간에서 실행되는 다항식 시 ...

! style="border:1px solid #AAAAAA" | 이동 종류 === 튜링 기계의 한계(시간 복잡도 이론) === ...