NP-Complete는 NP에 속하면서 가장 어려운 문제들 집합이고
NP-Hard는 NP에 속하는지 아닌지 모르고 모든 NP 문제가 NP-Hard로 reducible한 문제들 집합

이렇게 이해해도 되지?

여기서 NP-Hard가 NP에 속하는지 아닌지 모른다는 말을 바꿔서 verification이 쉬운지 어려운지 모른다고 해석해도 돼?