Abstract
We present a set of new instances of the maximum weight independent set problem. These instances are derived from a realworld vehicle routing problem and are challenging to solve in part because of their large size. We present instances with up to 881 thousand nodes and 383 million edges.
1 Vehicle Routing Application of MWIS
Given an undirected graph \(G=(V,E)\) where V is its set of nodes and E its set of edges, a subset of nodes \(S \subseteq V\) is an independent set if the elements of S are pairwise nonadjacent in G. If w(v) is the weight of node \(v \in V\), the weight of independent set S is \(W(S) = \sum _{v \in S} w(v)\). In the maximum weight independent set (MWIS) problem we seek an independent set \(S^*\) such that \(W(S^*) \ge W(S)\) for all independent sets \(S \subseteq V\) in G [1]. This optimization problem is NPhard [2] and it is often solved using heuristic algorithms [3].
We provide a collection of instances of an MWIS problem that appeared as subproblems in algorithms solving reallife longhaul vehicle routing problems at Amazon. Our goal is to enhance the set of benchmark instances available to algorithm researchers working on MWIS. Our instances differ from other publicly available instances and the new collection includes some large instances.
To gain intuition into the application, consider a stochastic heuristic for the problem. This heuristic produces different solutions for different pseudorandom generator seeds. Each solution consists of a set of routes. We want to recombine routes from multiple solutions to obtain a better solution.
Each route consists of a driver and a set of loads assigned to the driver. A subset of routes is feasible if no two routes in the subset share a driver or a load. Each route has a weight. The objective function is the sum of route weights. The problem is to find a feasible solution of the maximum total weight.
To state this problem as MWIS, we build a conflict graph as follows. Nodes of the graph correspond to routes and weights correspond to route weights. We connect two nodes by an edge if the corresponding routes have a conflict, i.e., they share a driver or a load.
Our application has additional information that one can (optionally) use in an algorithm. First, we have a good initial solution, the best of the solutions we combine. We provide initial solutions for our instances. One can use this solution to possibly warmstart a MWIS algorithm.
Second, we have information about many cliques in the conflict graph. For a fixed load (or driver), nodes corresponding to the routes containing the load (driver) form a clique: every pair of such nodes is connected. This allows us to use the wellknown clique integer linear programming (ILP) formulation of the problem:
where \(C_2, C_3, \ldots , C_k\) are, respectively, the sets of 2clique, 3clique\(, \ldots ,\) and kclique inequalities. In general, for maximal cliques Q of size k, we have the set of kclique inequalities
One can solve a linear programming (LP) relaxation of the problem, which assigns each node a value in the closed real interval [0, 1]. Note that the objective function of the LP relaxation provides an upper bound on the corresponding MWIS solution value. We provide both the cliques and the relaxed LP solutions with our instances.
Table 1 lists the instances we provide and includes the graph size, the initial solution value, and the relaxed LP bound. To compute the LP bounds we did not make use of all kclique inequalities, for \(k > 2\) but rather only a subset of them, specified in instance file cliques.txt.
2 Input Graph Format
We place each instance in a separate directory containing several files with instance name, graph edge set, node weights, clique information, and relaxed LP solution values. Directory names correspond to the instance names. Next we describe the file formats.
For an undirected, nodeweighted graph \(G=(V,E,w)\) with n nodes, m edges and integral node IDs from [1, n], we give the following files:

instance_name.txt  Name of the instance.

conflict_graph.txt  Edges of G. The file has a total of \(m + 1\) lines. The first line gives the numbers of nodes and edges: “\(n\;m\)”. Each of the lines \(2, \ldots , m+1\) describes an edge \(e = (u,v) \in E\) as “\(u\;v\)”.

node_weights.txt  Node weights. The file has a total of n lines, each describing the weight of node \(v \in V\) as “\(v\;w(v)\)”. The weights are integers.

solution.txt  Initial solution for warm start. It contains one line per node in the initial solution, giving its node index: if a node v is in the solution, the file contains a line with “v” in it.

cliques.txt  Set of cliques in G. For each clique \(C=\{c_1,c_2,\dots ,c_k\}\), the file contains one line as “\(c_1\;c_2\;\dots \;c_k\)”.

lploads.txt  Solution for the relaxed LP problem for the MWIS problem on the clique graph, where each node \(v \in V\) has a relaxed LP value \(l(v) \in [0,1]\). The file has n lines, each with the LP value of a node \(v\in V\) as “\(v\;l(v)\)”, where l(v) is a floating point number.
The files conflict_graph.txt and node_weights.txt are needed by any MWIS algorithm. The other files are optional.
Note that some of our graphs are large, with the compressed tar file being over 1 GB in size. To represent the total weight of a solution, 32bit integers are insufficient. An implementation needs to use 64bit integers or doubles to represent the weight of these independent sets.
3 Downloading the Instances
The full set of 38 instances can be downloaded as gzipped tar files from the AWS OpenData site:
https://registry.opendata.aws/mwisvrinstances/
using the AWS command line interface (CLI) [4].
Instruction on installation of AWS CLI can be found in [4]. As an example, installation on MacOS can be done using Terminal with the commands
curl "https://awscli.amazonaws.com/AWSCLIV2.pkg" o "AWSCLIV2.pkg" sudo installer pkg AWSCLIV2.pkg target /
To list the contents of the repository using AWS CLI, run the command
aws s3 ls s3://mwisvrinstances/ nosignrequest
To download an instance, say file MTW01.tar.gz, from the repository using AWS CLI, run the command
aws s3 cp s3://mwisvrinstances/MTW01.tar.gz . nosignrequest
4 Concluding Remarks
In this paper, we introduce a set of largescale maximum weight independent set instances arising in a realworld vehicle routing application. Our goal in making these instances available to other researchers is that progress can be made in the field. Other researchers can try their existing MWIS solvers on these instances and can be motivated to develop new solvers for them.
References
Butenko S (2003) Maximum independent set and related problems with applications. PhD thesis, U. of Florida, Gainesville, Florida
Garey M, Johnson D (1979) Computers and Intractability: A guide to the theory of NPcompleteness. W.H. Freeman and Company, San Francisco
Pelillo M (2009) Heuristics for maximum clique and independent set. In: Floudas C, Pardalos P (eds) Encyclopedia of Optimization. Springer, US, Boston, MA, pp 1508–1520
AWS (2021) AWS Command Line Interface. https://docs.aws.amazon.com/cli/index.html. Last visited May 27, 2021
Acknowledgements
On behalf of all authors, the corresponding author (MGCR) states that there is no conflict of interest, no funding, and the data is freely available.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Parts of this paper were written, while the first, third, and fourth authors were employed at Amazon.com.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Dong, Y., Goldberg, A.V., Noe, A. et al. New Instances for Maximum Weight Independent Set From a Vehicle Routing Application. Oper. Res. Forum 2, 48 (2021). https://doi.org/10.1007/s4306902100084x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s4306902100084x