A theory of complexity for continuous time systems

被引:24
作者
Ben-Hur, A
Siegelmann, HT
Fishman, S
机构
[1] Technion Israel Inst Technol, Fac Ind Engn & Management, IL-32000 Haifa, Israel
[2] MIT, Informat & Decis Syst Lab, Cambridge, MA 02139 USA
[3] Technion Israel Inst Technol, Dept Phys, IL-32000 Haifa, Israel
关键词
theory of analog computation; dynamical systems;
D O I
10.1006/jcom.2001.0581
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We present a model of computation with ordinary differential equations (ODEs) which converge to attractors that are interpreted as the output of a computation. We introduce a measure of complexity for exponentially convergent ODEs. enabling an algorithmic analysis of continuous time flows and their comparison with discrete algorithms. We define polynomial and logarithmic continuous time complexity classes and show that an ODE which solves the maximum network flow problem has polynomial time complexity. We also analyze a simple flow that solves the Maximum problem in logarithmic time. We conjecture that a subclass of the continuous P is equivalent to the classical P. (C) 2001 Elsevier Science (USA).
引用
收藏
页码:51 / 86
页数:36
相关论文
共 54 条
[1]  
[Anonymous], 1974, Differential Equations, Dynamical Systems, and Linear Algebra
[2]  
[Anonymous], 1993, CHAOS DYNAMICAL SYST
[3]   REACHABILITY ANALYSIS OF DYNAMICAL-SYSTEMS HAVING PIECEWISE-CONSTANT DERIVATIVES [J].
ASARIN, E ;
MALER, O ;
PNUELI, A .
THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) :35-65
[4]  
BAZARAA MS, 1990, LINEAR PROGRAMMING N
[5]  
BENHUR A, COMPLEXITY SOLVING L
[6]   ON A THEORY OF COMPUTATION AND COMPLEXITY OVER THE REAL NUMBERS - NP-COMPLETENESS, RECURSIVE FUNCTIONS AND UNIVERSAL MACHINES [J].
BLUM, L ;
SHUB, M ;
SMALE, S .
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1989, 21 (01) :1-46
[7]  
BLUM L, 1999, COMPLEXITY REAL COMP
[8]   Achilles and the Tortoise climbing up the hyper-arithmetical hierarchy [J].
Bournez, O .
THEORETICAL COMPUTER SCIENCE, 1999, 210 (01) :21-71
[9]  
Branicky M. S., 1994, Proceedings. Workshop on Physics and Computation PhysComp '94, P265, DOI 10.1109/PHYCMP.1994.363672
[10]   DYNAMIC-SYSTEMS THAT SORT LISTS, DIAGONALIZE MATRICES, AND SOLVE LINEAR-PROGRAMMING PROBLEMS [J].
BROCKETT, RW .
LINEAR ALGEBRA AND ITS APPLICATIONS, 1991, 146 :79-91