Category:Ore Graphs

From ProofWiki
Jump to navigation Jump to search

This category contains results about Ore Graphs.

Let $G = \struct {V, E}$ be an undirected simple graph.

Then $G$ is an Ore graph if and only if:

the sum of the degrees of every pair of non-adjacent vertices is greater than or equal to the order of $G$.

That is, if and only if:

$\forall u, v \in V: \set {u, v} \notin E \implies \map {\deg_G} u + \map {\deg_G} v \ge \card V$

Pages in category "Ore Graphs"

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