-
Notifications
You must be signed in to change notification settings - Fork 71
Fix initial solution accepted index update in generate_initial() #339
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
base: branch-25.10
Are you sure you want to change the base?
Fix initial solution accepted index update in generate_initial() #339
Conversation
Signed-off-by: SomovMike <[email protected]>
/ok to test 3e70c70 |
Thank you @SomovMike for the PR, one of us will review your PR shortly. |
@@ -865,9 +865,9 @@ struct solve { | |||
temp_pair.first = injection_info.solutions[next_injection]; | |||
if (!p->has_vehicle_fixed_costs()) { | |||
auto injection_it = next_injection; | |||
while (injection_it < injection_info.n_sol && | |||
while (injection_it < injection_info.n_sol-1 && |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks for reporting the bug and submitting the PR!
Could you please add the failing test here https://github.com/NVIDIA/cuopt/blob/branch-25.10/python/cuopt/cuopt/tests/routing/test_initial_solutions.py? Assuming you have the code ready.
Regarding the fix, after the change in your example we would be skipping sol[0] and add try to add it while omitting the target vehicle check.
We should set accepted in the for loop:
while (injection_it < injection_info.n_sol &&
temp_pair.first.sol.get_n_routes() > target_vehicles_) {
injection_info.accepted[injection_it] = 0;
temp_pair.first = injection_info.solutions[injection_it++];
}
And here check that next_injection < injection_info.n_sol
as we could skip all solutions due to vehicle count and try to insert temp.first then write to accepted thus the out of bounds.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Hi @hlinsen, thank you for your patience, and apologies for the delayed response.
Unfortunately, I don’t have a minimal failing test case available, as I encountered the issue on a large instance while working on my own implementation. I hope that’s not a problem, since the issue seems fairly clear from the code itself.
Regarding the fix, I think it depends on how you envision the logic of the algorithm. If the primary objective is to minimize the number of vehicles, and a solution with fewer vehicles has already been found, then it might make sense to skip all initial solutions with more vehicles.
That said, in my opinion, it could still be beneficial to include those initial solutions with more vehicles, since the crossover algorithm might be able to leverage them to generate improved solutions.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
In cuOpt we always assume minimization unless vehicle_fixed_costs
are set or we use a fixed vehicle count in this case it does not change throughout the solve. Before the vehicle skip loop we are explicitly checking if vehicle fixed costs are set so following that logic we would not want to insert these vehicles at all.
🔔 Hi @anandhkb @SomovMike, this pull request has had no activity for 7 days. Please update or let us know if it can be closed. Thank you! If this is an "epic" issue, then please add the "epic" label to this issue. |
1 similar comment
🔔 Hi @anandhkb @SomovMike, this pull request has had no activity for 7 days. Please update or let us know if it can be closed. Thank you! If this is an "epic" issue, then please add the "epic" label to this issue. |
@SomovMike May I request you to address review comment from @hlinsen |
Description
Fix index handling when selecting initial solutions in
generate_initial()
.injection_it < n_sol
toinjection_it < n_sol - 1
to prevent advancing past the last valid index.++injection_it
) when assigning totemp_pair.first
, ensuring the selected solution andnext_injection
remain aligned.After the loop, next_injection now points to the same candidate stored in
temp_pair.first
, preventing incorrect updates to accepted.Issue
Closes #338