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

  • Field Details

    • base

      public int base
    • n

      public int n
    • m

      public int m
    • x

      public IntVar[] x
    • binary

      public IntVar[][] binary
    • bin_code

      IntVar[] bin_code
  • Constructor Details

    • DeBruijn

      public DeBruijn()
  • Method Details

    • 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.
    • pow

      static int pow(int x, int y)