검색 결과

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

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

...있는 [[판정 문제]]들의 [[복잡도 종류]]이다. '''UP'''는 '''[[P (복잡도)|P]]'''를 포함하고, '''[[NP (복잡도)|NP]]'''에 속한다. '''P''' ≠ '''UP'''이거나 '''UP''' ≠ '''NP'''일 (아니면, 둘 다일) {{복잡도 종류}} ...

* EXP는 [[복잡도 종류]] '''[[EXPTIME]]'''을 뜻한다. ...

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

[[복잡도 이론]]과 [[계산 복잡도 이론]]에서 '''환산'''({{lang|en|reduction|리덕션}})은 어떤 문제를 다른 문제로 변형하는 과정이다. {{lang ...다 어려울 수 없다. 이를 A ≤ B라 쓰고, 흔히 ≤의 아랫첨자에 어떤 종류의 환산인지 명시해 주곤 한다. 특정한 환산은 [[복잡도 종류]]를 정의하는 데 쓰일 수 있다. ...

[[계산 복잡도 이론]]에서 '''EXPSPACE'''는 [[결정론적 튜링 기계]]가 [[대문자 O 표기법|<math>{\color{Blue}O}(2^ * [[게임 복잡도]] ...

...있다는 것은 그 [[보완 (복잡도)|보완]] 문제인 <math>\overline{\mathcal{X}}</math>가 '''[[NP (복잡도)|NP]]'''에 속한다는 것과 동치이다. 간단히 말하면, '''co-NP'''는 ''아니오'' 보기(''반례''라고도 한다)에 대해 ...e.org/web/20061128071923/http://qwiki.caltech.edu/wiki/Complexity_Zoo#conp 복잡도 동물원 co-NP 우리] ...

[[계산 복잡도 이론]]에서 '''NC'''(Nick's Class)는 프로세서가 다항 개인 [[병렬 컴퓨터]]가 다항로그 시간에 판정할 수 있는 [[ '''[[P (복잡도)|P]]'''를 결정론적 튜링 기계가 다룰 수 있는 문제들로 보는 것과 마찬가지로, '''NC'''도 병렬 컴퓨터가 효율 있게 다룰 수 ...

모든 재귀 언어의 모임은 [[복잡도 종류]] '''[[R (복잡도)|R]]''' 클래스와 같다. [[촘스키 위계]]에는 별도로 분류되어 있지 않다. ...

...)|P]]나 [[NP (복잡도)|NP]]의 범위 바깥에 있을 것으로 보이지만, 아직 증명되지는 않았다. PSPACE-완전이 [[NC (복잡도)|NC]] 바깥에 있다는 것은 증명되었다. * [[게임 복잡도]] ...

[[계산 복잡도 이론]]에서 [[복잡도 종류]] '''EXPTIME'''('''EXP'''라고도 한다)은 [[결정론적 튜링 기계]]가 [[대문자 O 표기법|<math>{\color :[[P (복잡도)|P]] &sube; [[NP (복잡도)|NP]] &sube; [[PSPACE]] &sube; EXPTIME &sube; [[NEXPTIME]] &sube; [[EXPSPAC ...

'''NP-난해''', '''NP-hard'''는 [[NP (복잡도)|NP]]에 속하는 모든 [[판정 문제]]를 [[다항 시간 환산|다항 시간에 다대일 환산]]할 수 있는 문제들의 [[집합]]이다. 다시 * [[환산 (복잡도)]] ...

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

...p>O(1)</sup>))는 [[결정론적 튜링 기계]]로 [[다항 시간]] 안에 풀 수 있는 [[판정 문제]]를 모아 놓은 [[복잡도 종류]]이다. [[선형 계획법|선형 계획]] 제품, [[최대공약수]] 문제 등이 P에 포함되며, [[2002년]]에는 주어진 숫자가 [[소수 == 다른 복잡도 종류와의 관계 == ...

...>''c''</sup>) 시간에 환산될 수 있는 상수 ''c''와 ''k''가 있다는 뜻이다. 병렬 프로세서의 정의는 '''[[NC (복잡도)|NC]]'''를 참고하라. ..."다룰 수 있는" 모든 문제를 포함하는 복잡도인 '''P'''는 병렬 컴퓨터에서 다룰 수 있는 문제로 구성된 복잡도 '''[[NC (복잡도)|NC]]'''도 포함한다. 이는 순차 기계가 병렬 컴퓨터를 시뮬레이트할 수 있기 때문이다. '''NC'''='''P'''인지는 아직 ...

[[파일:Arithmetic_hierarchy.svg|섬네일|right|300px|산술적 위계와 몇 복잡도 종류에 따른 집합 분류]] [[분류:복잡도 종류]] ...

== 복잡도 == ...ng machine)로 모형화한다. 라스베가스 알고리즘과 몬테카를로 알고리즘을 모두 대상으로 삼고, 이와 관련된 여러 가지 [[복잡도 종류]]를 연구한다. ...

...[[기수 정렬]]과도 비슷하다. 비교를 이용해 구현할 수도 있어서 [[비교 정렬]] 알고리즘으로 보기도 한다. [[알고리즘 분석|계산 복잡도]]는 각 버킷을 정렬하는 데 사용되는 알고리즘, 사용할 버킷 수, 버킷마다 균일한 입력이 들어가는지 여부에 따라 다르다. ''array''는 정렬할 배열, ''k''는 사용할 버킷 수이다. 키 값의 최대값은 모든 키를 한 번씩 조회하여 [[시간 복잡도#선형 시간|선형 시간]]에 계산할 수 있다. floor는 [[바닥 함수와 천장 함수|바닥 함수]]로써 부동 소수점 수를 정수로 변환한다 ...

모든 문맥 의존 언어의 집합은 [[복잡도 종류]] '''NLINSPACE''' 또는 '''NSPACE'''(''O''(''n''))으로 나타내기도 하는데, 비결정적 튜링 기계에서 선 | year = 2005}}.</ref> 복잡도 종류 '''LINSPACE''' (또는 '''DSPACE'''(''O''(''n'')))도 비슷하게 정의하지만 비결정적 튜링 기계 대신 결정 ...