Package org.ddolib.examples.maximumcoverage

Class MaxCoverDdoMainWithCluster

java.lang.Object

org.ddolib.examples.maximumcoverage.MaxCoverDdoMainWithCluster

public class MaxCoverDdoMainWithCluster
extends Object

Maximum Coverage (MaxCover) problem with Ddo

This class demonstrates how to solve an instance of the Maximum Coverage (MaxCover) problem (BKP) using a Decision Diagram Optimization (DDO) algorithm.

• Builds an instance of the MaxCover problem (randomly generated or loaded from a file)
• Defines a DdoModel by specifying the problem, relaxation, ranking strategy, width heuristic, and lower bound
• Runs the DDO solver to compute a solution
• Prints the resulting solution

The problem parameters (size, cardinality, random seed, etc.) can be easily modified to experiment with different instances.

Constructor Summary

Constructors

Constructor	Description
MaxCoverDdoMainWithCluster()

Method Summary

Modifier and Type	Method	Description
static void	main(String[] args)

Methods inherited from class java.lang.Object

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

Constructor Details

MaxCoverDdoMainWithCluster

public MaxCoverDdoMainWithCluster()

Method Details

main

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

Throws:

IOException