Decision Problems and Round-Off Machines

被引:0
|
作者
F. Cucker
J. -P. Dedieu
机构
[1] Department of Mathematics,
[2] City University of Hong Kong,undefined
[3] macucker@math.cityu.edu.hk,undefined
[4] MIP-Département de Mathématique,undefined
[5] Université Paul Sabatier,undefined
[6] dedieu@mip.ups-tlse.fr,undefined
来源
关键词
Decision Problem; SIAM Journal; Finite Precision; Exact Arithmetic; Failure Message;
D O I
暂无
中图分类号
学科分类号
摘要
We study the behavior of decision machines working with finite precision. We give answers to the following questions: (A) under which conditions is the answer provided by the machine correct? and (B) under which conditions does there exist an element y close to the input x such that the decision for x obtained with finite precision coincides with that for y under infinite precision?
引用
收藏
页码:433 / 452
页数:19
相关论文
共 50 条