1
명시 적으로 MSO 표현 가능한 사소한 폐쇄 속성
아래에서 MSO는 정점 설정 및 에지 설정 수량 화가있는 그래프의 2 차 논리를 나타냅니다. 를 사소한 폐쇄 형 그래프 군 이라고하자 . 는 금지 된 미성년자 의 유한 목록 에 의해 특징 지워진다는 Robertson과 Seymour의 그래프 사소한 이론 됩니다. 즉, 각각의 그래프 , 우리는이 속한 경우에만, 제외 모든 그래프 미성년자있다.FF\mathcal{F}FF\mathcal{F}H1,H2,...,HkH1,H2,...,HkH_1,H_2,...,H_kGGGGGGFF\mathcal{F}GGGHiHiH_i …