Max-Plus Quasi-interpretations
نویسنده
چکیده
Résumé Quasi-interpretations are a tool to bound the size of the values computed by a first-order functional program (or a term rewriting system) and thus a mean to extract bounds on its computational complexity. We study the synthesis of quasi-interpretations selected in the space of polynomials over the max-plus algebra determined by the non-negative rationals extended with −∞ and equipped with binary operations for the maximum and the addition. We prove that in this case the synthesis problem is NP-hard, and in NP for the particular case of multi-linear quasi-interpretations when programs are specified by rules of bounded size. The relevance of multi-linear quasi-interpretations is discussed by comparison to certain syntactic and type theoretic conditions proposed in the literature to control time and space complexity.
منابع مشابه
Max-Plus algebra on tensors and its properties
In this paper we generalize the max plus algebra system of real matrices to the class of real tensors and derive its fundamental properties. Also we give some basic properties for the left (right) inverse, under the new system. The existence of order 2 left (right) inverses of tensors is characterized.
متن کاملOn the maximum amplitude and coherence of the kilohertz quasi-periodic oscillations in low-mass X-ray binaries
I study the behaviour of the maximum rms fractional amplitude, rmax and the maximum coherence, Qmax, of the kilohertz quasi-periodic oscillations (kHz QPOs) in a dozen low-mass X-ray binaries. I find that: (i) The maximum rms amplitudes of the lower and the upper kHz QPO, r max and ru max , respectively, decrease more or less exponentially with increasing luminosity of the source; (ii) the maxi...
متن کاملModularity of the Quasi-interpretations Synthesis and an Application to Higher-Order Programs
Quasi-interpretations have shown their interest to deal with resource analysis of first order functional programs. There are at least two reasons to study the question of modularity of quasi-interpretations. Firstly, modularity allows to decrease the complexity of the quasi-interpretation search algorithms. Secondly, modularity allows to increase the intentionality of the quasi-interpretation m...
متن کاملMax-plus algebra and max-plus linear discrete event systems: An introduction
We provide an introduction to the max-plus algebra and explain how it can be used to model a specific class of discrete event systems with synchronization but no concurrency. Such systems are called max-plus linear discrete event systems because they can be described by a model that is “linear” in the max-plus algebra. We discuss some key properties of the max-plus algebra and indicate how thes...
متن کاملMax-plus Singular Values
In this paper we prove a new characterization of the max-plus singular values of a maxplus matrix, as the max-plus eigenvalues of an associated max-plus matrix pencil. This new characterization allows us to compute max-plus singular values quickly and accurately. As well as capturing the asymptotic behavior of the singular values of classical matrices whose entries are exponentially parameteriz...
متن کامل