org.sat4j.pb.multiobjective

Class MinSumOWAOptimizer

java.lang.Object

org.sat4j.tools.SolverDecorator<IPBSolver>

org.sat4j.pb.PBSolverDecorator

org.sat4j.pb.PseudoOptDecorator

org.sat4j.pb.multiobjective.AbstractLinMultiObjOptimizer

org.sat4j.pb.multiobjective.MinSumOWAOptimizer

All Implemented Interfaces:

Serializable, IPBSolver, IMultiObjOptimizationProblem, IOptimizationProblem, IProblem, ISolver, RandomAccessModel

public class MinSumOWAOptimizer
extends AbstractLinMultiObjOptimizer

An optimizer intended to solve an increasing weights OWA based problem. The encoding takes benefit from the fact that a weighted permutation of integer values is minimal if the lowest weights go with the lowest values.

Author:

lonca

See Also:

Serialized Form

Field Summary

Fields inherited from class org.sat4j.pb.multiobjective.AbstractLinMultiObjOptimizer

initConstraintsSet, integerSolver, objs

Fields inherited from class org.sat4j.pb.PseudoOptDecorator

objectiveValue

Constructor Summary

Constructors

Constructor and Description
MinSumOWAOptimizer(IIntegerPBSolver solver, BigInteger[] weights)
MinSumOWAOptimizer(IIntegerPBSolver solver, int[] weights)

Method Summary

Modifier and Type	Method and Description
Number	calculateObjective()
protected BigInteger	minObjValuesBound()
protected void	setGlobalObj() Implement this method to set a global linear objective function, which depends on the added objective functions and the initialization-added constraints.
protected void	setInitConstraints() Implement this method to add some constraints before the first call to the solver.

Methods inherited from class org.sat4j.pb.multiobjective.AbstractLinMultiObjOptimizer

addObjectiveFunction, admitABetterSolution, admitABetterSolution, getObjectiveValues, hasNoObjectiveFunction, setObjectiveFunction

Methods inherited from class org.sat4j.pb.PseudoOptDecorator

discard, discardCurrentModel, discardCurrentSolution, forceObjectiveValueTo, getObjectiveValue, isOptimal, isSatisfiable, isSatisfiable, isSatisfiable, isSatisfiable, model, model, modelWithInternalVariables, nonOptimalMeansSatisfiable, removeSubsumedOptConstr, reset, setTimeout, setTimeoutForFindingBetterSolution, toString

Methods inherited from class org.sat4j.pb.PBSolverDecorator

addAtLeast, addAtLeast, addAtMost, addAtMost, addExactly, addExactly, addPseudoBoolean, getObjectiveFunction

Methods inherited from class org.sat4j.tools.SolverDecorator

addAllClauses, addAtLeast, addAtMost, addBlockingClause, addClause, addConstr, addExactly, addParity, clearDecorated, clearLearntClauses, createBlockingClauseForCurrentModel, decorated, expireTimeout, findModel, findModel, getLogPrefix, getOriginInModel, getSearchListener, getSolvingEngine, getStat, getTimeout, getTimeoutMs, isDBSimplificationAllowed, isSolverKeptHot, isVerbose, nConstraints, newVar, newVar, nextFreeVarId, nVars, primeImplicant, primeImplicant, printInfos, printInfos, printStat, printStat, printStat, realNumberOfVariables, registerLiteral, removeConstr, removeSubsumedConstr, setDBSimplificationAllowed, setDecorated, setExpectedNumberOfClauses, setKeepSolverHot, setLogPrefix, setSearchListener, setTimeoutMs, setTimeoutOnConflicts, setUnitClauseConsumer, setUnitClauseProvider, setVerbose, toString, unsatExplanation

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.sat4j.specs.IOptimizationProblem

discard, discardCurrentSolution, forceObjectiveValueTo, getObjectiveValue, isOptimal, nonOptimalMeansSatisfiable, setTimeoutForFindingBetterSolution

Methods inherited from interface org.sat4j.specs.IProblem

findModel, findModel, isSatisfiable, isSatisfiable, isSatisfiable, isSatisfiable, model, nConstraints, newVar, nVars, primeImplicant, primeImplicant, printInfos, printInfos

Methods inherited from interface org.sat4j.specs.RandomAccessModel

model

Methods inherited from interface org.sat4j.specs.ISolver

addAllClauses, addAtLeast, addAtMost, addBlockingClause, addClause, addConstr, addExactly, addParity, clearLearntClauses, createBlockingClauseForCurrentModel, expireTimeout, getLogPrefix, getOriginInModel, getSearchListener, getSolvingEngine, getStat, getTimeout, getTimeoutMs, isDBSimplificationAllowed, isSolverKeptHot, isVerbose, newVar, nextFreeVarId, printStat, printStat, printStat, realNumberOfVariables, registerLiteral, removeConstr, removeSubsumedConstr, setDBSimplificationAllowed, setExpectedNumberOfClauses, setKeepSolverHot, setLogPrefix, setSearchListener, setTimeoutMs, setTimeoutOnConflicts, setUnitClauseConsumer, setUnitClauseProvider, setVerbose, unsatExplanation

Constructor Detail

MinSumOWAOptimizer

public MinSumOWAOptimizer(IIntegerPBSolver solver,
                          int[] weights)

See Also:

MinSumOWAOptimizer(IIntegerPBSolver solver, BigInteger[] weights)

MinSumOWAOptimizer

public MinSumOWAOptimizer(IIntegerPBSolver solver,
                          BigInteger[] weights)

Parameters:

solver - an Integer PB Solver

weights - OWA not decreasing weights

Method Detail

setInitConstraints

protected void setInitConstraints()

Description copied from class: AbstractLinMultiObjOptimizer

Implement this method to add some constraints before the first call to the solver.

Specified by:

setInitConstraints in class AbstractLinMultiObjOptimizer

setGlobalObj

protected void setGlobalObj()

Description copied from class: AbstractLinMultiObjOptimizer

Implement this method to set a global linear objective function, which depends on the added objective functions and the initialization-added constraints.

Specified by:

setGlobalObj in class AbstractLinMultiObjOptimizer

calculateObjective

public Number calculateObjective()

Specified by:

calculateObjective in interface IOptimizationProblem

Overrides:

calculateObjective in class PseudoOptDecorator

minObjValuesBound

protected BigInteger minObjValuesBound()