Package org.ddolib.examples.misp

Class MispDdoMain

java.lang.Object

org.ddolib.examples.misp.MispDdoMain

public final class MispDdoMain
extends Object

The Maximum Independent Set Problem (MISP) with Ddo. Entry point for solving the Maximum Independent Set Problem (MISP) using a Decision Diagram Optimization (DDO) solver.

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

• The problem instance MispProblem read from a file.
• A relaxation MispRelax to merge multiple states during the DDO search.
• A ranking MispRanking to order states within the DDO search.
• A dominance checker SimpleDominanceChecker with MispDominance to prune dominated states.
• A fast lower bound MispFastLowerBound to guide the search.

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

Constructor Summary

Constructors

Constructor	Description
MispDdoMain()

Method Summary

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

MispDdoMain

public MispDdoMain()

Method Details

main

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

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