summaryrefslogtreecommitdiff
path: root/main.c
diff options
context:
space:
mode:
Diffstat (limited to 'main.c')
-rw-r--r--main.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/main.c b/main.c
index febe6a5..549a406 100644
--- a/main.c
+++ b/main.c
@@ -95,8 +95,9 @@ int main(int argc, char **argv) {
printf("Max clique: "); dump_set(max_clique);
} else if (algo == 2) {
set k = full_set(g->N);
- color_subgraph(g, k, 1);
+ int clique_upper_bound = color_subgraph(g, k, 0);
delete_set(k);
+ printf("Upper bound on max clique size: %d\n", clique_upper_bound);
set max_clique = empty_set(g->N);
set init_c = full_set(g->N);