refactor: complete KColoring rename and SpinGlass graph parameter

- Rename Coloring to KColoring<K, G, W> with const generic K
- Add graph type parameter to SpinGlass<G, W>
- Update all reduction rules and tests
- Regenerate reduction graph with correct variants

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

Author: GiggleLiu

docs/paper/reduction_graph.json

@@ -21,19 +21,6 @@
       },
       "category": "satisfiability"
     },
-    {
-      "name": "Coloring",
-      "variant": {},
-      "category": "graph"
-    },
-    {
-      "name": "Coloring",
-      "variant": {
-        "graph": "SimpleGraph",
-        "weight": "Unweighted"
-      },
-      "category": "graph"
-    },
     {
       "name": "DominatingSet",
       "variant": {},
@@ -86,6 +73,28 @@
       },
       "category": "graph"
     },
+    {
+      "name": "KColoring",
+      "variant": {},
+      "category": "graph"
+    },
+    {
+      "name": "KColoring",
+      "variant": {
+        "graph": "SimpleGraph",
+        "k": "N",
+        "weight": "i32"
+      },
+      "category": "graph"
+    },
+    {
+      "name": "KColoring",
+      "variant": {
+        "graph": "SimpleGraph",
+        "weight": "i32"
+      },
+      "category": "graph"
+    },
     {
       "name": "KSatisfiability",
       "variant": {},
@@ -232,17 +241,17 @@
     },
     {
       "source": {
-        "name": "Coloring",
+        "name": "Factoring",
         "variant": {
           "graph": "SimpleGraph",
           "weight": "Unweighted"
         }
       },
       "target": {
-        "name": "ILP",
+        "name": "CircuitSAT",
         "variant": {
           "graph": "SimpleGraph",
-          "weight": "Unweighted"
+          "weight": "i32"
         }
       },
       "bidirectional": false
@@ -256,20 +265,21 @@
         }
       },
       "target": {
-        "name": "CircuitSAT",
+        "name": "ILP",
         "variant": {
           "graph": "SimpleGraph",
-          "weight": "i32"
+          "weight": "Unweighted"
         }
       },
       "bidirectional": false
     },
     {
       "source": {
-        "name": "Factoring",
+        "name": "KColoring",
         "variant": {
           "graph": "SimpleGraph",
-          "weight": "Unweighted"
+          "k": "N",
+          "weight": "i32"
         }
       },
       "target": {
@@ -307,7 +317,7 @@
         }
       },
       "target": {
-        "name": "Coloring",
+        "name": "DominatingSet",
         "variant": {
           "graph": "SimpleGraph",
           "weight": "Unweighted"
@@ -324,7 +334,7 @@
         }
       },
       "target": {
-        "name": "DominatingSet",
+        "name": "IndependentSet",
         "variant": {
           "graph": "SimpleGraph",
           "weight": "Unweighted"
@@ -341,10 +351,10 @@
         }
       },
       "target": {
-        "name": "IndependentSet",
+        "name": "KColoring",
         "variant": {
           "graph": "SimpleGraph",
-          "weight": "Unweighted"
+          "weight": "i32"
         }
       },
       "bidirectional": false