연구문헌
교육정보
심화정보
포커스iN
연구자료
- 문자 DB
- 용어사전
알림마당
CSERIC 광장

단어	Quantified 불의 공식 문제
단어	QBF
설명	계산 복잡도 이론에서 Quantified Boolean formula problem(QBF)는 불의 만족 문제(Boolean satisfiability problem)의 일반화된 문제이다. 이 두 가지 문제 모두 각 변수에 존재 기호(existential qualifier)와, 전칭 기호(universal qualifier)가 적용될 수 있다. 불의 변수의 집합에 대한 1차 논리(first-order logic) 형태가 참인지 거짓인지 여부에 대하여 물을 수 있다.