만족성 검사 문제에 대한 새로운 초그래프 컨테이너 렘마를 제시하고, 이를 활용하여 만족성 검사, 초그래프 색칠가능성 검사, 반동질적 그래프 분할 속성 검사 등의 문제에 대한 효율적인 샘플 복잡도 상한을 도출한다.
