Module org.chocosolver

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

Class ReversePropagationGuidedNeighborhood

java.lang.Object

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

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

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

All Implemented Interfaces:

ICause, 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, dsize, fragment, mModel, n, rd

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

values, variables

Constructor Summary

Constructors

Constructor	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	Description
protected void	update()	Create the fragment

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

fixSomeVariables, init, restrictLess

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

forEachIntVar, freeze, loadFromSolution, recordSolution

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.chocosolver.solver.ICause

explain

Methods inherited from interface org.chocosolver.solver.search.loop.lns.neighbors.INeighbor

isSearchComplete

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()
               throws ContradictionException

Description copied from class: PropagationGuidedNeighborhood

Create the fragment

Overrides:

update in class PropagationGuidedNeighborhood

Throws:

ContradictionException - if the fragment is trivially infeasible