• 전체
  • 전자/전기
  • 통신
  • 컴퓨터
닫기
Loading..

Please wait....

용어사전

홈 홈 > 연구자료 > 용어사전

Current Result document : 6 / 30

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