16 처지: 결정 문제, 변수, 불 대수, 부정, 논리 연산, 논리곱, 논리곱 표준형, 논리합, 논리식, 다항 시간, 스티븐 쿡, 진릿값, 쿡-레빈 정리, 환산, NP-완전, P (복잡도).
결정 문제
산 이론에서 결정 문제(decision problem, 판정 문제)란 어떤 형식 체계에서 예-아니오 답이 있는 질문을 말..
새로운!!: 충족 가능성 문제와 결정 문제 · 더보기 »
변수
변수(變數)는 수학에서 쓰이는 수식에 따라서 변하는 값을 뜻. (예: x + 1.
새로운!!: 충족 가능성 문제와 변수 · 더보기 »
불 대수
순서론과 추상대수학, 논리학에서, 불 대수(Boole代數)는 고전 명제 논리의 명제의 격자와 같은 성질을 갖는 격자이.
새로운!!: 충족 가능성 문제와 불 대수 · 더보기 »
부정
수리 논리학에서 부정(否定)은 명제의 참과 거짓을 반전하는 논리 연산이.
새로운!!: 충족 가능성 문제와 부정 · 더보기 »
논리 연산
리 연산(logical operation, logical connective) 혹은 불 연산(boolean operation)은 참, 거짓 두 가지 원소(진리값으로 불림)만 존재하는 집합(환으로 불림)에서의 연산이.
새로운!!: 충족 가능성 문제와 논리 연산 · 더보기 »
논리곱
AND 논리 게이트 논리곱(기호: AND)이란 수리 논리학에서, 주어진 복수 명제 모두가 참인지를 나타내는 논리 연산이.
새로운!!: 충족 가능성 문제와 논리곱 · 더보기 »
논리곱 표준형
불 대수에서 논리곱 표준형(conjunctive normal form)은 절의 논리곱으로 나타낸 논리식을 말. 여기서 절은 리터럴의 논리합으로 이루어.
새로운!!: 충족 가능성 문제와 논리곱 표준형 · 더보기 »
논리합
리합(logical sum, 論理合, OR)이란 수리 논리학에서 주어진 복수 명제에 적어도 1개 이상의 참이 있는지를 나타내는 논리 연산이.
새로운!!: 충족 가능성 문제와 논리합 · 더보기 »
논리식
리식은 논리 변수들을 논리 연산자를 이용하여 조합한 것이.
새로운!!: 충족 가능성 문제와 논리식 · 더보기 »
다항 시간
항 시간(多項時間)은 어떠한 문제를 계산하는 데에 걸리는 시간 m(n)이 문제의 크기 n의 다항식 함수보다 크지 않은 것을 가리.
새로운!!: 충족 가능성 문제와 다항 시간 · 더보기 »
스티븐 쿡
스티븐 아서 쿡(Stephen Arthur Cook, 1939년 12월 14일~)은 미국의 전산학자이다. 1971년 ACM 《SIGACT Symposium on the Theory of Computing》에 실린 논문 〈The Complexity of Theorem Proving Procedures〉에서 NP-완전의 개념을 확립한 것으로 유명하다. 이 논문에 들어있는 쿡의 정리는 충족 가능성 문제가 NP-완전임을 증명하는 것이다. 이 논문에서 P와 NP가 같은지를 질문했는데 이를 P-NP 문제라고 부르며, 컴퓨터 과학의 가장 중요한 문제로 밀레니엄 문제 중 하나이기도 하다.
새로운!!: 충족 가능성 문제와 스티븐 쿡 · 더보기 »
진릿값
리값(truth value)은 논리학의 용어로, 어느 명제의 내용이 참인지 거짓인지를 나타내는 값이.
새로운!!: 충족 가능성 문제와 진릿값 · 더보기 »
쿡-레빈 정리
쿡-레빈 정리(Cook-Levin theorem)는 충족 가능성 문제(SAT)가 NP-완전이라는 것을 증명하는 정리로, 모든 NP 복잡도에 속하는 결정 문제는 다항 시간 내에 충족 가능성 문제로 환산할 수 있다는 것을 의미.
새로운!!: 충족 가능성 문제와 쿡-레빈 정리 · 더보기 »
환산
환산의 다른 뜻은 다음과 같.
새로운!!: 충족 가능성 문제와 환산 · 더보기 »
NP-완전
NP-완전(NP-complete, NP-C, NPC)은 NP 집합에 속하는 결정 문제 중에서 가장 어려운 문제의 부분집합으로, 모든 NP 문제를 다항 시간 내에 NP-완전 문제로 환산할 수 있. NP-완전 문제 중 하나라도 P에 속한다는 것을 증명한다면 모든 NP 문제가 P에 속하기 때문에, P-NP 문제가 P.
새로운!!: 충족 가능성 문제와 NP-완전 · 더보기 »
P (복잡도)
P(PTIME 또는 DTIME(nO(1)))는 결정론적 튜링 기계로 다항 시간 안에 풀 수 있는 판정 문제를 모아 놓은 복잡도 종류이.
새로운!!: 충족 가능성 문제와 P (복잡도) · 더보기 »