samples.tutorials.to_sort
Class MinimumEdgeDeletion

java.lang.Object
  extended by samples.tutorials.PatternExample
      extended by samples.tutorials.to_sort.MinimumEdgeDeletion
All Implemented Interfaces:
Example

public class MinimumEdgeDeletion
extends PatternExample

Let consider a set of N boolean variables and a binary constraint network (eq or neq). The goal is to find an assignment minimizing the number of required edge, or constraint, deletion. The problem is inspired from the Minimum Equivalence Deletion Problem

Since:
22 mars 2009 version 2.0.3
Version:
2.0.3
Author:
Arnaud Malapert

Field Summary
protected  IntegerVariable[] boolVars
           
protected  IntegerVariable deletion
           
protected  int[] instantiated
           
protected  int nbBools
           
protected  int nbPairs
           
protected  double pairProba
           
protected  Boolean[][] pairs
           
protected  IntegerVariable[] pairVars
           
protected  long seed
           
 
Fields inherited from class samples.tutorials.PatternExample
model, solver
 
Fields inherited from interface samples.tutorials.Example
LOGGER
 
Constructor Summary
MinimumEdgeDeletion()
           
 
Method Summary
 void buildModel()
           
 void buildSolver()
           
static void main(String[] args)
           
 void prettyOut()
           
 void solve()
           
 
Methods inherited from class samples.tutorials.PatternExample
execute, execute, printDescription, readArgs
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

pairVars

protected IntegerVariable[] pairVars

boolVars

protected IntegerVariable[] boolVars

deletion

protected IntegerVariable deletion

nbBools

protected int nbBools

pairProba

protected double pairProba

seed

protected long seed

nbPairs

protected int nbPairs

instantiated

protected int[] instantiated

pairs

protected Boolean[][] pairs
Constructor Detail

MinimumEdgeDeletion

public MinimumEdgeDeletion()
Method Detail

buildModel

public void buildModel()
Specified by:
buildModel in class PatternExample

buildSolver

public void buildSolver()
Specified by:
buildSolver in class PatternExample

prettyOut

public void prettyOut()
Specified by:
prettyOut in class PatternExample

solve

public void solve()
Specified by:
solve in class PatternExample

main

public static void main(String[] args)


Copyright © 2012. All Rights Reserved.