Разбиение плоского графа с обхватом 7 на два звёздных леса

Доказано, что множество вершин любого плоского графа с обхватом не менее 7 можно разбить на два подмножества, каждое из которых порождает звёздный лес, т.е. такой лес, в котором каждая компонента связности является звездой. Библиогр. 26.