7 처지: Co-NP, 결정 문제, 계산 복잡도 이론, 충족 가능성 문제, 환산 (복잡도), NP-완전, P (복잡도).
Co-NP
산 복잡도 이론에서 co-NP는 복잡도 종류이.
새로운!!: Co-NP-완전와 Co-NP · 더보기 »
결정 문제
산 이론에서 결정 문제(decision problem, 판정 문제)란 어떤 형식 체계에서 예-아니오 답이 있는 질문을 말..
새로운!!: Co-NP-완전와 결정 문제 · 더보기 »
계산 복잡도 이론
산 복잡도 이론(Computational complexity theory)은 컴퓨터 과학에서 계산 이론의 분야로, 계산 문제를 푸는 알고리즘을 복잡도에 따라 분류하여 문제의 모임을 구성하는 방법을 연. 이 때 알고리듬의 수행은 실제 컴퓨터가 할 수 있지만, 평가하는 데에는 튜링 기계와 관련이 있는 정량화된 방법을 사용.
새로운!!: Co-NP-완전와 계산 복잡도 이론 · 더보기 »
충족 가능성 문제
충족 가능성 문제(充足可能性問題, satisfiability problem, SAT)는 어떠한 변수들로 이루어진 논리식이 주어졌을 때, 그 논리식이 참이 되는 변수값이 존재하는지를 찾는 문제이.
새로운!!: Co-NP-완전와 충족 가능성 문제 · 더보기 »
환산 (복잡도)
복잡도 이론과 계산 복잡도 이론에서 환산(reduction)은 어떤 문제를 다른 문제로 변형하는 과정이.
새로운!!: Co-NP-완전와 환산 (복잡도) · 더보기 »
NP-완전
NP-완전(NP-complete, NP-C, NPC)은 NP 집합에 속하는 결정 문제 중에서 가장 어려운 문제의 부분집합으로, 모든 NP 문제를 다항 시간 내에 NP-완전 문제로 환산할 수 있. NP-완전 문제 중 하나라도 P에 속한다는 것을 증명한다면 모든 NP 문제가 P에 속하기 때문에, P-NP 문제가 P.
새로운!!: Co-NP-완전와 NP-완전 · 더보기 »
P (복잡도)
P(PTIME 또는 DTIME(nO(1)))는 결정론적 튜링 기계로 다항 시간 안에 풀 수 있는 판정 문제를 모아 놓은 복잡도 종류이.
새로운!!: Co-NP-완전와 P (복잡도) · 더보기 »