Package org.ddolib.examples.misp

Class MispAstarMain

java.lang.Object

org.ddolib.examples.misp.MispAstarMain

public final class MispAstarMain
extends Object

The Maximum Independent Set Problem (MISP) with AsTar. Entry point for solving the Maximum Independent Set Problem (MISP) using an A* solver.

This class demonstrates how to configure and run an A* search algorithm for a MISP instance. The model used for the search includes:

• The problem instance MispProblem read from a file.
• A dominance checker SimpleDominanceChecker with MispDominance to prune dominated states.
• A fast lower bound MispFastLowerBound to guide the A* search.
• Debug mode enabled through DebugLevel.ON.

The best solutions and search statistics are printed to the standard output.

Constructor Summary

Constructors

Constructor	Description
MispAstarMain()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Main method to execute the A* solver on a MISP instance.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

MispAstarMain

public MispAstarMain()

Method Details

main

public static void main(String[] args)
                 throws IOException

Main method to execute the A* solver on a MISP instance.

If no command-line argument is provided, the default instance data/MISP/tadpole_4_2.dot is used.

Parameters:

args - optional command-line arguments; args[0] can specify the path to the MISP instance file

Throws:

IOException - if there is an error reading the problem instance from the file