Advanced and algorithmic graph theory VO

Exam

The lecture will be assessed by an oral examination. The dates for the oral exams will be specified in agreements with the students.

Advanced and algorithmic graph theory (contents)

  1. Connectivity: concepts, parameters and computation
  2. Hamiltonicity: necessary conditions, sufficient conditions, special cases
  3. Planarity and crossing number: concepts and algorithms
  4. Coloring (vertex coloring, edge coloring, list coloring, choosability): concepts and algorithms
  5. Perfect graphs (chordal graphs, comparability graphs, intervall graphs)
  6. Random graphs: expectations, the probabilistic method, threshold functions
  7. Decompositions in graphs (treewidth, pathwidth): concepts and algorithms

1 Connectivity

Graphs and subgraphs

Paths, cycles, walks

Girth and circumference

Degree

Prop 1.1 Every graph G contains a path of length delta(G) and a cycle of length delta(G)+1, provided that delta(G) >= 2.

Remark: There is no clear relationship between the girth g(G) and the minimal degree delta(G).

Distance and diameter

Prop 1.2 The vertices of a connected graph can always be enumerated if ... (check this)

Connected component

https://en.wikipedia.org/wiki/Component_(graph_theory)

Separation and connectivity

Let A, B in V, A intersection B = Ø, and X subset of V union E

A graph is k-connected if |G| > k and G-X is connected for all X in V with |X| < k.

The connectivity number kappa(G) is the largest integer k such that G is k-connected.

Definition 9.2: The connectivity number κ(G) is defined as the minimum number of vertices whose removal from G results in a disconnected graph or in the trivial graph (=a single vertex). A graph G is said to be k-connected if κ(G) ≥ k.
from https://win.uantwerpen.be/~vanhoudt/graph/connectivity.pdf

Remark: This also applies to edge-connectivity.

Special cases:

If |G| > 1 and G - F is connected for all F in E(G) with |F| < L, we say G is L-edge-connected.

The edge-connectivity number is the largest integer L < Z_F such that G is L-edge-connected. (denoted lambda(G) i think)

Prop 1.3. If |G| > 1 (e.i. non-trivial), then kappa(G) <= lambda(G) <= delta(G).