ExamplesJaCoP
Class DeBruijn

java.lang.Object
  extended by ExamplesJaCoP.Example
      extended by ExamplesJaCoP.DeBruijn

public class DeBruijn
extends Example

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 inherited from class ExamplesJaCoP.Example
cost, search, store, vars
 
Constructor Summary
DeBruijn()
           
 
Method Summary
static void main(java.lang.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 ExamplesJaCoP.Example
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
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DeBruijn

public DeBruijn()
Method Detail

model

public void model()
Description copied from class: Example
It specifies a standard way of modeling the problem.

Specified by:
model in class Example

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.