|
|
|
|
@ -1,24 +1,42 @@
|
|
|
|
|
#include <stdio.h>
|
|
|
|
|
#include <stdlib.h>
|
|
|
|
|
#include <float.h>
|
|
|
|
|
#include <assert.h>
|
|
|
|
|
#include <getopt.h>
|
|
|
|
|
#include "gtsp.h"
|
|
|
|
|
#include "geometry.h"
|
|
|
|
|
#include "util.h"
|
|
|
|
|
#include "flow.h"
|
|
|
|
|
#include "branch_and_cut.h"
|
|
|
|
|
|
|
|
|
|
static double *OPTIMAL_X = 0;
|
|
|
|
|
|
|
|
|
|
int GTSP_init_data(struct GTSP *data)
|
|
|
|
|
{
|
|
|
|
|
int rval = 0;
|
|
|
|
|
|
|
|
|
|
data->clusters = 0;
|
|
|
|
|
data->cluster_count = 0;
|
|
|
|
|
data->x_coordinates = 0;
|
|
|
|
|
data->y_coordinates = 0;
|
|
|
|
|
|
|
|
|
|
data->graph = (struct Graph *) malloc(sizeof(struct Graph));
|
|
|
|
|
abort_if(!data->graph, "could not allocate data->graph");
|
|
|
|
|
|
|
|
|
|
graph_init(data->graph);
|
|
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
|
CLEANUP:
|
|
|
|
|
return rval;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
void GTSP_free(struct GTSP *data)
|
|
|
|
|
{
|
|
|
|
|
if (!data) return;
|
|
|
|
|
if (data->graph) graph_free(data->graph);
|
|
|
|
|
if (data->graph)
|
|
|
|
|
{
|
|
|
|
|
graph_free(data->graph);
|
|
|
|
|
free(data->graph);
|
|
|
|
|
}
|
|
|
|
|
if (data->clusters) free(data->clusters);
|
|
|
|
|
if (data->x_coordinates) free(data->x_coordinates);
|
|
|
|
|
if (data->y_coordinates) free(data->y_coordinates);
|
|
|
|
|
@ -78,6 +96,9 @@ int GTSP_create_random_problem(
|
|
|
|
|
rval = graph_build(node_count, edge_count, edges, 0, graph);
|
|
|
|
|
abort_if(rval, "graph_build failed");
|
|
|
|
|
|
|
|
|
|
for (int i = 0; i < edge_count; i++)
|
|
|
|
|
graph->edges[i].weight = weights[i];
|
|
|
|
|
|
|
|
|
|
data->graph = graph;
|
|
|
|
|
data->clusters = clusters;
|
|
|
|
|
data->cluster_count = cluster_count;
|
|
|
|
|
@ -145,7 +166,271 @@ int GTSP_init_lp(struct LP *lp, struct GTSP *data)
|
|
|
|
|
return rval;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
int GTSP_write_data(struct GTSP *data, char *filename)
|
|
|
|
|
int GTSP_add_subtour_elimination_cut(
|
|
|
|
|
struct LP *lp,
|
|
|
|
|
struct Graph *graph,
|
|
|
|
|
struct Node *from,
|
|
|
|
|
struct Node *to,
|
|
|
|
|
struct Edge **cut_edges,
|
|
|
|
|
int cut_edges_count)
|
|
|
|
|
{
|
|
|
|
|
int rval = 0;
|
|
|
|
|
|
|
|
|
|
char sense = 'G';
|
|
|
|
|
double rhs = -2.0;
|
|
|
|
|
int newnz = cut_edges_count + 2;
|
|
|
|
|
|
|
|
|
|
int rmatbeg = 0;
|
|
|
|
|
int *rmatind = 0;
|
|
|
|
|
double *rmatval = 0;
|
|
|
|
|
|
|
|
|
|
rmatind = (int *) malloc(newnz * sizeof(int));
|
|
|
|
|
abort_if(!rmatind, "could not allocate rmatind");
|
|
|
|
|
|
|
|
|
|
rmatval = (double *) malloc(newnz * sizeof(double));
|
|
|
|
|
abort_if(!rmatval, "could not allocate rmatval");
|
|
|
|
|
|
|
|
|
|
for (int i = 0; i < cut_edges_count; i++)
|
|
|
|
|
{
|
|
|
|
|
rmatind[i] = cut_edges[i]->index + graph->node_count;
|
|
|
|
|
rmatval[i] = 1.0;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
rmatind[cut_edges_count] = from->index;
|
|
|
|
|
rmatval[cut_edges_count] = -2.0;
|
|
|
|
|
|
|
|
|
|
rmatind[cut_edges_count + 1] = to->index;
|
|
|
|
|
rmatval[cut_edges_count + 1] = -2.0;
|
|
|
|
|
|
|
|
|
|
log_debug("Generated cut:\n");
|
|
|
|
|
for (int i = 0; i < newnz; i++)
|
|
|
|
|
log_debug("%8.2f x%d\n", rmatval[i], rmatind[i]);
|
|
|
|
|
log_debug(" %c %.2lf\n", sense, rhs);
|
|
|
|
|
|
|
|
|
|
if (OPTIMAL_X)
|
|
|
|
|
{
|
|
|
|
|
double sum = 0;
|
|
|
|
|
for (int i = 0; i < newnz; i++)
|
|
|
|
|
sum += rmatval[i] * OPTIMAL_X[rmatind[i]];
|
|
|
|
|
abort_if(sum <= rhs - LP_EPSILON, "cannot add invalid cut");
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
rval = LP_add_rows(lp, 1, newnz, &rhs, &sense, &rmatbeg, rmatind, rmatval);
|
|
|
|
|
abort_if(rval, "LP_add_rows failed");
|
|
|
|
|
|
|
|
|
|
CLEANUP:
|
|
|
|
|
if (rmatval) free(rmatval);
|
|
|
|
|
if (rmatind) free(rmatind);
|
|
|
|
|
return rval;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
int GTSP_find_exact_subtour_elimination_cuts(
|
|
|
|
|
struct LP *lp, struct GTSP *data, int *added_cuts_count)
|
|
|
|
|
{
|
|
|
|
|
int rval = 0;
|
|
|
|
|
|
|
|
|
|
int *clusters = data->clusters;
|
|
|
|
|
|
|
|
|
|
double *x = 0;
|
|
|
|
|
double *capacities = 0;
|
|
|
|
|
|
|
|
|
|
double *flow = 0;
|
|
|
|
|
struct Edge **cut_edges = 0;
|
|
|
|
|
|
|
|
|
|
int *digraph_edges = 0;
|
|
|
|
|
|
|
|
|
|
struct Graph *graph = data->graph;
|
|
|
|
|
int node_count = graph->node_count;
|
|
|
|
|
|
|
|
|
|
int num_cols = LP_get_num_cols(lp);
|
|
|
|
|
x = (double *) malloc(num_cols * sizeof(double));
|
|
|
|
|
abort_if(!x, "could not allocate x");
|
|
|
|
|
|
|
|
|
|
rval = LP_get_x(lp, x);
|
|
|
|
|
abort_if(rval, "LP_get_x failed");
|
|
|
|
|
|
|
|
|
|
struct Graph digraph;
|
|
|
|
|
graph_init(&digraph);
|
|
|
|
|
|
|
|
|
|
digraph_edges = (int *) malloc(8 * graph->edge_count * sizeof(int));
|
|
|
|
|
flow = (double *) malloc(4 * graph->edge_count * sizeof(double));
|
|
|
|
|
capacities = (double *) malloc(4 * graph->edge_count * sizeof(double));
|
|
|
|
|
cut_edges =
|
|
|
|
|
(struct Edge **) malloc(
|
|
|
|
|
4 * graph->edge_count * sizeof(struct Edge *));
|
|
|
|
|
|
|
|
|
|
abort_if(!digraph_edges, "could not allocate digraph_edges");
|
|
|
|
|
abort_if(!flow, "could not allocate flow");
|
|
|
|
|
abort_if(!capacities, "could not allocate capacities");
|
|
|
|
|
abort_if(!cut_edges, "could not allocate cut_edges");
|
|
|
|
|
|
|
|
|
|
// Create four directed edges for each edge of the original graph.
|
|
|
|
|
for (int i = 0; i < graph->edge_count; i++)
|
|
|
|
|
{
|
|
|
|
|
assert(node_count + i < num_cols);
|
|
|
|
|
|
|
|
|
|
struct Edge *e = &graph->edges[i];
|
|
|
|
|
int from = e->from->index;
|
|
|
|
|
int to = e->to->index;
|
|
|
|
|
|
|
|
|
|
digraph_edges[8 * i] = from;
|
|
|
|
|
digraph_edges[8 * i + 1] = to;
|
|
|
|
|
capacities[4 * i] = x[node_count + i];
|
|
|
|
|
|
|
|
|
|
digraph_edges[8 * i + 2] = to;
|
|
|
|
|
digraph_edges[8 * i + 3] = from;
|
|
|
|
|
capacities[4 * i + 1] = 0;
|
|
|
|
|
|
|
|
|
|
digraph_edges[8 * i + 4] = to;
|
|
|
|
|
digraph_edges[8 * i + 5] = from;
|
|
|
|
|
capacities[4 * i + 2] = x[node_count + i];
|
|
|
|
|
|
|
|
|
|
digraph_edges[8 * i + 6] = from;
|
|
|
|
|
digraph_edges[8 * i + 7] = to;
|
|
|
|
|
capacities[4 * i + 3] = 0;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
rval = graph_build(node_count, 4 * graph->edge_count, digraph_edges, 1, &digraph);
|
|
|
|
|
abort_if(rval, "graph_build failed");
|
|
|
|
|
|
|
|
|
|
for (int i = 0; i < graph->edge_count; i++)
|
|
|
|
|
{
|
|
|
|
|
digraph.edges[4 * i].reverse = &digraph.edges[4 * i + 1];
|
|
|
|
|
digraph.edges[4 * i + 1].reverse = &digraph.edges[4 * i];
|
|
|
|
|
|
|
|
|
|
digraph.edges[4 * i + 2].reverse = &digraph.edges[4 * i + 3];
|
|
|
|
|
digraph.edges[4 * i + 3].reverse = &digraph.edges[4 * i + 2];
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
int max_x_index = 0;
|
|
|
|
|
double max_x = DBL_MIN;
|
|
|
|
|
|
|
|
|
|
for (int i = 0; i < graph->node_count; i++)
|
|
|
|
|
{
|
|
|
|
|
struct Node *n = &graph->nodes[i];
|
|
|
|
|
if (x[n->index] > max_x)
|
|
|
|
|
{
|
|
|
|
|
max_x = x[n->index];
|
|
|
|
|
max_x_index = i;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
int i = max_x_index;
|
|
|
|
|
for (int j = 0; j < digraph.node_count; j++)
|
|
|
|
|
{
|
|
|
|
|
if (i == j) continue;
|
|
|
|
|
|
|
|
|
|
if (clusters[i] == clusters[j]) continue;
|
|
|
|
|
if (x[i] + x[j] - 1 <= LP_EPSILON) continue;
|
|
|
|
|
|
|
|
|
|
struct Node *from = &digraph.nodes[i];
|
|
|
|
|
struct Node *to = &digraph.nodes[j];
|
|
|
|
|
|
|
|
|
|
log_verbose("Calculating max flow from %d to %to\n", from->index,
|
|
|
|
|
to->index);
|
|
|
|
|
double flow_value;
|
|
|
|
|
rval = flow_find_max_flow(&digraph, capacities, from, to, flow,
|
|
|
|
|
&flow_value);
|
|
|
|
|
abort_if(rval, "flow_find_max_flow failed");
|
|
|
|
|
|
|
|
|
|
log_verbose(" %.2lf\n", flow_value);
|
|
|
|
|
|
|
|
|
|
if (flow_value >= 2 * (x[i] + x[j] - 1) - LP_EPSILON) continue;
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
log_verbose("violation: %.2lf >= %.2lf\n", flow_value,
|
|
|
|
|
2 * (x[i] + x[j] - 1));
|
|
|
|
|
|
|
|
|
|
int cut_edges_count;
|
|
|
|
|
rval = get_cut_edges_from_marks(&digraph, &cut_edges_count, cut_edges);
|
|
|
|
|
abort_if(rval, "get_cut_edges_from_marks failed");
|
|
|
|
|
|
|
|
|
|
log_verbose("Adding cut for i=%d j=%d, cut edges:\n", i, j);
|
|
|
|
|
for (int k = 0; k < cut_edges_count/2; k++)
|
|
|
|
|
{
|
|
|
|
|
cut_edges[k] = &graph->edges[cut_edges[k*2]->index / 4];
|
|
|
|
|
log_verbose(" %d %d\n", cut_edges[k*2]->from->index,
|
|
|
|
|
cut_edges[k*2]->to->index);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
rval = GTSP_add_subtour_elimination_cut(lp, graph, from, to, cut_edges,
|
|
|
|
|
cut_edges_count/2);
|
|
|
|
|
abort_if(rval, "GTSP_add_subtour_elimination_cut failed");
|
|
|
|
|
|
|
|
|
|
(*added_cuts_count)++;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
CLEANUP:
|
|
|
|
|
if (digraph_edges) free(digraph_edges);
|
|
|
|
|
if (flow) free(flow);
|
|
|
|
|
if (cut_edges) free(cut_edges);
|
|
|
|
|
if (capacities) free(capacities);
|
|
|
|
|
if (x) free(x);
|
|
|
|
|
return rval;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
int GTSP_add_cutting_planes(struct LP *lp, struct GTSP *data)
|
|
|
|
|
{
|
|
|
|
|
int rval = 0;
|
|
|
|
|
double *x = 0;
|
|
|
|
|
|
|
|
|
|
int num_cols = LP_get_num_cols(lp);
|
|
|
|
|
x = (double *) malloc(num_cols * sizeof(double));
|
|
|
|
|
abort_if(!x, "could not allocate x");
|
|
|
|
|
|
|
|
|
|
while (1)
|
|
|
|
|
{
|
|
|
|
|
int added_cuts_count = 0;
|
|
|
|
|
|
|
|
|
|
rval = GTSP_find_exact_subtour_elimination_cuts(lp, data,
|
|
|
|
|
&added_cuts_count);
|
|
|
|
|
abort_if(rval, "GTSP_find_exact_subtour_elimination_cuts failed");
|
|
|
|
|
|
|
|
|
|
log_verbose("Reoptimizing...\n");
|
|
|
|
|
int is_infeasible;
|
|
|
|
|
rval = LP_optimize(lp, &is_infeasible);
|
|
|
|
|
abort_if(rval, "LP_optimize failed");
|
|
|
|
|
|
|
|
|
|
if (is_infeasible) break;
|
|
|
|
|
|
|
|
|
|
double objval;
|
|
|
|
|
rval = LP_get_obj_val(lp, &objval);
|
|
|
|
|
abort_if(rval, "LP_get_obj_val failed");
|
|
|
|
|
|
|
|
|
|
rval = LP_get_x(lp, x);
|
|
|
|
|
abort_if(rval, "LP_get_x failed");
|
|
|
|
|
|
|
|
|
|
log_verbose("Current solution:\n");
|
|
|
|
|
for (int i = 0; i < data->graph->node_count; i++)
|
|
|
|
|
if (x[i] > LP_EPSILON) log_verbose(" node %d = %.2f\n", i, x[i]);
|
|
|
|
|
|
|
|
|
|
for (int i = 0; i < data->graph->edge_count; i++)
|
|
|
|
|
{
|
|
|
|
|
struct Edge *e = &data->graph->edges[i];
|
|
|
|
|
int idx = e->index + data->graph->node_count;
|
|
|
|
|
if (x[idx] > LP_EPSILON)
|
|
|
|
|
{
|
|
|
|
|
log_verbose(" edge (%d, %d) = %.2f\n", e->from->index,
|
|
|
|
|
e->to->index, x[idx]);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
log_debug(" obj val = %f\n", objval);
|
|
|
|
|
|
|
|
|
|
if (added_cuts_count > 0)
|
|
|
|
|
{
|
|
|
|
|
log_debug("Found %d subtour elimination cuts using exact "
|
|
|
|
|
"separation\n", added_cuts_count);
|
|
|
|
|
}
|
|
|
|
|
else break;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
CLEANUP:
|
|
|
|
|
if (x) free(x);
|
|
|
|
|
return rval;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
int GTSP_write_input_data(struct GTSP *data, char *filename)
|
|
|
|
|
{
|
|
|
|
|
int rval = 0;
|
|
|
|
|
|
|
|
|
|
@ -184,6 +469,8 @@ int GTSP_write_solution(struct GTSP *data, char *filename, double *x)
|
|
|
|
|
if (x[i + node_count] > 0.5)
|
|
|
|
|
positive_edge_count++;
|
|
|
|
|
|
|
|
|
|
fprintf(file, "%d %d\n", node_count, edge_count);
|
|
|
|
|
|
|
|
|
|
fprintf(file, "%d\n", positive_edge_count);
|
|
|
|
|
|
|
|
|
|
for (int i = 0; i < edge_count; i++)
|
|
|
|
|
@ -195,3 +482,213 @@ int GTSP_write_solution(struct GTSP *data, char *filename, double *x)
|
|
|
|
|
return rval;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
int get_edge_num(int node_count, int from, int to)
|
|
|
|
|
{
|
|
|
|
|
int idx = node_count;
|
|
|
|
|
|
|
|
|
|
for (int k = 0; k < from; k++)
|
|
|
|
|
idx += node_count - k - 1;
|
|
|
|
|
|
|
|
|
|
idx += to - from - 1;
|
|
|
|
|
|
|
|
|
|
return idx;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
int GTSP_read_x(char *filename, double **p_x)
|
|
|
|
|
{
|
|
|
|
|
int rval = 0;
|
|
|
|
|
|
|
|
|
|
int node_count;
|
|
|
|
|
int edge_count;
|
|
|
|
|
|
|
|
|
|
double *x;
|
|
|
|
|
|
|
|
|
|
FILE *file;
|
|
|
|
|
|
|
|
|
|
log_info("Reading optimal solution from file %s\n", filename);
|
|
|
|
|
|
|
|
|
|
file = fopen(filename, "r");
|
|
|
|
|
abort_if(!file, "could not open file");
|
|
|
|
|
|
|
|
|
|
rval = fscanf(file, "%d %d", &node_count, &edge_count);
|
|
|
|
|
abort_if(rval != 2, "invalid input format (node and edge count)");
|
|
|
|
|
|
|
|
|
|
int num_cols = node_count + edge_count;
|
|
|
|
|
|
|
|
|
|
x = (double *) malloc(num_cols * sizeof(double));
|
|
|
|
|
abort_if(!x, "could not allocate x");
|
|
|
|
|
|
|
|
|
|
for (int i = 0; i < node_count + edge_count; i++) x[i] = 0.0;
|
|
|
|
|
|
|
|
|
|
rval = fscanf(file, "%d", &edge_count);
|
|
|
|
|
abort_if(rval != 1, "invalid input format (positive edge count)");
|
|
|
|
|
|
|
|
|
|
for (int i = 0; i < edge_count; i++)
|
|
|
|
|
{
|
|
|
|
|
int from, to, edge;
|
|
|
|
|
rval = fscanf(file, "%d %d", &from, &to);
|
|
|
|
|
abort_if(rval != 2, "invalid input format (edge endpoints)");
|
|
|
|
|
|
|
|
|
|
if (from > to) swap(from, to);
|
|
|
|
|
|
|
|
|
|
edge = get_edge_num(node_count, from, to);
|
|
|
|
|
abort_if(edge > num_cols, "invalid edge");
|
|
|
|
|
|
|
|
|
|
x[from] = x[
|
|
|
|
|
to] = 1.0;
|
|
|
|
|
x[edge] = 1;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
for (int i = 0; i < num_cols; i++)
|
|
|
|
|
{
|
|
|
|
|
if (x[i] <= LP_EPSILON) continue;
|
|
|
|
|
log_verbose(" x%-3d = %.2f\n", i, x[i]);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
*p_x = x;
|
|
|
|
|
rval = 0;
|
|
|
|
|
|
|
|
|
|
CLEANUP:
|
|
|
|
|
return rval;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static const struct option options_tab[] = {
|
|
|
|
|
{"help", no_argument, 0, 'h'}, {"nodes", required_argument, 0, 'n'},
|
|
|
|
|
{"clusters", required_argument, 0, 'm'},
|
|
|
|
|
{"grid-size", required_argument, 0, 'g'},
|
|
|
|
|
{"optimal", required_argument, 0, 'x'},
|
|
|
|
|
{"seed", required_argument, 0, 's'},
|
|
|
|
|
{(char *) 0, (int) 0, (int *) 0, (int) 0}
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
static int input_node_count = 20;
|
|
|
|
|
static int input_cluster_count = 5;
|
|
|
|
|
static int grid_size = 100;
|
|
|
|
|
|
|
|
|
|
static void GTSP_print_usage(char **argv)
|
|
|
|
|
{
|
|
|
|
|
printf("wrong usage\n");
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
static int GTSP_parse_args(int argc, char **argv)
|
|
|
|
|
{
|
|
|
|
|
int rval = 0;
|
|
|
|
|
|
|
|
|
|
opterr = 0;
|
|
|
|
|
|
|
|
|
|
while (1)
|
|
|
|
|
{
|
|
|
|
|
int c = 0;
|
|
|
|
|
int option_index = 0;
|
|
|
|
|
c = getopt_long(argc, argv, "n:m:g:x:s:", options_tab, &option_index);
|
|
|
|
|
|
|
|
|
|
if (c < 0) break;
|
|
|
|
|
|
|
|
|
|
switch (c)
|
|
|
|
|
{
|
|
|
|
|
case 'n':
|
|
|
|
|
input_node_count = atoi(optarg);
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
case 'm':
|
|
|
|
|
input_cluster_count = atoi(optarg);
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
case 'g':
|
|
|
|
|
grid_size = atoi(optarg);
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
case 'x':
|
|
|
|
|
rval = GTSP_read_x(optarg, &OPTIMAL_X);
|
|
|
|
|
abort_if(rval, "GTSP_read_x failed");
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
case 's':
|
|
|
|
|
SEED = atoi(optarg);
|
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
|
case ':':
|
|
|
|
|
fprintf(stderr, "option '-%c' requires an argument\n", optopt);
|
|
|
|
|
return 1;
|
|
|
|
|
|
|
|
|
|
case '?':
|
|
|
|
|
default:
|
|
|
|
|
fprintf(stderr, "option '-%c' is invalid\n", optopt);
|
|
|
|
|
return 1;
|
|
|
|
|
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
CLEANUP:
|
|
|
|
|
return rval;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
int GTSP_main(int argc, char **argv)
|
|
|
|
|
{
|
|
|
|
|
int rval = 0;
|
|
|
|
|
|
|
|
|
|
struct BNC bnc;
|
|
|
|
|
struct GTSP data;
|
|
|
|
|
|
|
|
|
|
SEED = (unsigned int) get_real_time() % 10000;
|
|
|
|
|
|
|
|
|
|
rval = GTSP_init_data(&data);
|
|
|
|
|
abort_if(rval, "GTSP_init_data failed");
|
|
|
|
|
|
|
|
|
|
rval = BNC_init(&bnc);
|
|
|
|
|
abort_if(rval, "BNC_init failed");
|
|
|
|
|
|
|
|
|
|
rval = GTSP_parse_args(argc, argv);
|
|
|
|
|
if (rval) return 1;
|
|
|
|
|
|
|
|
|
|
srand(SEED);
|
|
|
|
|
|
|
|
|
|
log_info("Generating random GTSP instance...\n");
|
|
|
|
|
log_info(" seed = %d\n", SEED);
|
|
|
|
|
log_info(" input_node_count = %d\n", input_node_count);
|
|
|
|
|
log_info(" input_cluster_count = %d\n", input_cluster_count);
|
|
|
|
|
log_info(" grid_size = %d\n", grid_size);
|
|
|
|
|
|
|
|
|
|
rval = GTSP_create_random_problem(input_node_count, input_cluster_count,
|
|
|
|
|
grid_size,
|
|
|
|
|
&data);
|
|
|
|
|
abort_if(rval, "GTSP_create_random_problem failed");
|
|
|
|
|
|
|
|
|
|
log_info("Writing random instance to file gtsp.in\n");
|
|
|
|
|
rval = GTSP_write_input_data(&data, "gtsp.in");
|
|
|
|
|
abort_if(rval, "GTSP_write_problem failed");
|
|
|
|
|
|
|
|
|
|
bnc.best_obj_val = DBL_MAX;
|
|
|
|
|
bnc.problem_data = (void *) &data;
|
|
|
|
|
bnc.problem_init_lp = (int (*)(struct LP *, void *)) GTSP_init_lp;
|
|
|
|
|
bnc.problem_add_cutting_planes =
|
|
|
|
|
(int (*)(struct LP *, void *)) GTSP_add_cutting_planes;
|
|
|
|
|
|
|
|
|
|
if (OPTIMAL_X)
|
|
|
|
|
log_info("Optimal solution is available. Cuts will be checked.\n");
|
|
|
|
|
|
|
|
|
|
log_info("Initializing LP...\n");
|
|
|
|
|
rval = BNC_init_lp(&bnc);
|
|
|
|
|
abort_if(rval, "BNC_init_lp failed");
|
|
|
|
|
|
|
|
|
|
log_info("Writing LP to file gtsp.lp...\n");
|
|
|
|
|
rval = LP_write(bnc.lp, "gtsp.lp");
|
|
|
|
|
abort_if(rval, "LP_write failed");
|
|
|
|
|
|
|
|
|
|
log_info("Starting branch-and-cut solver...\n");
|
|
|
|
|
rval = BNC_solve(&bnc);
|
|
|
|
|
abort_if(rval, "BNC_solve_node failed");
|
|
|
|
|
|
|
|
|
|
abort_if(!bnc.best_x, "problem has no feasible solution");
|
|
|
|
|
|
|
|
|
|
log_info("Optimal integral solution:\n");
|
|
|
|
|
log_info(" obj value = %.2lf **\n", bnc.best_obj_val);
|
|
|
|
|
|
|
|
|
|
rval = GTSP_write_solution(&data, "gtsp.out", bnc.best_x);
|
|
|
|
|
abort_if(rval, "GTSP_write_solution failed");
|
|
|
|
|
|
|
|
|
|
CLEANUP:
|
|
|
|
|
GTSP_free(&data);
|
|
|
|
|
BNC_free(&bnc);
|
|
|
|
|
return rval;
|
|
|
|
|
}
|
