Wednesday, 30 September 2009

co.combinatorics - Enumerating (generalized) de Bruijn tori

Given a cyclic word w of length N over a q-ary alphabet and kinmathbbZ+, consider the directed multigraph Gk(w)=(V,E) with Vsubset {1,dots,q}k given by the k-lets (i.e., subwords of k symbols) that appear in w (without multiplicity) and E given by the (k+1)-lets in w that appear with multiplicity. An edge welldotswell+k connects the vertices welldotswell+k1 and well+1dotswell+k. If w is a de Bruijn sequence, Gk(w) is a de Bruijn graph, and vice versa. So call Gk(w) the generalized de Bruijn graph corresponding to w and k. It is not hard to compute the number of words w having Gk(w) as their generalized de Bruijn graph, using the matrix-tree and BEST theorems.



In two dimensions, the picture is much less clear. De Bruijn tori are basically periodic rectangular arrays of symbols in which all possible subarrays of a certain size occur with multiplicity 1. There is a structure (a hypergraph?)--the "generalized de Bruijn structure"--corresponding to a generic rectangular array of symbols in a generalization of the sketch above, so by analogy call a rectangular array of symbols over a finite alphabet a generalized de Bruijn torus in this context.



Given one generalized de Bruijn torus, how many others share its multiplicities of rectangular subarrays (equivalently, its generalized de Bruijn structure)?



(Note that even the existence of de Bruijn tori for nonsquare subarrays is uncertain, which is why I'm working in the "generalized" context.)

No comments:

Post a Comment