Abstract
Network realization problems require, given a specification \(\pi \) for some network parameter (such as degrees, distances or connectivity), to construct a network G conforming to \(\pi \), or to determine that no such network exists. In this paper we study composed profile realization, where the given instance consists of two or more profile specifications that need to be realized simultaneously. To gain some understanding of the problem, we focus on two classical profile types, namely, degrees and distances, which were (separately) studied extensively in the past. We investigate a wide spectrum of variants of the composed distance and degree realization problem. For each variant we either give a polynomial-time realization algorithm or establish NP hardness. In particular:
-
(i)
We consider both precise specifications and range specifications, which specify a range of permissible values for each entry of the profile.
-
(ii)
We consider realizations by both weighted and unweighted graphs.
-
(iii)
We also study settings where the realizing graph is restricted to specific graph classes, including trees and bipartite graphs.
Similar content being viewed by others
Notes
We consider profile types for which \(\Pi (G)\) is polynomial-time computable given G.
Such a problem may arise naturally in a setting where it is known a priori that certain connections are impossible, infeasible or disallowed, due to the environment, the user specified requirements, or other reasons.
For the pure degree-realization problem, there is no distinction between weighted and unweighted graphs.
Note the difference between a realizable specification \(\pi \) (“\(\pi \) has a realization”) and a realizable profile type \(\Pi \) (“there is a polynomial-time algorithm deciding, for every specification \(\pi \) of \(\Pi \), if it is realizable”).
Satisfying \(E\subseteq E'\).
References
Bar-Noy, A., Böhnlein, T., Peleg, D., Perry, M., Rawitz, D.: Relaxed and approximate graph realizations. In: 32nd IWOCA. LNCS, vol. 12757, pp. 3–19 (2021)
Burstein, D., Rubin, J.: Sufficient conditions for graphicality of bidegree sequences. SIAM J. Discrete Math. 31, 50–62 (2017)
Gale, D.: A theorem on flows in networks. Pac. J. Math. 7, 1073–1082 (1957)
Gupta, G., Joshi, P., Tripathi, A.: Graphic sequences of trees and a problem of Frobenius. Czechoslov. Math. J. 57, 49–52 (2007)
Ryser, H.J.: Combinatorial properties of matrices of zeros and ones. Can. J. Math. 9, 371–377 (1957)
Zverovich, I.E., Zverovich, V.E.: Contributions to the theory of graphic sequences. Discrete Math. 105(1–3), 293–303 (1992)
Hakimi, S.L., Yau, S.S.: Distance matrix of a graph and its realizability. Quart. Appl. Math. 22, 305–317 (1965)
Baldisserri, A.: Buneman’s theorem for trees with exactly n vertices. CoRR (2014)
Bar-Noy, A., Peleg, D., Perry, M., Rawitz, D., Schwartz, N.L.: Distance Realization Approximations. Manuscript (2021)
Rubei, E.: Weighted graphs with distances in given ranges. J. Classif. 33, 282–297 (2016)
Tamura, H., Sengoku, M., Shinoda, S., Abe, T.: Realization of a network from the upper and lower bounds of the distances (or capacities) between vertices. In IEEE International Symposium on Circuits and Systems (ISCAS), pp. 2545–2548 (1993)
Asano, T.: Graphical degree sequence problems with connectivity requirements. In: 4th ISAAC. LNCS, vol. 762, pp. 38–47 (1993)
Edmonds, J.: Existence of \(k\)-edge-connected ordinary graphs with prescribed degrees. J. Res. Natl. Bur. Stand. 68B(2), 73–74 (1964)
Wang, D.L., Kleitman, D.J.: On the existence of \(n\)-connected graphs with prescribed degrees (\(n>2\)). Networks 3, 225–239 (1973)
Rao, S.B.: A survey of the theory of potentially p-graphic and forcibly p-graphic degree sequences. In: Combinatorics and Graph Theory. LNM, vol. 885, pp. 417–440 (1981)
Althöfer, I.: On optimal realizations of finite metric spaces by graphs. Discret. Comput. Geom. 3, 103–122 (1988)
Bandelt, H.: Recognition of tree metrics. SIAM J. Discret. Math. 3(1), 1–6 (1990)
Buneman, P.: A note on the metric properties of trees. J. Combinat. Theory B 17, 48–50 (1974)
Chung, F.R.K., Garrett, M.W., Graham, R.L., Shallcross, D.: Distance realization problems with applications to internet tomography. J. Comput. Syst. Sci. 63(3), 432–448 (2001)
Culberson, J.C., Rudnicki, P.: A fast algorithm for constructing trees from distance matrices. Inf. Process. Lett. 30(4), 215–220 (1989)
Dahlhaus, E.: Fast parallel recognition of ultrametrics and tree metrics. SIAM J. Discret. Math. 6(4), 523–532 (1993)
Dress, A.W.M.: Trees, tight extensions of metric spaces, and the cohomological dimension of certain groups: a note on combinatorial properties of metric spaces. Adv. Math. 53, 321–402 (1984)
Feder, T., Meyerson, A., Motwani, R., O’Callaghan, L., Panigrahy, R.: Representing graph metrics with fewest edges. In: 20th STACS. LNCS, vol. 2607, pp. 355–366 (2003)
Imrich, W., Simões-Pereira, J.M.S., Zamfirescu, C.: On optimal embeddings of metrics in graphs. J. Comb. Theory Ser. B 36(1), 1–15 (1984)
Nieminen, J.: Realizing the distance matrix of a graph. J. Inf. Process. Cybern. 12(1/2), 29–31 (1976)
Patrinos, A.N., Hakimi, S.L.: The distance matrix of a graph nand its tree realizability. Quart. Appl. Math. 30(3), 255–269 (1972)
Simões-Pereira, J.M.S.: A note on the tree realizability of a distance matrix. J. Comb. Theory B 6, 303–310 (1969)
Simões-Pereira, J.M.S.: A note on distance matrices with unicyclic graph realizations. Discret. Math. 65, 277–287 (1987)
Simões-Pereira, J.M.S.: An optimality criterion for graph embeddings of metrics. SIAM J. Discret. Math. 1(2), 223–229 (1988)
Simões-Pereira, J.M.S.: An algorithm and its role in the study of optimal graph realizations of distance matrices. Discret. Math. 79(3), 299–312 (1990)
Varone, S.C.: A constructive algorithm for realizing a distance matrix. Eur. J. Oper. Res. 174(1), 102–111 (2006)
Zaretskii, K.A.: Constructing a tree on the basis of a set of distances between the hanging vertices. Uspekhi Mat. Nauk 20, 90–92 (1965)
Behzad, M., Simpson, J.E.: Eccentric sequences and eccentric sets in graphs. Discret. Math. 16(3), 187–193 (1976)
Lesniak, L.: Eccentric sequences in graphs. Period. Math. Hung. 6(4), 287–293 (1975)
Gomory, R.E., Hu, T.C.: Multi-terminal network flows. J. Soc. Ind. Appl. Math. 9(4), 551–570 (1961)
Frank, H., Chou, W.: Connectivity considerations in the design of survivable networks. IEEE Trans. Circuit Theory CT–17, 486–490 (1970)
Frank, A.: Augmenting graphs to meet edge-connectivity requirements. SIAM J. Discrete Math. 5, 25–43 (1992)
Frank, A.: Connectivity augmentation problems in network design. In: Mathematical Programming: State of the Art, pp. 34–63 (1994)
Bar-Noy, A., Choudhary, K., Peleg, D., Rawitz, D.: Graph realizations: maximum degree in vertex neighborhoods. In: 17th SWAT. LIPIcs, vol. 162, pp. 10–11017 (2020)
Bar-Noy, A., Choudhary, K., Cohen, A., Peleg, D., Rawitz, D.: Minimum neighboring degree realization in graphs and trees. In: 28th ESA. LIPIcs, vol. 173, pp. 10–11015 (2020)
Bar-Noy, A., Choudhary, K., Peleg, D., Rawitz, D.: Realizability of graph specifications: Characterizations and algorithms. In: 25th SIROCCO. LNCS, vol. 11085, pp. 3–13 (2018)
Bar-Noy, A., Choudhary, K., Peleg, D., Rawitz, D.: Graph profile realizations and applications to social networks. In: 13th WALCOM. LNCS, vol. 11355, pp. 1–12 (2019)
Anstee, R.P.: An algorithmic proof of tutte’s \(f\)-factor theorem. J. Algorithms 6(1), 112–131 (1985)
Acknowledgements
Supported in part by a US-Israel BSF Grant (2018043). A preliminary version was presented at IWOCA 2021.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Bar-Noy, A., Peleg, D., Perry, M. et al. Composed Degree-Distance Realizations of Graphs. Algorithmica 85, 665–687 (2023). https://doi.org/10.1007/s00453-022-01055-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00453-022-01055-2