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/basic.rs | 3 --- graph-checker/src/theorems/forbidden.rs | 2 -- 2 files changed, 5 deletions(-) (limited to 'graph-checker/src/theorems') diff --git a/graph-checker/src/theorems/basic.rs b/graph-checker/src/theorems/basic.rs index 41d5221..94c1f16 100644 --- a/graph-checker/src/theorems/basic.rs +++ b/graph-checker/src/theorems/basic.rs @@ -81,7 +81,6 @@ pub fn bondy_chvatal_hamiltonian_cycle(graph: &Graph) -> Vec { loop { let next = cycle[current]; let val = closure.matrix[current][next]; - // println!("{current} -> {next} = {val}"); if val > m { m = val; end = current; @@ -95,7 +94,6 @@ pub fn bondy_chvatal_hamiltonian_cycle(graph: &Graph) -> Vec { if m == 1 { break; } - // println!("New start: {new_start}, end: {end}, m = {m}"); start = new_start; let mut s = start; @@ -110,7 +108,6 @@ pub fn bondy_chvatal_hamiltonian_cycle(graph: &Graph) -> Vec { } current = next; } - // println!("s = {s}"); let mut new_cycle = Vec::new(); new_cycle.push(start); 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