Abstract
The “mean speedup” of a trace monoid can be interpreted as an index of the “intrinsic parallelism”. We study the problem of computing the mean speedup under two conditions: (1) uniform distribution on the words of given length and (2) uniform distribution on the traces of given height. In the first case, we give an approximability result showing a probabilistic fully polynomial time approximation scheme, while, in the second case, we prove that the problem is NP-hard to approximate within n 1 − ε for every ε> 0, unless NP = coR.
This work is partially supported by the MIUR PRIN Project “Automata and Formal languages: mathematical and application driven studies”.
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
Blondel, V.D., Gaubert, S., Tsitsiklis, J.N.: Approximating the spectral radius of sets of matrices in the max-algebra is NP-hard. IEEE Trans. Automat. Control 45(9), 1762–1765 (2000)
Brilman, M., Vincent, J.M.: Dynamics of synchronized parallel systems. Comm. Statist. Stochastic Models 13(3), 605–617 (1997)
Brilman, M., Vincent, J.-M.: On the estimation of the throughput for a class of stochastic resources sharing systems. Math. Oper. Res. 23(2), 305–321 (1998)
Cartier, P., Foata, D.: Problèmes combinatoires de commutation et réarrangements. Lecture Notes in Mathematics, vol. 85. Springer-Verlag, Berlin Heidelberg (1969)
Gaubert, S.: Performance evaluation of ( max , + ) automata. IEEE Trans. Automat. Control 40(12), 2014–2025 (1995)
Gaubert, S., Mairesse, J.: Task resource models and ( max , + ) automata. In: Idempotency (Bristol, 1994). Publ. Newton Inst, vol. 11, pp. 133–144. Cambridge Univ. Press, Cambridge (1998)
Håstad, J.: Clique is hard to approximate within \(n\sp {1-\epsilon}\). Acta Math. 182(1), 105–142 (1999)
Krob, D., Mairesse, J., Ioannis, M.: Computing the average parallelism in trace monoids. Discrete Math. 273(1-3), 131–162 (2003) (EuroComb’01 Barcelona)
Mazurkiewicz, A.: Concurrent program schemes and their interpretation. Technical Report DAIMI PB-78, Aarhus University, Comp. Science Depart. (July 1977)
Saheb, N.: Concurrency measure in commutation monoids. Discrete Appl. Math. 24(1-3), 223–236 (1989) First Montreal Conference on Combinatorics and Computer Science, 1987
Saheb, N., Zemmari, A.: Methods for computing the concurrency degree of commutation monoids. In: Formal power series and algebraic combinatorics (Moscow, 2000), pp. 731–742. Springer, Berlin, Heidelberg (2000)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bertoni, A., Radicioni, R. (2007). Approximability and Non-approximability Results in Computing the Mean Speedup of Trace Monoids. In: Harju, T., Karhumäki, J., Lepistö, A. (eds) Developments in Language Theory. DLT 2007. Lecture Notes in Computer Science, vol 4588. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73208-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-540-73208-2_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73207-5
Online ISBN: 978-3-540-73208-2
eBook Packages: Computer ScienceComputer Science (R0)