Abstract
Directed hypergraphs are used in several applications to model different combinatorial structures. A directed hypergraph is defined by a set of nodes and a set of hyperarcs, each connecting a set of source nodes to a single target node. A hyperpath, similarly to the notion of path in directed graphs, consists of a connection among nodes using hyperarcs. Unlike paths in graphs, however, hyperpaths are suitable of many different definitions of measure, corresponding to different concepts arising in various applications. In this paper we consider the problem of finding optimal hyperpaths according to several measures. We also provide results that may shed some light on the intrinsic complexity of finding optimal hyperpaths.
Work supported in part by EU ESPRIT Long Term Research Project ALCOM-IT under contract no. 20244.
Preview
Unable to display preview. Download preview PDF.
References
P. Alimonti, E. Feuerstein, and U. Nanni. Linear time algorithms for liveness and boundedness in conflict-free petri nets. In 1st Latin American Theoretical Informatics, volume 583, pages 1–14. Lecture Notes in Computer Science, Springer-Verlag, 1992.
G. Ausiello, A. D'Atri, and D. Saccà. Graph algorithms for functional dependency manipulation. Journal of the ACM, 30:752–766, 1983.
G. Ausiello, A. D'Atri, and D. Saccà. Minimal representation of directed hypergraphs. SIAM Journal on Computing, 15:418–431, 1986.
G. Ausiello, R. Giaccio. On-line algorithms for satisfiability formulae with uncertainty. Theoretical Computer Science 171:3–24, 1997.
G. Ausiello, R. Giaccio, G. F. Italiano, and U. Nanni. Optimal traversal of directed hypergraphs. Manuscript, 1997.
G. Ausiello and G. F. Italiano. Online algorithms for polynomially solvable satisfiability problems. Journal of Logic Programming, 10:69–90, 1991.
G. Ausiello, G. F. Italiano, and U. Nanni. Dynamic maintenance of directed hypergraphs. Theoretical Computer Science, 72(2–3):97–117, 1990.
M. L. Fredman and R. E. Tarjan. Fibonacci heaps and their uses in improved network optimization algorithms. Journal of the ACM, 34:596–615, 1987.
G. Gallo, G. Longo, S. Nguyen, and S. Pallottino. Directed hypergraphs and applications. Discrete Applied Mathematics 42 (1993) 177–201.
G. Gallo and G. Rago. A hypergraph approach to logical inference for Datalog formulae. Technical Report 28/90, Dip. di Informatica, Univ. of Pisa, Italy, 1990.
G. F. Italiano and U. Nanni. On line maintenance of minimal directed hypergraphs. In 3rd Italian Conf. on Theoretical Computer Science, pages 335–349. World Scientific Co., 1989.
D. E. Knuth. A generalization of Dijkstra's algorithm. Information Processing Letters, 6(1):1–5, 1977.
P. B. Miltersen. On-line reevaluation of functions. Technical Report DAIMI PB-380, Comp. Sci. Dept., Aarhus University, January 1992.
S. Nguyen and S. Pallottino. Hyperpaths and shortest hyperpaths. Combinatorial Optimization, 1403:258–271, 1989.
G. Ramalingam and T. Reps, An Incremental Algorithm for a Generalization of the Shortest Path Problem, Journal of Algorithms, 21:267–305, 1996.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ausiello, G., Italiano, G.F., Nanni, U. (1998). Hypergraph traversal revisited: Cost measures and dynamic algorithms. In: Brim, L., Gruska, J., Zlatuška, J. (eds) Mathematical Foundations of Computer Science 1998. MFCS 1998. Lecture Notes in Computer Science, vol 1450. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055754
Download citation
DOI: https://doi.org/10.1007/BFb0055754
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64827-7
Online ISBN: 978-3-540-68532-6
eBook Packages: Springer Book Archive