org.chocosolver.solver.search.loop.lns.neighbors

Class RPGN4Explanation

java.lang.Object

org.chocosolver.solver.search.loop.lns.neighbors.ANeighbor

org.chocosolver.solver.search.loop.lns.neighbors.PropagationGuidedNeighborhood

org.chocosolver.solver.search.loop.lns.neighbors.ReversePropagationGuidedNeighborhood

org.chocosolver.solver.search.loop.lns.neighbors.RPGN4Explanation

All Implemented Interfaces:

Serializable, INeighbor, IMonitorInitPropagation, IMonitorUpBranch, ISearchMonitor

public class RPGN4Explanation
extends ReversePropagationGuidedNeighborhood
implements IMonitorUpBranch

Since:

16/07/13

Author:

Charles Prud'homme

See Also:

Serialized Form

Field Summary

Fields inherited from class org.chocosolver.solver.search.loop.lns.neighbors.PropagationGuidedNeighborhood

all, bestSolution, candidate, dsize, epsilon, fgmtSize, listSize, logSum, n, rd, vars

Fields inherited from class org.chocosolver.solver.search.loop.lns.neighbors.ANeighbor

counter, mSolver

Constructor Summary

Constructors

Constructor and Description
RPGN4Explanation(Solver solver, IntVar[] vars, long seed, int fgmtSize, int listSize)

Method Summary

Methods

Modifier and Type	Method and Description
void	afterUpBranch()
void	beforeUpBranch()
void	fixSomeVariables(ICause cause) Freezes some variables in order to have a fast computation
protected void	impose(int id, ICause cause)
void	recordSolution() Record values of decision variables to freeze some ones during the next LNS run
void	restrictLess() Use less restriction at the beginning of a LNS run in order to get better solutions Called when no solution was found during a LNS run (trapped into a local optimum)

Methods inherited from class org.chocosolver.solver.search.loop.lns.neighbors.ReversePropagationGuidedNeighborhood

update

Methods inherited from class org.chocosolver.solver.search.loop.lns.neighbors.PropagationGuidedNeighborhood

afterInitialPropagation, beforeInitialPropagation, isSearchComplete, selectVariable

Methods inherited from class org.chocosolver.solver.search.loop.lns.neighbors.ANeighbor

activeFastRestart, fastRestart

Methods inherited from class java.lang.Object

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

Constructor Detail

RPGN4Explanation

public RPGN4Explanation(Solver solver,
                IntVar[] vars,
                long seed,
                int fgmtSize,
                int listSize)

Method Detail

recordSolution

public void recordSolution()

Description copied from interface: INeighbor

Record values of decision variables to freeze some ones during the next LNS run

Specified by:

recordSolution in interface INeighbor

Overrides:

recordSolution in class PropagationGuidedNeighborhood

restrictLess

public void restrictLess()

Description copied from interface: INeighbor

Use less restriction at the beginning of a LNS run in order to get better solutions Called when no solution was found during a LNS run (trapped into a local optimum)

Specified by:

restrictLess in interface INeighbor

Overrides:

restrictLess in class PropagationGuidedNeighborhood

fixSomeVariables

public void fixSomeVariables(ICause cause)
                      throws ContradictionException

Description copied from interface: INeighbor

Freezes some variables in order to have a fast computation

Specified by:

fixSomeVariables in interface INeighbor

Overrides:

fixSomeVariables in class PropagationGuidedNeighborhood

Parameters:

cause - the LNS

Throws:

ContradictionException - if variables have been fixed to inconsistent values this can happen if fixed variables cannot yield to a better solution than the last one a contradiction is raised because a cut has been posted on the objective function Notice that it could be used to generate a no-good

impose

protected void impose(int id,
          ICause cause)
               throws ContradictionException

Overrides:

impose in class PropagationGuidedNeighborhood

Throws:

ContradictionException

beforeUpBranch

public void beforeUpBranch()

Specified by:

beforeUpBranch in interface IMonitorUpBranch

afterUpBranch

public void afterUpBranch()

Specified by:

afterUpBranch in interface IMonitorUpBranch