ar X iv : c s . L O / 0 60 80 40 v 1 8 A ug 2 00 6 An Embedding of the BSS Model of Computation in
نویسنده
چکیده
This paper brings together two lines of research: implicit characterization of complexity classes by Linear Logic (LL) on the one hand, and computation over an arbitrary ring in the Blum-Shub-Smale (BSS) model on the other. Given a fixed ring structure K we define an extension of Terui’s light affine lambda-calculus typed in LAL (Light Affine Logic) with a basic type for K. We show that this calculus captures the polynomial time function class FP(K): every typed term can be evaluated in polynomial time and conversely every polynomial time BSS machine over K can be simulated in this calculus.
منابع مشابه
ar X iv : n uc l - th / 0 60 80 54 v 1 2 4 A ug 2 00 6 Problems with interpretation of 10 He ground state
L. V. Grigorenko, 3 A. A. Korsheninnikov, and M. V. Zhukov Flerov Laboratory of Nuclear Reactions, JINR, RU-141980 Dubna, Russia Gesellschaft für Schwerionenforschung mbH, Planckstrasse 1, D-64291, Darmstadt, Germany RRC “The Kurchatov Institute”, Kurchatov sq. 1, 123182 Moscow, Russia Department of Physics, Chalmers University of Technology and Göteborg University, S-41296 Göteborg, Sweden (Da...
متن کاملar X iv : n uc l - th / 0 10 80 18 v 1 8 A ug 2 00 1 1 Photon and Electron induced Particle Production on Nuclei ∗
متن کامل
ar X iv : m at h - ph / 0 60 70 40 v 1 2 0 Ju l 2 00 6 Invariant Form of BK - factorization and its Applications
متن کامل
ar X iv : 0 80 3 . 44 39 v 2 [ m at h . D S ] 4 A ug 2 00 8 PERIODIC UNIQUE BETA - EXPANSIONS : THE SHARKOVSKIĬ ORDERING
Let β ∈ (1, 2). Each x ∈ [0, 1 β−1 ] can be represented in the form
متن کاملar X iv : h ep - l at / 0 20 80 60 v 1 2 7 A ug 2 00 2 1 Large N reduction with overlap fermions
We revisit quenched reduction with fermions and explain how some old problems can be avoided using the overlap Dirac operator.
متن کامل