Flow cover cuts #2518

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open

Opt-Mucca wants to merge 64 commits into latest from flow-cover-cuts

check/TestCallbacks.cpp

-Original file line number
+Diff line change
@@ Expand Up @@
       HighsStatus status = highs.run();
       REQUIRE(status == HighsStatus::kWarning);
       REQUIRE(highs.getModelStatus() == HighsModelStatus::kInterrupt);
-      REQUIRE(highs.getInfo().objective_function_value > egout_optimal_objective);
+      REQUIRE(highs.getInfo().objective_function_value >= egout_optimal_objective);
       highs.resetGlobalScheduler(true);
     }
@@ Expand Down @@

check/TestMipSolver.cpp

-Original file line number
+Diff line change
@@ Expand Up @@
     TEST_CASE("MIP-objective-target", "[highs_test_mip_solver]") {
       const double egout_optimal_objective = 568.1007;
-      const double egout_objective_target = 610;
+      const double egout_objective_target = 680;
       std::string filename = std::string(HIGHS_DIR) + "/check/instances/egout.mps";
       Highs highs;
       highs.setOptionValue("output_flag", dev_run);
@@ Expand Down @@

highs/lp_data/HighsOptions.h

-Original file line number
+Diff line change
@@ Expand Up / @@ -480,6 +480,7 @@ struct HighsOptionsStruct { @@
       bool mip_heuristic_run_root_reduced_cost;
       bool mip_heuristic_run_zi_round;
       bool mip_heuristic_run_shifting;
+      bool mip_cut_flow_cover;
       double mip_min_logging_interval;
       std::string mip_lp_solver;
       std::string mip_ipm_solver;
@@ Expand Down Expand Up / @@ -638,6 +639,7 @@ struct HighsOptionsStruct { @@
             mip_heuristic_run_root_reduced_cost(false),
             mip_heuristic_run_zi_round(false),
             mip_heuristic_run_shifting(false),
+            mip_cut_flow_cover(false),
             mip_min_logging_interval(0.0),
             mip_lp_solver(""),
             mip_ipm_solver(""),
@@ Expand Down Expand Up / @@ -1217,6 +1219,11 @@ class HighsOptions : public HighsOptionsStruct { @@
                                            &mip_heuristic_run_shifting, false);
         records.push_back(record_bool);
+        record_bool =
+            new OptionRecordBool("mip_cut_flow_cover", "Enable flow cover cuts",
+                                 advanced, &mip_cut_flow_cover, true);
+        records.push_back(record_bool);
         record_bool = new OptionRecordBool(
             "mip_allow_cut_separation_at_nodes",
             "Whether cut separation at nodes is permitted", advanced,
@@ Expand Down @@

Provide feedback