Skip to content
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

Add irreducible infeasibility set (IIS) calculation #1792

Merged
merged 40 commits into from
Aug 15, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
40 commits
Select commit Hold shift + click to select a range
73d5b1c
Introduced Highs::getIis, HighsIis.h and HighsIis.cpp
jajhall Jun 3, 2024
cb378e5
dual_ray_value reaches getIisData
jajhall Jun 3, 2024
d18472a
Now extracting and solving the LP corresponding to the dual ray
jajhall Jun 3, 2024
393ff27
Added check/TestIis.cpp
jajhall Jun 3, 2024
72e245a
Inconsistent bounds ISS unit test passes
jajhall Jun 4, 2024
d8e5bde
Added row deletion pass: create HighsIis class
jajhall Jun 5, 2024
e6801e8
Created HighsIis class
jajhall Jun 5, 2024
47cecca
Added proper testing of IIS once found
jajhall Jun 5, 2024
f1700d3
Analysis of galenet ray proves instructive
jajhall Jun 5, 2024
a326146
Many algorithmic changes (simplifications)
jajhall Jun 6, 2024
aefdb60
Many algorithmic changes (simplifications)
jajhall Jun 6, 2024
654fd2a
Where do LPs differ?
jajhall Jun 6, 2024
4ead6e1
Debugging galenet looks hard, so add woodinfe
jajhall Jun 6, 2024
b9849f8
Added report to HighsIis
jajhall Jun 7, 2024
d45a2ad
Added Highs::computeIis() and const HighsIis& Highs::getIis()
jajhall Jun 7, 2024
4e3f5a4
Corrected testIis in check/TestIis.cpp; formatted
jajhall Jun 7, 2024
2dfca52
Added the columns and rows for the elasticity filter - coresponding t…
jajhall Jun 8, 2024
4db5e14
Now formulating and solving the e-LP with helpful names for new cols …
jajhall Jun 9, 2024
6894e89
Time for some re-name of identifiers
jajhall Jun 9, 2024
dac3562
Time for some re-name of identifiers
jajhall Jun 9, 2024
55cc84e
Now refactor so that elasticity filter is performed as part of method…
jajhall Jun 9, 2024
53c23b7
Reproduced elastic filter in computeInfeasibleRows
jajhall Jun 10, 2024
e652b98
Now running elasticity filter in computeInfeasibleRows
jajhall Jun 10, 2024
daf4e79
Merged latest into this branch and resolved conflict
jajhall Jun 12, 2024
053db8e
Much refactoring of IIS calls
jajhall Jun 13, 2024
7a2f366
All unit tests pass
jajhall Jun 13, 2024
8035b46
Merge branch 'latest' into fix-1789
jajhall Jun 13, 2024
b20db8d
Merge branch 'latest' into fix-1789
jajhall Jun 14, 2024
d68df22
printf and other logging conditionally silenced by kIisDevReport
jajhall Jun 14, 2024
392bc07
Now using reciprocal filter
jajhall Jun 14, 2024
f0e03cd
Merge branch 'latest' into fix-1789
jajhall Jun 18, 2024
a463332
Now extracting primal phase 1 duals for sensitivity test
jajhall Jun 18, 2024
73c487e
First steps to compute primal phase 1 dual for sensitivity filter
jajhall Jun 19, 2024
ebaf743
Merge branch 'latest' into fix-1789
jajhall Aug 5, 2024
a785025
Suspended ray options and use_sensitivity_filter = false
jajhall Aug 12, 2024
fa94de1
Highs::computeInfeasibleRows renamed Highs::elasticityFilter and pass…
jajhall Aug 14, 2024
787fe62
Now using elasticityFilterReturn
jajhall Aug 14, 2024
b57e6a2
Really should clear integrality in changeLpIntegrality if all continuous
jajhall Aug 14, 2024
a4eac17
Fixed bug in HighsLp::deleteColsFromVectors
jajhall Aug 14, 2024
c790a20
Passes test2 in lp-feasibility-relaxation
jajhall Aug 15, 2024
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions check/CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -57,6 +57,7 @@ if (NOT FAST_BUILD OR ALL_TESTS)
TestHighsSparseMatrix.cpp
TestHSet.cpp
TestICrash.cpp
TestIis.cpp
TestIpm.cpp
TestIpx.cpp
TestLogging.cpp
Expand Down
Loading
Loading