playing with symmetry breaking refs #27

ls-cwi · Apr 25, 2018 · 7a204e7 · 7a204e7
1 parent 8782fa4
commit 7a204e7
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/ILPSolver.cpp b/src/ILPSolver.cpp
@@ -470,6 +470,10 @@ long ILPSolver::solve(const ClusterEditingInstance& inst, ClusterEditingSolution
             M.add(cluster_association >= 1);
         }
 
+
+        //Naive symmetry breaking -> Simply force node with id 0 to be in cluster with id 0
+        M.add(y[0] == 1);
+
         //Even more Constraints:
         /** Those are adapted from Bulhões et al. 2017 (http://dx.doi.org/10.1016/j.dam.2016.10.026)
          *