Abstract
In this paper we present a decremental algorithm for maintaining minimum rank hyperpaths in a directed hypergraph from a source vertex s to all other vertices, under the assumption of unit hyperedge weights. Given a hypergraph H with n vertices and m hyperedges, the total time needed to perform a sequence of m hyperedge deletions is O(n · Size(H)), where Size(H) is the sum of the sizes of the hyperedges of H; the total space needed is O(n + Size(H)). In the case of integer hyperedge weights in [1, C] our solution requires O(C · n · Size(H)) total time and O(C + n + Size(H)) space.
Using the algorithm presented in this paper, we also show how to maintain the satisfiability and the minimum model of a Horn formula F with n propositional symbols in total time O(n·Length(F)) over any sequence of clause deletions.
Work partially supported by European Union ESPRIT Long Term Research Project ALCOM-IT under contract no. 20244, and by Progetto Finalizzato Trasporti 2 of the Italian National Research Council.
Preview
Unable to display preview. Download preview PDF.
References
Alimonti, P., Feuerstein, E., Nanni, U.: Linear time algorithms for liveness and boundedness in conflict-free petri nets. 1st Latin American Symposium on Theoretical Informatics, Säo Paulo, Brazil, April 1992; Lect. Notes in Comp. Sci., 583, 1–14, Springer-Verlag (April 1992).
Ausiello, G., D'Atri, A., Sacca, D.: Minimal representation of directed hypergraphs. SIAM Journal on Computing 2 (1986) 418–431.
Ausiello, G., Italiano, G. F.: On-line algorithms for polinomially solvable satisfiability problems. Journal of Logic Programming 10 (1991) 69–90.
Ausiello, G., Italiano, G. F., Nanni, U.: Dynamic maintenance of directed hypergraphs. Theoretical Computer Science 72 (1990) 97–117.
Ausiello, G., Italiano, G. F., Nanni, U.: Optimal traversal of directed hypergraphs. ICSI Technical Report TR-92-073 (September 1992).
Ausiello, G., D'Atri, A., Saccà, D.: Graph algorithms for functional dependency manipulation. J. ACM, 30, 752–766 (1983).
Ausiello, G., Giaccio, R.: On-line algorithms for satisfiability formulae with uncertainty. Theoretical Computer Science 171 (1997) 3–24.
Cambini, R., Gallo, G., Scutellà, M. G.: Flows on hypergraphs. To appear in Mathematical Programming B.
Dowling, W. F., Gallier, J. H.: Linear-time algorithms for testing the satisfiability of propositional Horn formulae. Journal of Logic Programming, 3 (1984) 267–284.
Franciosa, P. G., Frigioni, D., Giaccio, R.: Semi-dynamic shortest paths and breadth first search in digraphs. Symposium on Theoretical Aspects of Computer Science 1997, LNCS vol. 1200, Springer-Verlag (February 1997) 33–46.
Gallo, G., Longo, G., Nguyen, S., Pallottino, S.: Directed hypergraphs and applications. Discrete Applied Mathematics 42 (1993) 177–201.
Italiano, G. F., Nanni, U.: On line maintenance of minimal directed hypergraphs. Proc. 3rd Italian Conference on Theoretical Computer Science, Mantova, Italy, 2–4 November 1989, World Scientific Co., 335–349.
Knuth, D. E.: A generalization of Dijkstra's algorithm, Information Processing Letters 6 (1) pp. 1–5 (1977).
Ramalingam, G., Reps, T.: An incremental algorithm for a generalized shortest-path problem. Journal of Algorithms 21 (1996) 267–305.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ausiello, G., Franciosa, P.G., Frigioni, D., Giaccio, R. (1997). Decremental maintenance of reachability in hypergraphs and minimum models of horn formulae. In: Leong, H.W., Imai, H., Jain, S. (eds) Algorithms and Computation. ISAAC 1997. Lecture Notes in Computer Science, vol 1350. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63890-3_14
Download citation
DOI: https://doi.org/10.1007/3-540-63890-3_14
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63890-2
Online ISBN: 978-3-540-69662-9
eBook Packages: Springer Book Archive