Teoria grafów - TGR 2020L
Zagadnienia egzaminacyjne
- Definicje: grafu, grafu prostego, grafu pełnego, podgrafu,
dopełnienia grafu, podgrafów indukowanych.
- Izomorfizm grafów.
- Macierze incydencji i przylegania.
- Podaj i udowodnij twierdzenie o sumie stopni wierzchołków grafu.
- Pojęcia spaceru, segmentu spaceru, szlaku, ścieżki, domkniętego
szlaku, obchodu, cyklu.
- Składowe spójności grafu. Podaj i udowodnij twierdzenie o oszacowaniach
liczby krawędzi.
- Podaj i udowodnij warunek konieczny i dostateczny na to by graf był grafem
dwudzielnym.
- Definicje lasu i drzewa. Podaj i udowodnij twierdzenia o liczbie krawędzi drzewa
i lasu.
- Krawędzie cięcia grafu. Podaj i udowodnij warunki konieczne i dostateczne.
- Podaj określenie drzewa (lasu) za pomocą pojęcia krawędzi cięcia i udowodnij odpowiednie twierdzenie.
- Jakie grafy zawierają rozpięte drzewo? Udowodnij odpowiednie twierdzenie.
- Związek między cyklami i drzewami rozpiętymi. Podaj i udowodnij odpowiedni fakt.
- Liczba rozpiętych drzew danego grafu. Dowód wzoru rekurencyjnego.
- Wzór Cayleya i kod Prüfera.
- Spójność wierzchołkowa i krawędziowa.
- Zależności między spójnością wierzchołkową, spójnością krawędziową i minimalnym stopniem. Podaj i udowodnij
odpowiednie twierdzenie.
- Podaj i udowodnij twierdzenie Whitney'a o grafie 2-spójnym i podaj jego uogólnienia
(podaj twierdzenia Mengera)
- Podaj i udowodnij warunek konieczny i dostateczny na to by graf był grafem Eulera.
- Podaj i udowodnij warunek konieczny i dostateczny na to by graf był grafem półeulerowskim.
- Podaj i udowodnij warunek konieczny na to by graf był grafem Hamiltona.
- Podaj i udowodnij warunek konieczny na to by graf był grafem półhamiltonowskim.
- Podaj i udowodnij warunki dostateczne na to, by graf był grafem Hamiltona.
- Pojęcie skojarzenia grafu, k-faktora i k-faktoryzowalności.
- Podaj i udowodnij twierdzenie Berge'a o skojarzeniu największym i ścieżkach
M-zasilających .
- Podaj i udowodnij twierdzenie Halla.
- Podaj i udowodnij twierdzenie o małżeństwach i wniosek o 1-faktoryzacji.
- Związek między pokryciem i skojarzeniem danego grafu. Podaj i udowodnij odpowiednie twierdzenie.
- Podaj i udowodnij twierdzenie Königa.
- Podaj twierdzenie Tutte'a o skojarzeniu doskonałym. Podaj szkic dowodu.
- Podaj związki między zbiorami niezależnymi i pokryciami wierzchołkowymi.
- Podaj związki między skojarzeniami a pokryciami krawędziowymi.
- Podaj i udowodnij twierdzenie Gallai.
- Podaj i udowodnij twierdzenie Turana.
- Podaj i udowodnij twierdzenie o oszacowaniu górnym liczb Ramseya.
- Podaj i udowodnij twierdzenie o oszacowaniu dolnym liczb Ramseya.
- Kolorowanie wierzchołków grafu. Podaj i udowodnij twierdzenie o minimalnym stopniu grafu k-krytycznego.
- Podaj i udowodnij oszacowanie górne na liczbę chromatyczną grafu. Podaj twierdzenie Brooksa.
- Kolorowanie krawędzi grafu. Podaj twierdzenie Vizinga.
- Podaj i udowodnij twierdzenie o indeksie chromatycznym grafu dwudzielnego (podaj odpowiednie pojęcia i lematy).
- Grafy planarne, grafy płaskie. Grafy dualne grafów płaskich. Podaj twierdzenie Kuratowskiego.
- Podaj i udowodnij wzór Eulera.
- Podaj i udowodnij wnioski ze wzoru Eulera o oszacowaniach na liczbę krawędzi.
- Podaj i udowodnij wniosek ze wzoru Eulera o minimalnym stopniu grafu planarnego.
- Udowodnij, że grafy Kuratowskiego nie są planarne.
- Podaj i udowodnij twierdzenie o kolorowaniu mapy dwoma kolorami.
- Podaj i udowodnij twierdzenie o kolorowaniu map sześciennych trzema kolorami.
- Podaj i udowodnij fakt o kolorowaniu mapy sześcioma kolorami.
- Podaj i udowodnij twierdzenie o kolorowaniu mapy pięcioma kolorami.
- Podaj twierdzenie o liczbie chromatycznej grafów planarnych i odpowiednie równoważne mu twierdzenia.
Uwaga: Sformułowanie
"Podaj i udowodnij twierdzenie A" oznacza, że powinni Państwo znać to twierdzenie
i jego dowód w zakresie, w którym został podany na wykładzie.
Nieco inne znaczenie ma zwrot "podaj twierdzenie A"; w tym przypadku wymagał
będę sformułowania twierdzenia i zrozumienia co ono oznacza
(ewentualnie omówienia niektórych jego zastosowań).
Uwagi, pytania:
Data ostatniej modyfikacji: 3.02.2020 r.