Jądro grafu
Z Wikipedii
Jądro grafu jest to podzbiór wierzchołków grafu taki, że:
- Wierzchołki z jądra nie przewyższają się nawzajem (nie posiadają następników)
- Każdy wierzchołek grafu nie należący do jądra jest przewyższany przez co najmniej jeden wierzchołek z jądra.
Każdy wierzchołek izolowany w grafie należy jednocześnie do jądra.