Advertisement

Dag Realizations of Directed Degree Sequences

  • Annabell Berger
  • Matthias Müller-Hannemann
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6914)

Abstract

We consider the following graph realization problem. Given a sequence \(S:={a_1 \choose b_1},\dots,{a_n \choose b_n}\) with \(a_i,b_i\in \mathbb{Z}_0^+\), does there exist an acyclic digraph (a dag, no parallel arcs allowed) G = (V,A) with labeled vertex set V: = {v 1,…,v n } such that for all v i  ∈ V indegree and outdegree of v i match exactly the given numbers a i and b i , respectively? The complexity status of this problem is open, while a generalization, the f-factor dag problem can be shown to be NP-complete. In this paper, we prove that an important class of sequences, the so-called opposed sequences, admit an O(n + m) realization algorithm, where n and \(m = \sum_{i=1}^n a_i = \sum_{i=1}^n b_i\) denote the number of vertices and arcs, respectively. For an opposed sequence it is possible to order all non-source and non-sink tuples such that a i  ≤ a i + 1 and b i  ≥ b i + 1. Our second contribution is a realization algorithm for general sequences which significantly improves upon a naive exponential-time algorithm. We also investigate a special and fast realization strategy “lexmax”, which fails in general, but succeeds in more than 97% of all sequences with 9 tuples.

Keywords

Hamiltonian Path Topological Sorting Realization Algorithm Acyclic Digraph Prescribe Degree 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Havel, V.: A remark on the existence of finite graphs. Casopis Pest. Math. 80, 477–480 (1955)MATHGoogle Scholar
  2. 2.
    Hakimi, S.: On the realizability of a set of integers as degrees of the vertices of a simple graph. J. SIAM Appl. Math. 10, 496–506 (1962)CrossRefMATHGoogle Scholar
  3. 3.
    Hakimi, S.: Graphs with prescribed degree of vertices (hungarian). Mat. Lapok 11, 264–274 (1960)Google Scholar
  4. 4.
    Gale, D.: A theorem on flows in networks. Pacific J. Math. 7, 1073–1082 (1957)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Ryser, H.: Combinatorial properties of matrices of zeros and ones. Canad J. Math. 9, 371–377 (1957)MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    Fulkerson, D.: Zero-one matrices with zero trace. Pacific J. Math. 10, 831–836 (1960)MathSciNetCrossRefMATHGoogle Scholar
  7. 7.
    Chen, W.K.: On the realization of a (p,s)-digraph with prescribed degrees. Journal of the Franklin Institute 281, 406–422 (1966)MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    Kleitman, D.J., Wang, D.L.: Algorithms for constructing graphs and digraphs with given valences and factors. Discrete Mathematics 6, 79–88 (1973)MathSciNetCrossRefMATHGoogle Scholar
  9. 9.
    Berger, A., Müller-Hannemann, M.: Dag characterizations of directed degree sequences. Technical Report 2011/6, Martin-Luther-Universität Halle-Wittenberg, Department of Computer Science (2011)Google Scholar
  10. 10.
    Tutte, W.T.: Graph factors. Combinatorica 1, 79–97 (1981)MathSciNetCrossRefMATHGoogle Scholar
  11. 11.
    Kundu, S.: The k-factor conjecture is true. Discrete Mathematics 6, 367–376 (1973)MathSciNetCrossRefMATHGoogle Scholar
  12. 12.
    Berger, A., Müller-Hannemann, M.: Dag realisations of directed degree sequences. Technical Report 2011/5, Martin-Luther-Universität Halle-Wittenberg, Department of Computer Science (2011)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Annabell Berger
    • 1
  • Matthias Müller-Hannemann
    • 1
  1. 1.Department of Computer ScienceMartin-Luther-Universität Halle-WittenbergGermany

Personalised recommendations