Package org.ddolib.examples.misp

Class MispAwAstarMain

java.lang.Object

org.ddolib.examples.misp.MispAwAstarMain

public final class MispAwAstarMain
extends Object

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

This class demonstrates how to configure and run an AWA* 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 search.
• Debug mode enabled through DebugLevel.ON.

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

Constructor Summary

Constructors

Constructor	Description
MispAwAstarMain()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Main method to execute the AWA* 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

MispAwAstarMain

public MispAwAstarMain()

Method Details

main

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

Main method to execute the AWA* 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