Package org.ddolib.examples.mcp

Class MCPDdoMain

java.lang.Object

org.ddolib.examples.mcp.MCPDdoMain

public final class MCPDdoMain
extends Object

Main class for solving the Maximum Cut Problem (MCP) using a DDO (Decision Diagram Optimization) approach.

This class demonstrates how to set up a DDO model for the MCP, execute the search, and print the resulting solutions and statistics.

The problem instance can be provided as a command-line argument. If no argument is provided, a default instance located at data/MCP/mcp_5_2.txt is used.

The model uses MCPRelax for state relaxation, MCPRanking for state ranking, and MCPFastLowerBound for computing fast lower bounds. The DdoModel framework handles the search process using DDO.

See Also:

• MCPProblem
• MCPState
• DdoModel
• MCPRelax
• MCPRanking
• MCPFastLowerBound
• Solvers

Constructor Summary

Constructors

Constructor	Description
MCPDdoMain()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)	Entry point of the application.

Methods inherited from class java.lang.Object

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

Constructor Details

MCPDdoMain

public MCPDdoMain()

Method Details

main

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

Entry point of the application.

Initializes the MCP problem, builds a DDO model, and runs the search to find a maximum cut. The resulting solutions are printed incrementally via SolutionPrinter and a final SearchStatistics summary is displayed.

Parameters:

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

Throws:

IOException - if the instance file cannot be read