кограф

В теории графов кограф, или дополнительно сводимый граф, или граф, свободный от P4, — это граф, который можно получить из графа с единственной вершиной K1 путём операций дополнения и объединения графов. Таким образом, семейство кографов — это наименьший класс графов, содержащий K1 и замкнутый относительно дополнения и объединения. Кографы открывались независимо несколькими авторами, начиная с 1970-х годов. Самые ранние упоминания можно найти у Янга, Лерчса, Зайнше и Самнера. Эти графы назывались D*-графами, наследственными графами Дейси (после работы Джеймса Дейси [James C. Dacey, Jr.] об . Смотрите работу Самнера) и графы с двумя потомками Барлета и Ури. Смотрите книгу Брандштедта, Ли и Шпинрада, где кографы рассмотрены более детально, включая факты, приведённые здесь.