문제 부류(class)간 포함관계로 옳은 것은? (단, \mathrm{… | [7급 국가직 알고리즘] 23년 1회차 기출문제 상세 페이지

$\mathrm{P} \neq \mathrm{NP}$일 때 옳은 그림은 P가 NP 안에 NP-완전과 겹치지 않게 있고, NP-완전이 NP와 NP-하드의 겹친 영역에 놓인 것이다.
P의 문제는 모두 NP에 속하고, NP-완전은 NP이면서 NP-하드인 문제로 정의된다. P와 NP가 다르면 NP-완전 문제는 다항 시간에 풀 수 없으므로 P는 NP-완전·NP-하드와 겹치지 않는다.
NP 원 안에 NP-완전이 따로 있고 P가 겹친 영역에 놓인 그림: NP-완전을 NP-하드 밖에 두고 P를 NP-하드에 넣었다.
NP-하드 원 안에 NP-완전이 따로 있고 P가 겹친 영역에 놓인 그림: NP-완전을 NP 밖에 두고 P를 NP-하드에 넣었다.
NP-하드 원 안에 P가 있고 NP-완전이 겹친 영역에 놓인 그림: P를 NP 밖에 두어 P가 NP에 포함된다는 사실에 어긋난다.