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

...нструктивізм (математика)|конструктивній математиці]] і [[Теорія доведення|теорії доведень]]. ...нченний (тобто кожна його вершина має скінченний [[Степінь вершини (теорія графів)|степінь]]) [[зв'язний граф]]. Тоді <math>\Gamma</math> містить нескінченни ...

У [[теорія графів|теорії графів]], '''теорема Турана'''&nbsp;— це результат щодо числа ребер у [[Граф (мате ...що граф Турана містить найбільше число ребер у класі всіх ''n''-вершинних графів, що не містять ''K''_''r''+1. ...

...торика|комбінаторики]], [[теорія графів|теорії графів]] та [[теорія множин|теорії множин]]. [[Категорія:Теореми теорії графів|Ремзі]] ...

...еорія графів|теорії графів]], лема Берже стверджує, що [[парування (теорія графів)|парування]] <math>M</math> є найбільшим тоді і тільки тоді, якщо в <math>G # Парний [[Цикл (теорія графів)|цикл]] чиї ребра чергуються між <math>M</math> і <math>M'.</math> ...

...;— угорський [[математик]], засновник [[Теорія графів|екстремальної теорії графів]]. [[Академік]] [[Угорська АН|Угорської АН]] ([[1953]], [[Член-кореспондент У [[1934]] розробив Сито Турана і дав новий простий доказ теореми Харді&nbsp;— Рамануджана про кількість різних простих дільників числа n. ...

...ома способами, зокрема за допомогою мови [[теорія графів|теорії графів]] і теорії трансверсалів. === Твердження у теорії графів === ...

В [[Теорія графів|теорії графів]] '''Графом Фрухта''' називається 3-[[регулярний граф]] з 12 вершинами і 18 ...ндекс|хроматичним індексом]] 3, радіусом 3, діаметром 4 і [[Обхват (теорія графів)|обхватом]] 3. Як і всі графи Халіна, граф Фрухта є [[Планарний граф|планар ...

...ершини<ref name="Трохимчук">{{книга|автор=Р.М.&nbsp;Трохимчук|назва=Теорія графів|посилання=http://irbis-nbuv.gov.ua/cgi-bin/irbis_nbuv/cgiirbis_64.exe?Z21ID ...обчислити за допомогою так званої [[матрична теорема про дерева|матричної теореми про дерева]]{{Джерело?}}. ...

Довів [[Густав Роберт Кірхгоф|Густав Кірхгоф]] 1847 року; мотивуванням цієї теореми стали розрахунки [[Електричне коло|електричних кіл]]<ref> {{Стаття|author=K З матричної теореми виводиться: ...

...тю) з [[Колове розфарбовування|розфарбуванням]] [[Планарний граф|планарних графів]]. ...о можна намалювати на площині), їх вивчення можна розглядати як розширення теорії розфарбовування на непланарні графи. ...

...у Даррін Браянт, Даніель Горслі та Вільям Петтерсон опублікували доведення теореми{{Sfn|Bryant, Horsley, Pettersson|2014}}. ...із загальним числом ребер у графі. Алспах висловив гіпотезу, що для повних графів ці дві необхідні умови є достатніми&nbsp;— якщо <math>n</math> непарне (так ...

...теорія_графів)#Пов'язані_поняття|Діаметр графа]] дорівнює 2. [[Автоморфізм графів|Група автоморфізмів]] графа містить 120 елементів і, фактично, є [[Симетрич ...груп}} і вивчає [[Інваріант графа|інваріанти графів]]{{Перехід|#Інваріанти графів}}. ...

...ерджує, що якщо граф містить кілька копій даного [[Словник термінів теорії графів|підграфа]], всі його копії можна виключити видаленням малого числа ребер{{R ...ро видалення гіперграфа можна використати для доведення [[Теорема Семереді|теореми Семереді]] про існування довгих [[Арифметична прогресія|арифметичних прогре ...

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

== Автоморфізми графів == ...на себе, що зберігає суміжність.<ref name="Harary 190">Ф. Харарі ''Теорія графів'' стр. 190</ref> Множина таких автоморфізмів утворює '''вершинну групу граф ...

В [[теорія графів|теорії графів]], '''ізоморфізмом [[граф (математика)|графів]]''' ''G'' і ''H'' є [[бієкція]] між множинами вершин ''G'' і ''H'' ...Однак, поняття ізоморфізму може бути застосоване до всіх інших різновидів графів. доданням вимог зі збереження відповідних додаткових елементів структури: с ...

...у морфізмів не залежатиме від вибору шляху. Крім власне [[Теорія категорій|теорії категорій]], комутативні діаграми незамінні в [[Алгебрична геометрія|алгебр У прикладі, що ілюструє [[Теореми про ізоморфізми|першу теорему про ізоморфізми]], комутативність діаграми зн ...

...[[Теорія графів|теорії графів]]&nbsp;— довжина найкоротшого [[Цикл (теорія графів)|циклу]], що міститься в заданому графі<ref name="Diestel">R. Diestel, ''Gr ...а меншим обхватом <math>g</math> відомі як <math>g</math>-[[Клітка (теорія графів)|клітка]] (або як (3,<math>g</math>)-клітка). [[Граф Петерсена]]&nbsp;— це ...

...а існування [[Парування (теорія графів)|досконалого парування]] у [[Теорія графів|графі]]. Названа на честь [[Вільям Татт|Вільяма Томаса Татта]]. ...а Холла|теорему Холла про одруження]] для [[Двочастковий граф|двочасткових графів]] і є окремим випадком [[Формула Татта — Бержа|формули Татта&nbsp;— Бержа]] ...

Ізоморфізм можна формалізувати за допомогою [[Теорія категорій|теорії категорій]]. Морфізм <math>f\colon X\to Y</math> у категорії є ізоморфізмом === Теореми про ізоморфізм === ...