org.jacop.examples.fd

Class DeBruijn

java.lang.Object

org.jacop.examples.fd.ExampleFD

org.jacop.examples.fd.DeBruijn

public class DeBruijn
extends ExampleFD

A program solving problem of finding de Bruijn sequences.

Author:

Hakan Kjellerstrand (hakank@bonetmail.com) and Radoslaw Szymanek It finds both "normal" and "arbitrary" de Bruijn sequences. This is a port from my MiniZinc model http://www.hakank.org/minizinc/debruijn_binary.mzn and is explained somewhat in the swedish blog post "Constraint Programming: Minizinc, Gecode/flatzinc och ECLiPSe/minizinc" http://www.hakank.org/webblogg/archives/001209.html Related programs: - "Normal" de Bruijn sequences CGI program for calculating the sequences http://www.hakank.org/comb/debruijn.cgi http://www.hakank.org/comb/deBruijnApplet.html (as Java applet) - "Arbitrary" de Bruijn sequences Program "de Bruijn arbitrary sequences" http://www.hakank.org/comb/debruijn_arb.cgi This (swedish) blog post explains the program: "de Bruijn-sekvenser av godtycklig längd" http://www.hakank.org/webblogg/archives/001114.html

Field Summary

Fields

Modifier and Type	Field and Description
int	base
IntVar[][]	binary
int	m
int	n
IntVar[]	x

Fields inherited from class org.jacop.examples.fd.ExampleFD

cost, search, store, vars

Constructor Summary

Constructors

Constructor and Description
DeBruijn()

Method Summary

Modifier and Type	Method and Description
static void	main(String[] args) Running the program java DeBruijn base n java DeBruijn base n m
void	model() It specifies a standard way of modeling the problem.

Methods inherited from class org.jacop.examples.fd.ExampleFD

creditSearch, getSearch, getSearchVariables, getStore, printMatrix, search, searchAllAtOnce, searchAllOptimal, searchLDS, searchMasterSlave, searchMaxRegretOptimal, searchMiddle, searchMostConstrainedStatic, searchOptimal, searchSmallestDomain, searchSmallestMedian, searchSmallestMiddle, searchSmallestMin, searchWeightedDegree, searchWithMaxRegret, searchWithRestarts, shavingSearch

Methods inherited from class java.lang.Object

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

Field Detail

base

public int base

n

public int n

m

public int m

x

public IntVar[] x

binary

public IntVar[][] binary

Constructor Detail

DeBruijn

public DeBruijn()

Method Detail

model

public void model()

Description copied from class: ExampleFD

It specifies a standard way of modeling the problem.

Specified by:

model in class ExampleFD

main

public static void main(String[] args)

Running the program java DeBruijn base n java DeBruijn base n m

Parameters:

args - between 2 and 3 arguments are used.