diff options
| author | Andrew Guschin <guschin@altlinux.org> | 2024-03-31 18:36:27 +0500 |
|---|---|---|
| committer | Andrew Guschin <guschin@altlinux.org> | 2024-03-31 18:36:27 +0500 |
| commit | f7aa97e10a2fbddb76e1893b7deb193ad56e7192 (patch) | |
| tree | dab29cd1166edee5c096bdfc45d1c6ab509107f8 /graph-checker/src/theorems/forbidden.rs | |
| parent | b294692a8251eb9c4ea8f3e78651d88fc6efd792 (diff) | |
latest version
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, |