검색 결과

...원 문제는 [[조합 최적화]] 문제의 일종이다. 줄여서 '''TSP'''라고도 쓴다. 이 문제는 [[NP-난해]]에 속하며, 흔히 [[계산 복잡도 이론]]에서 해를 구하기 어려운 문제의 대표적인 예로 많이 다룬다. ...해밀턴 순환]]을 구하라"라고 표현할 수 있다. 이 문제는 반드시 시작점으로 돌아와야 한다는 제약 조건을 없애도 [[계산 복잡도 이론|계산 복잡도]]는 변하지 않는다. ...

...주어졌을 때, 그 논리식이 참이 되는 변수값이 존재하는지를 찾는 문제이다. 만족성 문제, 만족도 문제, 만족 문제, 불린 충족 가능성 문제(boolean satisfiability problem)라고도 부른다. == 계산 복잡도 == ...

'''식사하는 철학자들 문제'''는 [[전산학]]에서 [[동시성]]과 [[교착]] 상태를 설명하는 예시로, 여러 [[프로세스]]가 동시에 돌아갈 때 교착 상태가 나 * [[생산자-소비자 문제]] ...

[[컴퓨터 과학|전산학]]이나 [[수학]]에서 '''요세푸스 문제'''(Josephus problem) 혹은 '''요세푸스 순열'''(Josephus permutation)은 다음과 같이 정의한다. [[분류:수학 문제]] ...

...e}})이란 [[비결정론적 튜링 기계]]가 입력마다 받아들이는 경로를 최대 한 개만으로 해서 [[다항 시간]]에 풀 수 있는 [[판정 문제]]들의 [[복잡도 종류]]이다. '''UP'''는 '''[[P (복잡도)|P]]'''를 포함하고, '''[[NP (복잡도)|NP]]'' ...질 때 결정론적 기계로 다항시간에 검증할 수 있다는 것은 동치이다. 비슷하게, 주어진 답이 다항 시간에 검증될 수 있고, 검증 기계가 문제 인스턴스마다 답변을 최대 ''한 개''만 받아들이면, 그 언어는 '''UP'''이다. 더 형식적으로 쓰면, 언어 <math>L</mat ...

...en|maximum independent set problem}}): 주어진 [[그래프]]의 (적어도 하나의) 최대 독립 집합을 찾는 문제 ** 이 문제는 [[NP-난해]] [[최적화 문제]]이다. ...

[[그래프 이론]]에서 '''최단 경로 문제'''란 가장 짧은 경로에서 두 꼭짓점을 찾는 문제로서, [[가중 그래프]]에서는 구성하는 변들의 가중치 합이 최소가 되도록 하는 경로를 이런 문제는 '''단일-쌍 최단 경로 문제'''라고 부르며, 아래의 일반화된 문제들과는 차이가 있다. ...

[[알고리즘]]이나 [[자료 구조]]의 '''공간 복잡도'''(空間複雜度, space complexity)는 입력의 특성에 따라 [[계산 문제]]의 인스턴스를 해결하는 데 필요한 메모리 공간의 양이다. 이는 알고리즘이 완전히 실행될 때까지 필요한 메모리이다. 여기에는 입력 공간 [[분류:계산 복잡도 이론]] ...

'''입방 배적 문제'''(立方倍積問題,Doubling the cube)는 역사적으로 델리안 문제(Delian problem) 또는 델로스 문제라고도 불린다. ...등분|각의 3등분 문제]]와 함께 고대 그리스 시절부터 제기되어 온 [[기하학]]의 [[컴퍼스와 자 작도#3대 작도 불가능 문제|3대 문제]]중 하나로서, [[피에르 방첼]]은 1837년에 2개의 입방체가 구성 가능하지 않다는 것을 증명했다. 즉 컴퍼스와 자만으로 작도가 불 ...

...인트로 알려져 있다.  일부 출처에서는 Alfred Weber가 1909년 논의한 가중 거리의 합을 최소화하는 문제(일반 Weber의 문제)를 Fermat-Weber 문제라고 부르지만, 다른 출처에서는 가중치가 적용되지  않은 기하 중앙값 문제에 이 이름을 사용하기도 한다. == 계산 == ...

예를 들어, [[최단 경로 문제]]에서 휴리스틱 함수 <math>h(n)</math>은 한 노드에서 목표 노드까지의 최소 비용 경로를 추정하는 [[탐색 트리]]의 노드 === 계산 성능 측면에서 휴리스틱 함수의 효과 === ...

[[복잡도 이론]]과 [[계산 복잡도 이론]]에서 '''환산'''({{lang|en|reduction|리덕션}})은 어떤 문제를 다른 문제로 변형하는 과정이다. {{ 문제 A가 어떤 과정을 통해 문제 B로 환산된다면 B의 해답을 가지고 A의 해답을 알 수 있기 때문에, A를 푸는 작업이 B를 푸는 작업보다 어려울 수 없다. 이를 A ...

'''근사 알고리즘'''(approximation algorithm)은 어떤 [[최적화 문제]]에 대한 [[근 (수학)|해]]의 [[근사값]]을 구하는 [[알고리즘]]을 의미한다. 이 알고리즘은 가장 최적화되는 답을 구할 수는 비 거리 공간 외판원 문제 G를 정의하자. ...

...위한 '동작들의 모임'이다. [[계산]]을 실행하기 위한 단계적 '''규칙과 절차'''를 의미하기도 한다. 즉, 문제 풀이에 필요한 계산 절차 또는 처리 과정의 순서를 뜻한다. [[프로그램]][[명령어]]의 집합을 의미하기도 한다. :문제 정의 → 모델 고안 → 명세 작성 → 설계 → 검증 → 분석 (복잡도 등) → 구현 → 테스트 → 문서화 ...

[[계산 이론]]에서 '''재귀적 열거 가능 집합'''(Recursively enumberable set), '''귀납적 가산 집합'''(歸納的 [[계산 복잡도 이론]]에서 이와 같은 집합을 모임 [[RE (복잡도)]]로 분류한다. ('''c.e.''') ...

...stic Logarithmic-space)은 [[비결정론적 튜링 기계]]가 [[로그]] [[기억 공간]]을 써서 풀 수 있는 [[판정 문제]]의 [[복잡도 종류]]이다. '''NL'''의 공식적인 정의는 [[비결정론적 공간]](곧 NSPACE)이라는 계산 자원 개념을 사용해서 한다. 이에 따르면 '''NL''' = '''NSPACE'''(log ''n'')이다. ...

...유발하는데, 왜냐하면 이러한 값은 2038년 대신 프로그램의 구현 방법에 따라 1970년 또는 1901년을 가리키기 때문이다. 따라서 계산 오류와 결정 오류가 발생할 수 있다. == 알려진 문제 == ...

[[계산 복잡도 이론]]에서 '''EXPSPACE'''는 [[결정론적 튜링 기계]]가 [[대문자 O 표기법|<math>{\color{Blue}O 공간을 써서 풀 수 있는 [[판정 문제]]의 [[집합]]이다. 여기서 <math>p(n)</math>은 <math>n</math>에 대한 다항함수이다. (일부에서는 <math ...

...다항로그 시간을 써서 이 문제로 환산될 수 있다는 뜻이다. 다시 말해서, 어떤 문제 ''A''가 ''P-완전''이려면 '''P''' 문제 ''B''마다 ''B''가 ''A''로 병렬 프로세서[[빅-오 기호|O]](''n''^''k'')개 써서 O((log 이밖에도 '''P-완전'''임이 증명된, 즉, 원래 순차적인 문제는 많이 있다. 아래 나열하는 문제는 [[판정 문제]]꼴로 되어 있다. ...

...[결정론적 튜링 기계]]나 [[비결정론적 튜링 기계]]가 시간은 얼마든지 쓸 수 있고, 공간은 다항 공간만 써서 풀 수 있는 [[판정 문제]]들의 집합이다. [[사비치 정리]]에 따르면 PSPACE는 '''NSPACE'''와 같기 때문에 튜링 기계가 결정론적이든 비결정론적이 ...P-NP 문제]]'''(두 번째 <math>\subseteq</math>가 <math>\subsetneq</math>인지 아닌지 묻는 문제)에 대한 해법에는 [[클레이 수학연구소|상금 백만 달러]]가 걸려 있다. ...