From 3c6892a0b570fb5f926c7cd867d21463f77c81ab Mon Sep 17 00:00:00 2001
From: Filip Znachor <filip@znachor.cz>
Date: Wed, 23 Aug 2023 14:20:04 +0200
Subject: [PATCH] =?UTF-8?q?P=C5=99id=C3=A1n=C3=AD=2024.=20ot=C3=A1zky=20z?=
 =?UTF-8?q?=20DMA?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .../Otázky ke zkoušce/24. Acyklické grafy.md  | 39 +++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 KMA DMA/Otázky ke zkoušce/24. Acyklické grafy.md

diff --git a/KMA DMA/Otázky ke zkoušce/24. Acyklické grafy.md b/KMA DMA/Otázky ke zkoušce/24. Acyklické grafy.md
new file mode 100644
index 0000000..eeda3ad
--- /dev/null
+++ b/KMA DMA/Otázky ke zkoušce/24. Acyklické grafy.md	
@@ -0,0 +1,39 @@
+# Acyklické grafy
+
+Graf $\vec{G}$ je **acyklický**, jestliže $\vec{G}$ neobsahuje jako podgraf žádný cyklus.
+
+**Sledová relace** $x \sim y$ na vrcholech $x, y \in V(\vec{G})$ orientovaného grafu:
+- reflexivní
+	- $x \sim x$ - sled nulové délky
+- antisymetrická
+	- $x \sim y \wedge y \sim x \implies x = y$ - jednalo by se jinak o cyklus
+- tranzitivní
+	- $x \sim y \wedge y \sim z \implies x \sim z$
+
+**Pozorování**: Každý POSET odpovídá sledové relaci nějakého acykl. orientovaného grafu a naopak. (bijekce)
+- minimální prvky: $d^\text{in}(v) = 0$
+	- pouze z něj hrany vystupují
+- maximální prvky: $d^\text{out}(v) = 0$
+	- pouze do něj hrany vstupují
+
+**Pozorování**: Každý podgraf acyklického grafu je acyklický. (acyklicita je dědičná)
+- $\implies$ každý acyklický graf má (lineární) **topologické uspořádání vrcholů**
+	-  odtrhávání vstupních vrcholů a jejich postupné číslování
+	- dají se očíslovat od $1$ (nemá žádnou vstupující hranu) po $n$ (nemá žádnou vystupující hranu)
+	- $(i, j) \in E(\vec{G}) \implies i < j$
+
+**Pozorování**: Vrcholy acyklického grafu lze lineárně uspořádat.
+
+**Věta**: Vlastnosti acyklického grafu
+- kondenzace $\vec{G}^c$ je acyklický graf
+- $\vec{G}$ je silně souvislý $\iff \vec{G}^c$ má jediný vrchol
+- $\vec{G}$ je acyklický $\iff$ $\vec{G}^c = \vec{G}$
+
+# Nilpotentnost matice
+
+**Tvrzení**: Orientovaný graf $\vec{G}$ je acyklický právě, pokud je nějaká mocina jeho **matice sousednosti** $A(\vec{G})$ nulová.
+- $\exists \, k \geq 0 : A^k(\vec{G}) = 0$
+
+Matice je **nilpotentní**, jestliže je nějaká její mocnina nulová.
+
+Ověříme tím, že sestavíme graf a zjistíme, jestli je acyklický.
\ No newline at end of file