From f7aa97e10a2fbddb76e1893b7deb193ad56e7192 Mon Sep 17 00:00:00 2001 From: Andrew Guschin Date: Sun, 31 Mar 2024 18:36:27 +0500 Subject: latest version --- graph-checker/src/theorems/forbidden.rs | 2 -- 1 file changed, 2 deletions(-) (limited to 'graph-checker/src/theorems/forbidden.rs') 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, -- cgit v1.2.3