# Category:Theorems in graph theory

Here is a list of articles in the category **Theorems in graph theory** of the Computing portal that unifies foundations of mathematics and computations using computers.

## Pages in category "Theorems in graph theory"

The following 54 pages are in this category, out of 54 total.

### 2

- 2-factor theorem
*(computing)*

### A

- Alspach's conjecture
*(computing)*

### B

- Balinski's theorem
*(computing)* - BEST theorem
*(computing)* - Brooks' theorem
*(computing)*

### C

- Cederbaum's maximum flow theorem
*(computing)* - Circle packing theorem
*(computing)*

### D

- De Bruijn–Erdős theorem (graph theory)
*(computing)*

### E

- Erdős–Burr conjecture
*(computing)* - Erdős–Gallai theorem
*(computing)* - Erdős–Pósa theorem
*(computing)* - Erdős–Stone theorem
*(computing)* - Even circuit theorem
*(computing)*

### F

- Fáry's theorem
*(computing)* - Five color theorem
*(computing)* - Fleischner's theorem
*(computing)* - Four color theorem
*(computing)* - Frucht's theorem
*(computing)* - Fulkerson–Chen–Anstee theorem
*(computing)*

### G

- Gale–Ryser theorem
*(computing)* - Gallai–Hasse–Roy–Vitaver theorem
*(computing)* - Graph structure theorem
*(computing)* - Grinberg's theorem
*(computing)* - Grötzsch's theorem
*(computing)*

### H

- Hall's marriage theorem
*(computing)* - Hall-type theorems for hypergraphs
*(computing)* - Heawood conjecture
*(computing)*

### K

- Kirchhoff's theorem
*(computing)* - König's lemma
*(computing)* - Kőnig's lemma
*(computing)* - Kőnig's theorem (graph theory)
*(computing)* - Kotzig's theorem
*(computing)* - Kuratowski's theorem
*(computing)*

### M

- Max-flow min-cut theorem
*(computing)* - Menger's theorem
*(computing)*

### O

- Ore's theorem
*(computing)*

### P

- Perfect graph theorem
*(computing)* - Petersen's theorem
*(computing)* - Planar separator theorem
*(computing)*

### R

- Ramsey's theorem
*(computing)* - Road coloring theorem
*(computing)* - Robbins' theorem
*(computing)* - Robertson–Seymour theorem
*(computing)*

### S

- Schnyder's theorem
*(computing)* - Sims conjecture
*(computing)* - Steinitz's theorem
*(computing)* - Strong perfect graph theorem
*(computing)* - Symmetric hypergraph theorem
*(computing)* - Szemerédi regularity lemma
*(computing)*

### T

- Turán's theorem
*(computing)* - Tutte theorem
*(computing)*

### V

- Veblen's theorem
*(computing)* - Vizing's theorem
*(computing)*

### W

- Wagner's theorem
*(computing)*