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

Class ReversePropagationGuidedNeighborhood

java.lang.Object

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

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

All Implemented Interfaces:

INeighbor

public class ReversePropagationGuidedNeighborhood
extends PropagationGuidedNeighborhood

A Propagation Guided LNS

Based on "Propagation Guided Large Neighborhood Search", Perron et al. CP2004.

Since:

08/04/13

Author:

Charles Prud'homme

Field Summary

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

all, bestSolution, candidates, dsize, epsilon, fgmtSize, fragment, listSize, logSum, mModel, n, rd, vars

Constructor Summary

Constructors

Constructor and Description
ReversePropagationGuidedNeighborhood(IntVar[] vars, int fgmtSize, int listSize, long seed) Create a neighbor for LNS based on PGLNS, which selects variables to not be part of a fragment

Method Summary

Modifier and Type	Method and Description
protected void	update(DecisionPath decisionPath) Create the fragment

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

fixSomeVariables, impose, init, isSearchComplete, loadFromSolution, recordSolution, restrictLess, selectVariable

Methods inherited from class java.lang.Object

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

Constructor Detail

ReversePropagationGuidedNeighborhood

public ReversePropagationGuidedNeighborhood(IntVar[] vars,
                                            int fgmtSize,
                                            int listSize,
                                            long seed)

Create a neighbor for LNS based on PGLNS, which selects variables to not be part of a fragment

Parameters:

vars - variables to consider

fgmtSize - initial size of the fragment

listSize - number of modified variable to store while propagating

seed - for randomness

Method Detail

update

protected void update(DecisionPath decisionPath)
               throws ContradictionException

Description copied from class: PropagationGuidedNeighborhood

Create the fragment

Overrides:

update in class PropagationGuidedNeighborhood

Parameters:

decisionPath - the decision path to feed

Throws:

ContradictionException - if the fragment is trivially infeasible