Abstract
A model for parallel and distributed programs, the dynamic process graph, is investigated under graph-theoretic and complexity aspects. Such graphs are capable of representing all possible executions of a parallel or distributed program in a very compact way. The size of this representation is small — in many cases only logarithmic with respect to the size of any execution of the program. An important feature of this model is that the encoded executions are directed acyclic graphs with a regular structure, which is typical of parallel programs, and that it embeds constructors for parallel programs, synchronization mechanisms as well as conditional branches.
In a previous paper we have analysed the expressive power of the general model and various restrictions. Furthermore, from an algorithmic point of view it is important to decide whether a given dynamic process graph can be executed correctly and to estimate the minimal deadline given enough parallelism. Our model takes into account communication delays between processors when exchanging data.
In this paper we study a variant with output restriction. It is appropriate in many situations, but its expressive power has not been known exactly. First, we investigate structural properties of the executions of such dynamic process graph s \( \mathcal{G} \). A natural graph-theoretic conjecture that executions must always split into components isomorphic to subgraphs of \( \mathcal{G} \) turns out to be wrong. We are able to establish a weaker property. This implies a quadratic bound on the maximal deadline in contrast to the general case, where the execution time may be exponential. However, we show that the problem to determine the minimal deadline is still intractable, namely this problem is \( \mathcal{N} \) EXPTIME-complete as is the general case. The lower bound is obtained by showing that this kind of dynamic process graph s can represent certain Boolean formulas in a highly succint way.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
H. Galperin, A. Wigderson, Succinct Representations of Graphs, Information and Control 56, 1983, 183–198.
S. Ha, E. Lee, Compile-time Scheduling and Assignment of Data-flow Program Graphs with Data-dependent Iteration, IEEE Trans. Computers 40, 1991, 1225–1238.
A. Jakoby, M. LiŚkiewicz, R. Reischuk, Scheduling Dynamic Graphs, in Proc. 16th STACS’99, LNCS 1563, Springer-Verlag, 1999, 383–392; for a complete version see TR A-00-02, Universität Lübeck, 2000.
T. Lengauer, K. Wagner, The Correlation between the Complexities of the Non-hierarchical and Hierarchical Versions of Graph Problems, J. CSS 44, 1992, 63–93.
C. Papadimitriou and M. Yannakakis, A Note on Succinct Representations of Graphs, Information and Control 71, 1986, 181–185.
C. Papadimitriou and M. Yannakakis, Towards an Architecture-Independent Analysis of Parallel Algorithms, Proc. 20. STOC, 1988, 510–513, see also SIAM J. Comput. 19, 1990, 322-328.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jakoby, A., LiŚkiewicz, M., Reischuk, R. (2000). The Expressive Power and Complexity of Dynamic Process Graphs. In: Brandes, U., Wagner, D. (eds) Graph-Theoretic Concepts in Computer Science. WG 2000. Lecture Notes in Computer Science, vol 1928. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40064-8_22
Download citation
DOI: https://doi.org/10.1007/3-540-40064-8_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41183-3
Online ISBN: 978-3-540-40064-6
eBook Packages: Springer Book Archive