* A graph is bipartite [[if and only if]] it does not contain an [[Cycle (graph theory)|odd cycle]]. Theorem 2.1.3, p. 8. Asratian et al. attribute this characterization to a 1916 paper by [[Dénes Kőnig]]. For infinite graphs, this result requires the [[axiom of choice]]. | * A graph is bipartite [[if and only if]] it does not contain an [[Cycle (graph theory)|odd cycle]]. Theorem 2.1.3, p. 8. Asratian et al. attribute this characterization to a 1916 paper by [[Dénes Kőnig]]. For infinite graphs, this result requires the [[axiom of choice]]. |