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.- Version:
- 4.8
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
-
-
Constructor Summary
Constructors Constructor Description DeBruijn()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static void
main(java.lang.String[] args)
Running the program java DeBruijn base n java DeBruijn base n mvoid
model()
It specifies a standard way of modeling the problem.(package private) static int
pow(int x, int y)
-
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
-
-
-
-
Method Detail
-
model
public void model()
Description copied from class:ExampleFD
It specifies a standard way of modeling the problem.
-
main
public static void main(java.lang.String[] args)
Running the program java DeBruijn base n java DeBruijn base n m- Parameters:
args
- between 2 and 3 arguments are used.
-
pow
static int pow(int x, int y)
-
-