1
Незначні закриті властивості, явно виражені MSO
Нижче MSO позначає монадичну логіку графіків другого порядку з кількісними вершинами та ребрами. Нехай - другорядне замкнене сімейство графіків. З Робертсона і Сеймура теорії графів малої , що F характеризується кінцевим списком H 1 , H 2 , . . . , H k заборонених неповнолітніх. Іншими словами, для кожного …