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

[CP-SAT] more diversity in first solution workers

Browse Source
This commit is contained in:
Laurent Perron
2024-02-21 12:17:46 +01:00
parent eb4e996cf3
commit dd4d124ed5
1 changed files with 12 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
ortools/sat/cp_model_search.cc
View File

@@ -883,14 +883,24 @@ std::vector<SatParameters> GetFirstSolutionParams(
new_params.set_search_branching(SatParameters::RANDOMIZED_SEARCH);
new_params.set_search_random_variable_pool_size(5);
new_params.set_random_seed(ValidSumSeed(base_seed, 2 * num_random + 1));
new_params.set_name("random");
if (num_random % 2 == 1) {
new_params.set_name("random_no_lp");
new_params.set_linearization_level(0);
} else {
new_params.set_name("random");
}
num_random++;
} else { // Random quick restart.
new_params.set_search_branching(
SatParameters::PORTFOLIO_WITH_QUICK_RESTART_SEARCH);
new_params.set_search_random_variable_pool_size(5);
new_params.set_random_seed(ValidSumSeed(base_seed, 2 * num_random_qr));
new_params.set_name("random_quick_restart");
if (num_random_qr % 2 == 1) {
new_params.set_name("random_quick_restart_no_lp");
new_params.set_linearization_level(0);
} else {
new_params.set_name("random_quick_restart");
}
num_random_qr++;
}
result.push_back(new_params);