Files

174 lines
6.5 KiB
C++
Raw Permalink Normal View History

2025-01-10 11:35:44 +01:00
// Copyright 2010-2025 Google LLC
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
2019-01-10 10:43:43 +01:00
// [START program]
// [START import]
2021-03-01 11:45:21 +01:00
#include <cstdint>
#include <cstdlib>
2022-07-22 14:35:40 +02:00
#include <sstream>
2018-11-22 13:15:13 +01:00
#include <vector>
#include "ortools/base/logging.h"
#include "ortools/constraint_solver/constraint_solver.h"
#include "ortools/constraint_solver/routing.h"
2019-01-10 10:43:43 +01:00
#include "ortools/constraint_solver/routing_enums.pb.h"
dotnet: Remove reference to dotnet release command - Currently not implemented... Add abseil patch - Add patches/absl-config.cmake Makefile: Add abseil-cpp on unix - Force abseil-cpp SHA1 to 45221cc note: Just before the PR #136 which break all CMake Makefile: Add abseil-cpp on windows - Force abseil-cpp SHA1 to 45221cc note: Just before the PR #136 which break all CMake CMake: Add abseil-cpp - Force abseil-cpp SHA1 to 45221cc note: Just before the PR #136 which break all CMake port to absl: C++ Part - Fix warning with the use of ABSL_MUST_USE_RESULT > The macro must appear as the very first part of a function declaration or definition: ... Note: past advice was to place the macro after the argument list. src: dependencies/sources/abseil-cpp-master/absl/base/attributes.h:418 - Rename enum after windows clash - Remove non compact table constraints - Change index type from int64 to int in routing library - Fix file_nonport compilation on windows - Fix another naming conflict with windows (NO_ERROR is a macro) - Cleanup hash containers; work on sat internals - Add optional_boolean sub-proto Sync cpp examples with internal code - reenable issue173 after reducing number of loops port to absl: Python Part - Add back cp_model.INT32_MIN|MAX for examples Update Python examples - Add random_tsp.py - Run words_square example - Run magic_square in python tests port to absl: Java Part - Fix compilation of the new routing parameters in java - Protect some code from SWIG parsing Update Java Examples port to absl: .Net Part Update .Net examples work on sat internals; Add C++ CP-SAT CpModelBuilder API; update sample code and recipes to use the new API; sync with internal code Remove VS 2015 in Appveyor-CI - abseil-cpp does not support VS 2015... improve tables upgrade C++ sat examples to use the new API; work on sat internals update license dates rewrite jobshop_ft06_distance.py to use the CP-SAT solver rename last example revert last commit more work on SAT internals fix
2018-10-31 16:18:18 +01:00
#include "ortools/constraint_solver/routing_index_manager.h"
#include "ortools/constraint_solver/routing_parameters.h"
2019-01-10 10:43:43 +01:00
// [END import]
namespace operations_research {
2019-01-10 10:43:43 +01:00
// [START data_model]
struct DataModel {
2021-03-01 11:45:21 +01:00
const std::vector<std::vector<int64_t>> distance_matrix{
2019-02-18 15:27:32 +01:00
{0, 548, 776, 696, 582, 274, 502, 194, 308, 194, 536, 502, 388, 354, 468,
776, 662},
{548, 0, 684, 308, 194, 502, 730, 354, 696, 742, 1084, 594, 480, 674,
1016, 868, 1210},
{776, 684, 0, 992, 878, 502, 274, 810, 468, 742, 400, 1278, 1164, 1130,
788, 1552, 754},
{696, 308, 992, 0, 114, 650, 878, 502, 844, 890, 1232, 514, 628, 822,
1164, 560, 1358},
{582, 194, 878, 114, 0, 536, 764, 388, 730, 776, 1118, 400, 514, 708,
1050, 674, 1244},
{274, 502, 502, 650, 536, 0, 228, 308, 194, 240, 582, 776, 662, 628, 514,
1050, 708},
{502, 730, 274, 878, 764, 228, 0, 536, 194, 468, 354, 1004, 890, 856, 514,
1278, 480},
{194, 354, 810, 502, 388, 308, 536, 0, 342, 388, 730, 468, 354, 320, 662,
742, 856},
{308, 696, 468, 844, 730, 194, 194, 342, 0, 274, 388, 810, 696, 662, 320,
1084, 514},
{194, 742, 742, 890, 776, 240, 468, 388, 274, 0, 342, 536, 422, 388, 274,
810, 468},
{536, 1084, 400, 1232, 1118, 582, 354, 730, 388, 342, 0, 878, 764, 730,
388, 1152, 354},
{502, 594, 1278, 514, 400, 776, 1004, 468, 810, 536, 878, 0, 114, 308,
650, 274, 844},
{388, 480, 1164, 628, 514, 662, 890, 354, 696, 422, 764, 114, 0, 194, 536,
388, 730},
{354, 674, 1130, 822, 708, 628, 856, 320, 662, 388, 730, 308, 194, 0, 342,
422, 536},
{468, 1016, 788, 1164, 1050, 514, 514, 662, 320, 274, 388, 650, 536, 342,
0, 764, 194},
{776, 868, 1552, 560, 674, 1050, 1278, 742, 1084, 810, 1152, 274, 388,
422, 764, 0, 798},
{662, 1210, 754, 1358, 1244, 708, 480, 856, 514, 468, 354, 844, 730, 536,
194, 798, 0},
};
const int num_vehicles = 4;
const RoutingIndexManager::NodeIndex depot{0};
};
2019-01-10 10:43:43 +01:00
// [END data_model]
// [START solution_printer]
//! @brief Print the solution.
//! @param[in] data Data of the problem.
//! @param[in] manager Index manager used.
//! @param[in] routing Routing solver used.
//! @param[in] solution Solution found by the solver.
void PrintSolution(const RoutingIndexManager& manager,
2019-01-10 10:43:43 +01:00
const RoutingModel& routing, const Assignment& solution) {
RoutingSearchStatus::Value status = routing.status();
LOG(INFO) << "Status: " << RoutingSearchStatus::Value_Name(status);
if (status != RoutingSearchStatus::ROUTING_OPTIMAL &&
status != RoutingSearchStatus::ROUTING_SUCCESS) {
LOG(ERROR) << "No Solution found!";
return;
}
2019-01-10 10:43:43 +01:00
LOG(INFO) << "Objective: " << solution.ObjectiveValue();
2021-03-01 11:45:21 +01:00
int64_t total_distance{0};
for (int vehicle_id = 0; vehicle_id < manager.num_vehicles(); ++vehicle_id) {
2025-01-29 13:25:34 +01:00
if (!routing.IsVehicleUsed(solution, vehicle_id)) {
continue;
}
2021-03-01 11:45:21 +01:00
int64_t index = routing.Start(vehicle_id);
2019-01-10 10:43:43 +01:00
LOG(INFO) << "Route for Vehicle " << vehicle_id << ":";
2021-03-01 11:45:21 +01:00
int64_t distance{0};
2019-01-10 10:43:43 +01:00
std::stringstream route;
2023-04-03 18:23:32 +02:00
while (!routing.IsEnd(index)) {
2019-01-10 10:43:43 +01:00
route << manager.IndexToNode(index).value() << " -> ";
2023-04-03 18:23:32 +02:00
const int64_t previous_index = index;
2019-01-10 10:43:43 +01:00
index = solution.Value(routing.NextVar(index));
distance += routing.GetArcCostForVehicle(previous_index, index,
2021-03-01 11:45:21 +01:00
int64_t{vehicle_id});
}
2019-01-10 10:43:43 +01:00
LOG(INFO) << route.str() << manager.IndexToNode(index).value();
LOG(INFO) << "Distance of the route: " << distance << "m";
total_distance += distance;
dotnet: Remove reference to dotnet release command - Currently not implemented... Add abseil patch - Add patches/absl-config.cmake Makefile: Add abseil-cpp on unix - Force abseil-cpp SHA1 to 45221cc note: Just before the PR #136 which break all CMake Makefile: Add abseil-cpp on windows - Force abseil-cpp SHA1 to 45221cc note: Just before the PR #136 which break all CMake CMake: Add abseil-cpp - Force abseil-cpp SHA1 to 45221cc note: Just before the PR #136 which break all CMake port to absl: C++ Part - Fix warning with the use of ABSL_MUST_USE_RESULT > The macro must appear as the very first part of a function declaration or definition: ... Note: past advice was to place the macro after the argument list. src: dependencies/sources/abseil-cpp-master/absl/base/attributes.h:418 - Rename enum after windows clash - Remove non compact table constraints - Change index type from int64 to int in routing library - Fix file_nonport compilation on windows - Fix another naming conflict with windows (NO_ERROR is a macro) - Cleanup hash containers; work on sat internals - Add optional_boolean sub-proto Sync cpp examples with internal code - reenable issue173 after reducing number of loops port to absl: Python Part - Add back cp_model.INT32_MIN|MAX for examples Update Python examples - Add random_tsp.py - Run words_square example - Run magic_square in python tests port to absl: Java Part - Fix compilation of the new routing parameters in java - Protect some code from SWIG parsing Update Java Examples port to absl: .Net Part Update .Net examples work on sat internals; Add C++ CP-SAT CpModelBuilder API; update sample code and recipes to use the new API; sync with internal code Remove VS 2015 in Appveyor-CI - abseil-cpp does not support VS 2015... improve tables upgrade C++ sat examples to use the new API; work on sat internals update license dates rewrite jobshop_ft06_distance.py to use the CP-SAT solver rename last example revert last commit more work on SAT internals fix
2018-10-31 16:18:18 +01:00
}
2019-01-10 10:43:43 +01:00
LOG(INFO) << "Total distance of all routes: " << total_distance << "m";
LOG(INFO) << "";
LOG(INFO) << "Advanced usage:";
LOG(INFO) << "Problem solved in " << routing.solver()->wall_time() << "ms";
}
// [END solution_printer]
void Vrp() {
// Instantiate the data problem.
// [START data]
DataModel data;
// [END data]
// Create Routing Index Manager
// [START index_manager]
RoutingIndexManager manager(data.distance_matrix.size(), data.num_vehicles,
data.depot);
// [END index_manager]
// Create Routing Model.
// [START routing_model]
RoutingModel routing(manager);
// [END routing_model]
2019-02-05 15:10:20 +01:00
// Create and register a transit callback.
// [START transit_callback]
2019-01-11 12:03:44 +01:00
const int transit_callback_index = routing.RegisterTransitCallback(
2023-04-03 18:23:32 +02:00
[&data, &manager](const int64_t from_index,
const int64_t to_index) -> int64_t {
2019-01-11 16:49:07 +01:00
// Convert from routing variable Index to distance matrix NodeIndex.
2023-05-24 15:32:06 +02:00
const int from_node = manager.IndexToNode(from_index).value();
const int to_node = manager.IndexToNode(to_index).value();
2019-01-11 16:49:07 +01:00
return data.distance_matrix[from_node][to_node];
2019-01-10 10:43:43 +01:00
});
2019-02-05 15:10:20 +01:00
// [END transit_callback]
// Define cost of each arc.
// [START arc_cost]
2019-01-11 12:03:44 +01:00
routing.SetArcCostEvaluatorOfAllVehicles(transit_callback_index);
2019-01-10 10:43:43 +01:00
// [END arc_cost]
// Setting first solution heuristic.
// [START parameters]
RoutingSearchParameters searchParameters = DefaultRoutingSearchParameters();
searchParameters.set_first_solution_strategy(
FirstSolutionStrategy::PATH_CHEAPEST_ARC);
// [END parameters]
// Solve the problem.
// [START solve]
const Assignment* solution = routing.SolveWithParameters(searchParameters);
// [END solve]
// Print solution on console.
// [START print_solution]
PrintSolution(manager, routing, *solution);
2019-01-10 10:43:43 +01:00
// [END print_solution]
}
} // namespace operations_research
2022-10-24 11:56:09 +02:00
int main(int /*argc*/, char* /*argv*/[]) {
2019-01-10 10:43:43 +01:00
operations_research::Vrp();
return EXIT_SUCCESS;
}
2019-01-10 10:43:43 +01:00
// [END program]