Project Page Index Table of Contents
  • Simple Graphs
  • Preliminaries
  • Basic facts about graphs
  • Classic result: the sum of degrees equals the cardinal of the edge set
  • Definitions of stable, dominating and irredundant sets
  • Hereditary and superhereditary properties, and maximal/minimal sets
  • Fundamental facts about Domination Theory
  • Weighted sets and parameters
  • Unweighted sets and parameters
  • Examples
Generated by coqdoc and improved with CoqdocJS