Результаты поиска

...труктивная математика|конструктивной математике]] и [[Теория доказательств|теории доказательств]]. ...ф]]. Тогда <math>\Gamma</math> содержит бесконечный простой [[путь (теория графов)|путь]], то есть путь без повторяющихся вершин, который начинается в одной ...

...графе]]; обобщает [[Теорема о свадьбах|теорему о свадьбах]] для двудольных графов и является частным случаем [[Формула Татта — Бержа|формулы Татта — Бержа]]. ...та связности графа|связных компонент]] с нечётным числом [[Вершина (теория графов)|вершин]]. ...

...ств)|теории решёток]], [[теория графов|теории графов]], [[теория автоматов|теории автоматов]]. ...и, непрерывные в топологии Скотта. Кроме того, теорема Клини, в отличие от теоремы Кнастера — Тарского, обеспечивает способ вычисления наименьшей неподвижной ...

...Степень вершины (теория графов)|степени вершин]] некоторого [[граф (теория графов)|графа]]. * Лекции по теории графов / В. А. Емеличев, О. И. Мельников, В. И. Сарванов, Р. И. Тышкевич. — М.: На ...

*Также теорема является следствием из [[Теорема Форда — Фалкерсона|теоремы Форда — Фалкерсона]] о разрезаниях [[Транспортная сеть|транспортных сетей]] ...нте графа; на этой идее можно построить доказательство для всех регулярных графов.<ref>{{статья|автор=G. Kalai|заглавие=The seventeen camels riddle, and Noga ...

...зана [[Кирхгоф, Густав|Густавом Кирхгофом]] в 1847 году; мотивировкой этой теоремы послужили расчёты [[Электрическая цепь|электрических цепей]].<ref>{{статья| Из матричной теоремы выводится ...

...math>v</math> вершинами, не содержащий подграфа, [[Словарь терминов теории графов#И|изоморфного]] <math>K_n</math>. Среди всех графов на <math>v</math> вершинах, не содержащих подграфа <math>K_n</math>, максим ...

...одмножестве существует ребро из <math>M</math>, которое [[Глоссарий теории графов# Инцидентность|инцидентно]] этой вершине). ...асное), <math>M_2</math> (зелёное) и <math>M</math> (синее) из утверждения теоремы. Паросочетание <math>M_1</math> насыщает множество <math>X_1 = \{x_1, x_2, ...

...йственностью) с [[Раскраска графов|раскраской]] [[Планарный граф|планарных графов]]. ...о нарисовать на плоскости), их изучение можно рассматривать как расширение теории раскраски на непланарные графы. ...

...ается специальный вид [[Треугольный граф|треугольных]] [[Граф (математика)|графов]], которые используются при исследовании [[Рёберная раскраска|рёберной раск ...ответственно. Этот мультиграф имеет максимальную [[Степень вершины (теория графов)|степень]] <math>n</math>. Его кратность (максимальное число рёбер, имеющих ...

Вполне унимодулярные матрицы играют важную роль в теории [[Целочисленное программирование|целочисленного линейного программирования] === Теоремы === ...

...}} и изучающую [[Инвариант графа|инварианты графов]].{{переход|#Инварианты графов}} ...тве простого примера, [[Связный граф|связный]] граф с [[Расстояние (теория графов)|диаметром]] <math>D</math> будет иметь по меньшей мере <math>D+1</math> ра ...

...ин Брайант, Даниэль Хорсли и Уильям Петтерссон опубликовали доказательство теоремы{{sfn|Bryant, Horsley, Pettersson|2014}}. ...ала с общим числом рёбер в графе. Алспах высказал гипотезу, что для полных графов эти два необходимых условия являются достаточными — если <math>n</math> неч ...

...сло]] 3, [[Рёберная раскраска|хроматический индекс]] 3, [[Глоссарий теории графов|число независимости]] равно 5; * Граф Фрухта — один из минимальных [[Кубический граф|кубических графов]], имеющих единственный [[Автоморфизм графа|автоморфизм]] — тождественность ...

...е возможное число рёбер для графов с n вершинами без (r+1)-[[Клика (теория графов)|клик]]. На рисунке представлен граф T(13,4).]] ...Экстремальность может относиться к различным [[Инвариант графа|инвариантам графов]], таким как порядок, размер или обхват. В более абстрактном смысле теория ...

...рованный граф имеет чётное число вершин нечётных [[Степень вершины (теория графов)|степеней]]. Название происходит от известной математической задачи: необхо ...тах Кёнигсберга]] (1736), положившем начало исследованиям в области теории графов. ...

...ого''', или '''теорема Куратовского''', — теорема в [[теория графов|теории графов]], дающая необходимое и достаточное условие [[планарный граф|планарности гр Граф <math>G'</math> называется ''[[Гомеоморфизм графов#Подразделение и исключение|подразбиением]]'' графа <math> G </math>, если < ...

...орема]] в [[Теория Рамсея|теории Рамсея]], частный случай [[Теорема Рамсея|теоремы Рамсея]]. ...ательство|Доказательство]] можно провести с помощью графа, записав условие теоремы именно в этом виде. ...

[[Файл:Clique-sum.svg|thumb|300px|Сумма по клике двух планарных графов и графа Вагнера. В результате получаем граф без ''K''₅.]] ...образовать сумму по кликам и сумму по <math>k</math>-кликам более чем двух графов путём повторения операции суммы. ...

...топологическая теория графов]], изучающая [[вложение]] [[Граф (математика)|графов]] в [[поверхность|поверхности]], даёт отрицательный ответ на вопрос о возмо ...го факта, установленного Куратовским — [[Теорема Понтрягина — Куратовского|теоремы Куратовского]]; в русскоязычной литературе утверждается, что доказательство ...