diff options
Diffstat (limited to 'graph-checker/src/theorems/forbidden.rs')
| -rw-r--r-- | graph-checker/src/theorems/forbidden.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/graph-checker/src/theorems/forbidden.rs b/graph-checker/src/theorems/forbidden.rs index 9450b07..925b6f1 100644 --- a/graph-checker/src/theorems/forbidden.rs +++ b/graph-checker/src/theorems/forbidden.rs @@ -82,8 +82,6 @@ pub fn corollary3_5(g: &Graph) -> bool { || (is_2 && claw_free && g.is_free_of(&vec![ag])); } -// 2003 Gould - pub fn theorem85(g: &Graph) -> bool { let claw = Graph { size: 4, |