Polygraphic programs and polynomial-time functions
نویسندگان
چکیده
منابع مشابه
Polygraphic programs and polynomial-time functions
We study the computational model of polygraphs. For that, we consider polygraphic programs, a subclass of these objects, as a formal description of first-order functional programs. We explain their semantics and prove that they form a Turing-complete computational model. Their algebraic structure is used by analysis tools, called polygraphic interpretations, for complexity analysis. In particul...
متن کاملCertifying Polynomial Time and Linear/Polynomial Space for Imperative Programs
In earlier work of Kristiansen and Niggl the polynomial-time computable functions were characterised by stack programs of μ-measure 0, and the linear-space computable functions by loop programs of μ-measure 0. Until recently, an open problem was how to extend these characterisations to programs with user-friendly basic instructions, such as assignment statements, and with mixed data structures....
متن کاملPolynomial time computable real functions
In this paper, we study computability and complexity of real functions. We extend these notions, already defined for functions over closed intervals or over the real line to functions over particular real open sets and give some results and characterizations, especially for polynomial time computable functions. Our representation of real numbers as sequences of rational numbers allows us to imp...
متن کاملRecognizing permutation functions in polynomial time
Let Fq be a finite field and f(x) ∈ Fq(x) be a rational function over Fq. The decision problem PermFunction consists of deciding whether f(x) induces a permutation on the elements of Fq. That is, we want to decide whether the corresponding map f : Fq 7→ Fq defined by a 7→ f(a) is a bijective mapping or not. This problem was known to be in ZPP but not known to be in P. We resolve the complexity ...
متن کاملDifferentiability of polynomial time computable functions
We show that a real z is polynomial time random if and only if each nondecreasing polynomial time computable function is differentiable at z. This establishes an analog in feasible analysis of a recent result of Brattka, Miller and Nies, who characterized computable randomness in terms of differentiability of nondecreasing computable functions. Further, we show that a Martin-Löf random real z i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2009
ISSN: 1860-5974
DOI: 10.2168/lmcs-5(2:14)2009