diff --git a/shared-data/examples/famm_nuvmap_delta_dag_graph_coloring.example.json b/shared-data/examples/famm_nuvmap_delta_dag_graph_coloring.example.json new file mode 100644 index 00000000..11bf6cd4 --- /dev/null +++ b/shared-data/examples/famm_nuvmap_delta_dag_graph_coloring.example.json @@ -0,0 +1,47 @@ +{ + "problem_type": "graph_k_coloring", + "n": 18, + "k": 3, + "projection_level": "frontier", + "max_attempts": 100000, + "edges": [ + [0, 3], + [0, 4], + [0, 7], + [0, 9], + [1, 4], + [1, 5], + [1, 8], + [1, 10], + [2, 5], + [2, 6], + [2, 9], + [2, 11], + [3, 6], + [3, 10], + [3, 12], + [4, 7], + [4, 11], + [4, 13], + [5, 8], + [5, 12], + [5, 14], + [6, 9], + [6, 13], + [6, 15], + [7, 10], + [7, 14], + [7, 16], + [8, 11], + [8, 15], + [8, 17], + [9, 12], + [9, 16], + [10, 13], + [10, 17], + [11, 14], + [12, 15], + [13, 16], + [14, 17] + ] +}