lovednf / mtsp Goto Github PK
View Code? Open in Web Editor NEWThis project forked from reprodsuplem/mtsp
CNF Encodings for the Min-Max Multiple Traveling Salesmen Problem
This project forked from reprodsuplem/mtsp
CNF Encodings for the Min-Max Multiple Traveling Salesmen Problem
This is an instruction for reproducing the experiments described in our submission. ===== Part A ===== Usage of instance generator -> We implemented four instance generators as the following ruby scripts: (1) instGen_arithmetic.rb (2) instGen_guide.rb (3) instGen_acyclic.rb (4) instGen_relative.rb They are used in the same way, so here we only introduce one of them in detail. Make sure the TSP problem (e.g., burma14.tsp file) you want to solve is in the same directory as instance generator (e.g., instGen_guide.rb). Determine the number of salesmen to respond to this problem, such as 3 salesmen, and run $ ruby ./instGen_guide.rb ./burma14.tsp m=3 Then two files will be generated in the same directory: one is "burma14_m3.lp" and another one is "burma14_m3.wcnf", where the former corresponds to the IP formulation that can be solved by CPLEX optimizer; while the latter corresponds to CNF encoding based on guiding potential. Note that this instruction does NOT include the usage of CPLEX optimizer, and please refer to its official manual. ===== Part B ===== Usage of group MaxSAT sovler -> We modified QMaxSAT solver (version submitted into MaxSAT Evaluation 2018) to six group MaxSAT solvers as follows. (1) QMaxSAT_arithmetic (2) QMaxSAT_arithmetic_heuristic (3) QMaxSAT_potential (4) QMaxSAT_potential_heuristic (5) QMaxSAT_relative (6) QMaxSAT_relative_heuristic where (1) and (2) are the solvers used for the instance generated by instGen_arithmetic.rb; (3) and (4) are the solvers used for the instance generated by instGen_guide.rb or instGen_acyclic.rb; (5) and (6) are the solvers used for the instance generated by instGen_relative.rb. They are used in the same way, so here we only introduce one of them in detail. For example, we want to solve the instance "burma14_m3.wcnf" generated by instGen_guide.rb by (3). Then we should run $ ./QMaxSAT_potential/code/qmaxsat_g3 -card=mrwto -pmodel=0 -narr=14 -mct=3 ./burma14_m3.wcnf ./solution.txt Note that -narr=$x indicates that the number of cities is $x, and -mct=$y indicates that the number of salesmen is $y. Please do not pay attention to the last argument file "solution.txt", it does NOT play any role in reproducing our experiment, but please keep this argument, otherwise you will get an error.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.