Difference between revisions of "Nearly Complete Graph"
Owen Vaughan (talk | contribs) |
Owen Vaughan (talk | contribs) |
||
(4 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
− | A graph is a collection of vertices and edges. A graph is complete if there is an edge connecting every vertex to every other vertex. A graph is nearly complete if it can be obtained by removing a small number of edges from a complete graph. | + | A graph is a collection of vertices and edges. A graph is complete if there is an edge connecting every vertex to every other vertex. A graph is nearly complete if it can be obtained by removing a small number of edges from a complete graph relative to the size of the graph. |
+ | == Mathematical Definition == | ||
− | + | Consider a graph with vertices <math>v</math>, edges <math>e</math>, and genus <math>g</math>. | |
− | + | Calculate | |
− | + | :<math> X = (e - 3v + 6)/6 </math>. | |
− | + | Let <math>\lceil X \rceil</math> denote the smallest integer greater than or equal to <math>X</math>. All graphs satisfy Euler's lower bound | |
− | + | :<math> g \geq \lceil X \rceil</math> . | |
− | + | For complete graphs <math> g =\lceil X \rceil</math> and the bound is saturated. | |
+ | One may start with a complete graph and remove <math>p</math> edges such that the remaining graph satisfies | ||
+ | * Euler's lower bound is saturated <math> g =\lceil X \rceil</math> | ||
+ | * The graph is connected | ||
+ | Let <math> NC(n) </math> denote the maximum number of possible edge removals from the complete graph <math>K_n</math> such that the above two properties hold no matter which edges are removed. A graph with <math>n</math> vertices is ''nearly complete'' if it can be obtained by removing <math> p \leq NC(n) </math> edges from the complete graph <math>K_n</math>. | ||
− | == | + | ==References== |
− | * [https://link.springer.com/article/10.1007/BF01836527 The genus of nearly complete graphs-case 6, Jonathan L. Gross, 1975] | + | * [https://link.springer.com/article/10.1007/BF01836527 ''The genus of nearly complete graphs-case 6'', Jonathan L. Gross, Aeq. Math. 13, 243–249 (1975) doi:10.1007/BF01836527] |
Latest revision as of 13:19, 3 May 2020
A graph is a collection of vertices and edges. A graph is complete if there is an edge connecting every vertex to every other vertex. A graph is nearly complete if it can be obtained by removing a small number of edges from a complete graph relative to the size of the graph.
Mathematical Definition
Consider a graph with vertices , edges , and genus .
Calculate
- .
Let denote the smallest integer greater than or equal to . All graphs satisfy Euler's lower bound
- .
For complete graphs and the bound is saturated.
One may start with a complete graph and remove edges such that the remaining graph satisfies
- Euler's lower bound is saturated
- The graph is connected
Let denote the maximum number of possible edge removals from the complete graph such that the above two properties hold no matter which edges are removed. A graph with vertices is nearly complete if it can be obtained by removing edges from the complete graph .