org.chocosolver.solver.constraints.extension.nary.PropLargeGAC3rmPositive Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of choco-solver Show documentation
Show all versions of choco-solver Show documentation
Open-source constraint solver.
/*
* This file is part of choco-solver, http://choco-solver.org/
*
* Copyright (c) 2020, IMT Atlantique. All rights reserved.
*
* Licensed under the BSD 4-clause license.
*
* See LICENSE file in the project root for full license information.
*/
package org.chocosolver.solver.constraints.extension.nary;
import org.chocosolver.solver.constraints.extension.Tuples;
import org.chocosolver.solver.exception.ContradictionException;
import org.chocosolver.solver.variables.IntVar;
import org.chocosolver.util.objects.setDataStructures.iterable.IntIterableBitSet;
/**
*
*
* @author Charles Prud'homme, Hadrien Cambazard
* @since 08/06/11
*/
public class PropLargeGAC3rmPositive extends PropLargeCSP {
/**
* supports[i][j stores the index of the tuple that currently support
* the variable-value pair (i,j)
*/
private final int[][] supports;
/**
* size of the scope of the constraint
*/
private final int arity;
/**
* original lower bounds
*/
private final int[] offsets;
private static final int NO_SUPPORT = -2;
//a reference on the lists of supports per variable value pair
private int[][][] tab;
// check if none of the tuple is trivially outside
//the domains and if yes use a fast valid check
//by avoiding checking the bounds
private ValidityChecker valcheck;
private final IntIterableBitSet vrms;
private PropLargeGAC3rmPositive(IntVar[] vars, IterTuplesTable relation) {
super(vars, relation);
this.arity = vars.length;
this.offsets = new int[arity];
this.supports = new int[arity][];
for (int i = 0; i < arity; i++) {
this.offsets[i] = vars[i].getLB();
this.supports[i] = new int[vars[i].getRange()];
}
this.tab = relation.getTableLists();
int[][] tt = relation.getTupleTable();
boolean fastBooleanValidCheckAllowed = true;
// check if all tuples are within the range
// of the domain and if so set up a faster validity checker
// that avoids checking original bounds first
loop:
for (int i = 0; i < tt.length; i++) {
for (int j = 0; j < tt[i].length; j++) {
int lb = vars[j].getLB();
int ub = vars[j].getUB();
if (lb < 0 || ub > 1) {
fastBooleanValidCheckAllowed = false;
break loop;
}
}
}
if (fastBooleanValidCheckAllowed) {
valcheck = new FastBooleanValidityChecker(arity, vars);
} else valcheck = new ValidityChecker(arity, vars);
vrms = new IntIterableBitSet();
}
public PropLargeGAC3rmPositive(IntVar[] vars, Tuples tuples) {
this(vars, RelationFactory.makeIterableRelation(tuples, vars));
}
@Override
public void propagate(int evtmask) throws ContradictionException {
initSupports();
for (int indexVar = 0; indexVar < arity; indexVar++)
reviseVar(indexVar);
}
@Override
public void propagate(int vIdx, int mask) throws ContradictionException {
filter(vIdx);
}
////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
/**
* initialize the residual supports of each pair to their
* first allowed tuple
*/
private void initSupports() throws ContradictionException {
for (int i = 0; i < vars.length; i++) {
vrms.clear();
vrms.setOffset(vars[i].getLB());
int ubi = vars[i].getUB();
for (int val = vars[i].getLB(); val <= ubi; val = vars[i].nextValue(val)) {
int nva = val - relation.getRelationOffset(i);
if (tab[i][nva].length == 0) {
vrms.add(val);
} else {
setSupport(tab[i][nva][0]);
}
}
vars[i].removeValues(vrms, this);
}
}
/**
* set the support using multidirectionality
*/
private void setSupport(final int idxSupport) {
int[] tuple = relation.getTuple(idxSupport);
for (int i = 0; i < tuple.length; i++) {
supports[i][tuple[i] - offsets[i]] = idxSupport;
}
}
/**
* @param value with offset removed
* @return the residual support
*/
private int getSupport(final int indexVar, final int value) {
return supports[indexVar][value - offsets[indexVar]];
}
/**
* updates the support for all values in the domain of variable
* and remove unsupported values for variable
*
* @throws ContradictionException
*/
private void reviseVar(final int indexVar) throws ContradictionException {
vrms.clear();
vrms.setOffset(vars[indexVar].getLB());
int ub = vars[indexVar].getUB();
for (int val = vars[indexVar].getLB(); val <= ub; val = vars[indexVar].nextValue(val)) {
int nva = val - relation.getRelationOffset(indexVar);
int currentIdxSupport = getSupport(indexVar, val);
//check the residual support !
if (!valcheck.isValid(relation.getTuple(currentIdxSupport))) {
//the residual support is not valid anymore, seek a new one
currentIdxSupport = seekNextSupport(indexVar, nva);
if (currentIdxSupport == NO_SUPPORT) {
vrms.add(val);
} else {
setSupport(currentIdxSupport);
}
}
}
vars[indexVar].removeValues(vrms, this);
}
/**
* seek a new support for the pair variable-value : (indexVar, nva)
* start the iteration from scratch in the list
*/
private int seekNextSupport(final int indexVar, final int nva) {
int currentIdxSupport;
int[] currentSupport;
for (int i = 0; i < tab[indexVar][nva].length; i++) {
currentIdxSupport = tab[indexVar][nva][i];
currentSupport = relation.getTuple(currentIdxSupport);
if (valcheck.isValid(currentSupport)) {
return currentIdxSupport;
}
}
return NO_SUPPORT;
}
private void filter(int idx) throws ContradictionException {
//sort variables regarding domain sizes to speedup the check !
valcheck.sortvars();
for (int i = 0; i < arity; i++) {
if (idx != valcheck.getPosition(i)) {
reviseVar(valcheck.getPosition(i));
}
}
}
}