diff options
Diffstat (limited to 'guests')
| -rw-r--r-- | guests/graph_coloring/default_public_input.toml | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/guests/graph_coloring/default_public_input.toml b/guests/graph_coloring/default_public_input.toml new file mode 100644 index 0000000..b240a3a --- /dev/null +++ b/guests/graph_coloring/default_public_input.toml @@ -0,0 +1,27 @@ +graph = [ + [false, false, false, false, true, false, false, true, false, false], + [false, false, false, true, false, false, false, false, false, false], + [false, false, false, false, false, true, false, true, false, true], + [false, true, false, false, true, false, false, false, true, true], + [true, false, false, true, false, false, false, true, false, true], + [false, false, true, false, false, false, false, true, false, false], + [false, false, false, false, false, false, false, false, true, false], + [true, false, true, false, true, true, false, false, true, true], + [false, false, false, true, false, false, true, true, false, false], + [false, false, true, true, true, false, false, true, false, false] +] + +colors = 3 + +coloring = [ + [0, 2], + [1, 1], + [2, 1], + [3, 0], + [4, 1], + [5, 2], + [6, 0], + [7, 0], + [8, 1], + [9, 2] +] |