always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[GLOP] fix bazel on windows; add parameter to report or not imprecise status; add missing include

Browse Source
This commit is contained in:
Laurent Perron
2021-11-28 12:58:51 +01:00
parent cd739ce7fd
commit 2fff96092a
3 changed files with 17 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
ortools/glop/BUILD
View File

@@ -26,7 +26,6 @@ SAFE_FP_CODE = select({
"//conditions:default": [""],
})
# Revised Simplex LP solver.
cc_library(
name = "pricing",

20
ortools/glop/lp_solver.cc
View File

@@ -397,11 +397,15 @@ ProblemStatus LPSolver::LoadAndVerifySolution(const LinearProgram& lp,
}
if (rhs_perturbation_is_too_large) {
SOLVER_LOG(&logger_, "The needed rhs perturbation is too large !!");
status = ProblemStatus::IMPRECISE;
if (parameters_.change_status_to_imprecise()) {
status = ProblemStatus::IMPRECISE;
}
}
if (cost_perturbation_is_too_large) {
SOLVER_LOG(&logger_, "The needed cost perturbation is too large !!");
status = ProblemStatus::IMPRECISE;
if (parameters_.change_status_to_imprecise()) {
status = ProblemStatus::IMPRECISE;
}
}
}
@@ -413,7 +417,9 @@ ProblemStatus LPSolver::LoadAndVerifySolution(const LinearProgram& lp,
objective_error_ub) {
SOLVER_LOG(&logger_,
"The objective gap of the final solution is too large.");
status = ProblemStatus::IMPRECISE;
if (parameters_.change_status_to_imprecise()) {
status = ProblemStatus::IMPRECISE;
}
}
}
if ((status == ProblemStatus::OPTIMAL ||
@@ -421,14 +427,18 @@ ProblemStatus LPSolver::LoadAndVerifySolution(const LinearProgram& lp,
(primal_residual_is_too_large || primal_infeasibility_is_too_large)) {
SOLVER_LOG(&logger_,
"The primal infeasibility of the final solution is too large.");
status = ProblemStatus::IMPRECISE;
if (parameters_.change_status_to_imprecise()) {
status = ProblemStatus::IMPRECISE;
}
}
if ((status == ProblemStatus::OPTIMAL ||
status == ProblemStatus::DUAL_FEASIBLE) &&
(dual_residual_is_too_large || dual_infeasibility_is_too_large)) {
SOLVER_LOG(&logger_,
"The dual infeasibility of the final solution is too large.");
status = ProblemStatus::IMPRECISE;
if (parameters_.change_status_to_imprecise()) {
status = ProblemStatus::IMPRECISE;
}
}
may_have_multiple_solutions_ =

2
ortools/glop/status.h
View File

@@ -16,6 +16,8 @@
#include <string>
#include "absl/base/port.h"
namespace operations_research {
namespace glop {