On the Degree Sequences of Uniform Hypergraphs

  • Andrea Frosini
  • Christophe Picouleau
  • Simone Rinaldi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7749)


In hypergraph theory, determining a good characterization of d, the degree sequence of an h-uniform hypergraph \(\mathcal{H}\), and deciding the complexity status of the reconstruction of \(\mathcal{H}\) from d, are two challenging open problems. They can be formulated in the context of discrete tomography: asks whether there is a matrix A with nonnegative projection vectors H = (h,h,…,h) and V = (d 1,d 2,…,d n ) with distinct rows.

In this paper we consider the subcase where the vectors H and V are both homogeneous vectors, and we solve the related consistency and reconstruction problems in polynomial time. To reach our goal, we use the concepts of Lyndon words and necklaces of fixed density, and we apply some already known algorithms for their efficient generation.


Discrete Tomography Reconstruction problem Lyndon word Necklace hypergraph degree sequence 


  1. 1.
    Balogh, E., Sorantin, E., Nyúl, L.G., Palágyi, K., Kuba, A., Werkgartner, G., Spuller, E.: Virtual dissection of the colon: technique and first experiments with artificial and cadaveric phantoms. In: Medical Imaging 2002: Image Processing, San Diego, USA. Proceedings of SPIE, vol. 4681, pp. 713–721 (2002)Google Scholar
  2. 2.
    Batenburg, K.J., Bals, S., Sijbers, J., Kuebel, C., Midgley, P.A., Hernandez, J.C., Kaiser, U., Encina, E.R., Coronado, E.A., Van Tendeloo, G.: 3D imaging of nanomaterials by discrete tomography. Ultramicroscopy 109(6), 730–740 (2009)CrossRefGoogle Scholar
  3. 3.
    Bentz, C., Costa, M.C., Picouleau, C., Ries, B., de Werra, D.: Degree-constrained edge partitioning in graphs arising from discrete tomography. Journal of Graph Algorithms and Applications 13(2), 99–118 (2009)MathSciNetzbMATHCrossRefGoogle Scholar
  4. 4.
    Berge, C.: Graphes. Gauthier-Villars, Paris (1983)Google Scholar
  5. 5.
    Berge, C.: Hypergraphs. North Holland (1989)Google Scholar
  6. 6.
    Brocchi, S., Frosini, A., Picouleau, C.: Reconstruction of binary matrices under fixed size neighborhood constraints. Theoretical Computer Science 406(1-2), 43–54 (2008)MathSciNetzbMATHCrossRefGoogle Scholar
  7. 7.
    Brocchi, S., Frosini, A., Rinaldi, S.: A reconstruction algorithm for a subclass of instances of the 2-color problem. Theoretical Computer Science 412, 4795–4804 (2011)MathSciNetzbMATHCrossRefGoogle Scholar
  8. 8.
    Brocchi, S., Frosini, A., Rinaldi, S.: The 1-Color Problem and the Brylawski Model. In: Brlek, S., Reutenauer, C., Provençal, X. (eds.) DGCI 2009. LNCS, vol. 5810, pp. 530–538. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  9. 9.
    Dürr, C., Guiñez, F., Matamala, M.: Reconstructing 3-colored grids from horizontal and vertical projections is NP-hard: A Solution to the 2-Atom Problem in Discrete Tomography. SIAM J. Discrete Math. 26(1), 330–352 (2012)MathSciNetzbMATHCrossRefGoogle Scholar
  10. 10.
    Gale, D.: A theorem on flows in networks. Pacific J. Math. 7, 1073–1082 (1957)MathSciNetzbMATHCrossRefGoogle Scholar
  11. 11.
    Gardner, R.J., Gritzmann, P.: Discrete tomography: determination of finite sets by X-rays. Trans. Amer. Math. Soc. 349, 2271–2295 (1997)MathSciNetzbMATHCrossRefGoogle Scholar
  12. 12.
    Gilbert, E.N., Riordan, J.: Symmetry types of periodic sequences. Illinois J. Math. 5, 657–665 (1961)MathSciNetzbMATHGoogle Scholar
  13. 13.
    Guiũez, F., Matamala, M., Thomassé, S.: Realizing disjoint degree sequences of span at most two: A tractable discrete tomography problem. Discrete Applied Mathematics 159(1), 23–30 (2011)MathSciNetCrossRefGoogle Scholar
  14. 14.
    Herman, G.T., Kuba, A.: Discrete tomography: Foundations algorithms and applications. Birkhauser, Boston (1999)zbMATHGoogle Scholar
  15. 15.
    Herman, G.T., Kuba, A.: Advances in Discrete Tomography and Its Applications. Birkhauser, Boston (2007)zbMATHCrossRefGoogle Scholar
  16. 16.
    Irving, R.W., Jerrum, M.R.: Three-dimensional statistical data security problems. SIAM Journal of Computing 23, 170–184 (1994)MathSciNetzbMATHCrossRefGoogle Scholar
  17. 17.
    Matej, S., Vardi, A., Hermann, G.T., Vardi, E.: Binary tomography using Gibbs priors. In: Herman, G.T., Kuba, A. (eds.) Discrete Tomography: Foundations, Algorithms and Applications, pp. 191–212. Birkhauser, Boston (1999)Google Scholar
  18. 18.
    Prause, G.P.M., Onnasch, D.G.W.: Binary reconstruction of the heart chambers from biplane angiographic image sequence. IEEE Transactions on Medical Imaging 15, 532–559 (1996)CrossRefGoogle Scholar
  19. 19.
    Ryser, H.: Combinatorial Mathematics. Mathematical Association of America and Quinn & Boden, Rahway (1963)zbMATHGoogle Scholar
  20. 20.
    Ryser, H.J.: Combinatorial properties of matrices of zeros and ones. Canadian Journal of Mathematics 9, 371–377 (1957)MathSciNetzbMATHCrossRefGoogle Scholar
  21. 21.
    Ruskey, F., Sawada, J.: An efficient algorithm for generating necklaces with fixed density. Siam J. Comput. 29, 671–684 (1999)MathSciNetzbMATHCrossRefGoogle Scholar
  22. 22.
    Sawada, J.: A fast algorithm to generate necklaces with fixed content. Theoret. Comput. Sci. 301, 477–489 (2003)MathSciNetzbMATHCrossRefGoogle Scholar
  23. 23.
    Shliferstein, A.R., Chien, Y.T.: Switching components and the ambiguity problem in the reconstruction of pictures from their projections. Pattern Recognition 10, 327–340 (1978)zbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Andrea Frosini
    • 1
  • Christophe Picouleau
    • 2
  • Simone Rinaldi
    • 3
  1. 1.Dipartimento di Sistemi e InformaticaUniversitá di FirenzeFirenzeItaly
  2. 2.Laboratoire CEDRICCNAMParisFrance
  3. 3.Dipartimento di Matematica e InformaticaUniversitá di SienaSienaItaly

Personalised recommendations