Namespaces
Variants
Actions

Difference between revisions of "Information-based complexity"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (AUTOMATIC EDIT (latexlist): Replaced 7 formulas out of 9 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
Line 1: Line 1:
 +
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
 +
 +
Out of 9 formulas, 7 were replaced by TEX code.-->
 +
 +
{{TEX|semi-auto}}{{TEX|partial}}
 
''IBC''
 
''IBC''
  
Line 5: Line 13:
 
Information-based complexity is part of continuous computational complexity. Typically, it studies infinite-dimensional problems for which the input is an element of an infinite-dimensional space. Examples of such problems include multivariate integration or approximation, solution of ordinary or partial differential equations, integral equations, optimization, and solution of non-linear equations. The input of such problems is usually a multivariate function on the real numbers, represented by an oracle (subroutine) which computes, for example, the function value at a given point. This oracle can be used only a finite number of times. That is why only partial information is available when solving an infinite-dimensional problem on a digital computer. This partial information is often contaminated with errors such as round-off errors, measurement errors, or human errors. Thus, the available information is partial and/or contaminated. Therefore, the original problem can be solved only approximately. The goal of information-based complexity is to compute such an approximation at minimal cost. The error and the cost of approximation can be defined in different settings including worst case, average case (see also [[Bayesian numerical analysis|Bayesian numerical analysis]]), probabilistic, randomized (see also [[Monte-Carlo method|Monte-Carlo method]]; [[Stochastic numerical algorithm|Stochastic numerical algorithm]]) and mixed settings.
 
Information-based complexity is part of continuous computational complexity. Typically, it studies infinite-dimensional problems for which the input is an element of an infinite-dimensional space. Examples of such problems include multivariate integration or approximation, solution of ordinary or partial differential equations, integral equations, optimization, and solution of non-linear equations. The input of such problems is usually a multivariate function on the real numbers, represented by an oracle (subroutine) which computes, for example, the function value at a given point. This oracle can be used only a finite number of times. That is why only partial information is available when solving an infinite-dimensional problem on a digital computer. This partial information is often contaminated with errors such as round-off errors, measurement errors, or human errors. Thus, the available information is partial and/or contaminated. Therefore, the original problem can be solved only approximately. The goal of information-based complexity is to compute such an approximation at minimal cost. The error and the cost of approximation can be defined in different settings including worst case, average case (see also [[Bayesian numerical analysis|Bayesian numerical analysis]]), probabilistic, randomized (see also [[Monte-Carlo method|Monte-Carlo method]]; [[Stochastic numerical algorithm|Stochastic numerical algorithm]]) and mixed settings.
  
The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120030/i1200302.png" />-complexity is defined as the minimal cost of computing an approximation with error at most <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120030/i1200303.png" />. For many problems, sharp complexity bounds are obtained by studying only the information cost.
+
The <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120030/i1200302.png"/>-complexity is defined as the minimal cost of computing an approximation with error at most <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120030/i1200303.png"/>. For many problems, sharp complexity bounds are obtained by studying only the information cost.
  
 
Information-based complexity is a branch of computational complexity and is formulated as an abstract theory with applications in many areas. Since continuous computational problems are of interest in many fields, information-based complexity has common interests and has greatly benefited from these fields. Questions, concepts, and results from approximation theory, numerical analysis, applied mathematics, statistics, complexity theory, algorithmic analysis, number theory, analysis and measure theory have all been influential. See also [[#References|[a2]]], [[#References|[a4]]], [[#References|[a5]]], [[#References|[a6]]], [[#References|[a8]]].
 
Information-based complexity is a branch of computational complexity and is formulated as an abstract theory with applications in many areas. Since continuous computational problems are of interest in many fields, information-based complexity has common interests and has greatly benefited from these fields. Questions, concepts, and results from approximation theory, numerical analysis, applied mathematics, statistics, complexity theory, algorithmic analysis, number theory, analysis and measure theory have all been influential. See also [[#References|[a2]]], [[#References|[a4]]], [[#References|[a5]]], [[#References|[a6]]], [[#References|[a8]]].
  
Recent emphasis in information-based complexity is on the study of complexity of linear multivariate problems involving functions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120030/i1200304.png" /> variables with large or even infinite <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120030/i1200305.png" />. For example, for path integration one has <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120030/i1200306.png" />, while the approximation of path integrals yields multivariate integration with huge <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120030/i1200307.png" />, see [[#References|[a7]]].
+
Recent emphasis in information-based complexity is on the study of complexity of linear multivariate problems involving functions of $d$ variables with large or even infinite $d$. For example, for path integration one has $d = + \infty$, while the approximation of path integrals yields multivariate integration with huge $d$, see [[#References|[a7]]].
  
Linear multivariate problems are studied in various settings. The main question is to check which linear multivariate problems are tractable, i.e., their complexity is polynomial in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120030/i1200308.png" /> and in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120030/i1200309.png" />. The [[Smolyak algorithm|Smolyak algorithm]], or a modification of it, is often near optimal for general multivariate problems defined over tensor product spaces. Some of such problems are tractable even in the worst-case setting.
+
Linear multivariate problems are studied in various settings. The main question is to check which linear multivariate problems are tractable, i.e., their complexity is polynomial in $d$ and in $\epsilon ^ { - 1 }$. The [[Smolyak algorithm|Smolyak algorithm]], or a modification of it, is often near optimal for general multivariate problems defined over tensor product spaces. Some of such problems are tractable even in the worst-case setting.
  
In the worst-case setting, many multivariate problems defined over isotropic spaces are intractable. This means that they suffer the [[Curse of dimension|curse of dimension]], since their complexity is an exponential function of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/i/i120/i120030/i12003010.png" />. The curse of dimension can be sometimes broken by switching to another setting, such as an average case or randomized setting, or by shrinking the class of input functions.
+
In the worst-case setting, many multivariate problems defined over isotropic spaces are intractable. This means that they suffer the [[Curse of dimension|curse of dimension]], since their complexity is an exponential function of $d$. The curse of dimension can be sometimes broken by switching to another setting, such as an average case or randomized setting, or by shrinking the class of input functions.
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  L. Blum,  M. Shub,  S. Smale,  "On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines"  ''Bull. Amer. Math. Soc.'' , '''21'''  (1989)  pp. 1–46</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  E. Novak,  "Deterministic and stochastic error bounds in numerical analysis" , ''Lecture Notes Math.'' , '''1349''' , Springer  (1988)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  E. Novak,  "The real number model in numerical analysis"  ''J. Complexity'' , '''11'''  (1995)  pp. 57–73</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  L. Plaskota,  "Noisy information and computational complexity" , Cambridge Univ. Press  (1996)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  J.F. Traub,  G.W. Wasilkowski,  H. Woźniakowski,  "Information-based complexity" , Acad. Press  (1988)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  J.F. Traub,  A.G. Werschulz,  "Complexity and information" , Cambridge Univ. Press  (1998)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  G.W. Wasilkowski,  H. Woźniakowski,  "On tractability of path integration"  ''J. Math. Phys.'' , '''37'''  (1996)  pp. 2071–2088</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  A.G. Werschulz,  "The computational complexity of differential and integral equations: An information-based approach" , Oxford Univ. Press  (1991)</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top">  L. Blum,  M. Shub,  S. Smale,  "On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines"  ''Bull. Amer. Math. Soc.'' , '''21'''  (1989)  pp. 1–46</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  E. Novak,  "Deterministic and stochastic error bounds in numerical analysis" , ''Lecture Notes Math.'' , '''1349''' , Springer  (1988)</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  E. Novak,  "The real number model in numerical analysis"  ''J. Complexity'' , '''11'''  (1995)  pp. 57–73</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  L. Plaskota,  "Noisy information and computational complexity" , Cambridge Univ. Press  (1996)</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  J.F. Traub,  G.W. Wasilkowski,  H. Woźniakowski,  "Information-based complexity" , Acad. Press  (1988)</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  J.F. Traub,  A.G. Werschulz,  "Complexity and information" , Cambridge Univ. Press  (1998)</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  G.W. Wasilkowski,  H. Woźniakowski,  "On tractability of path integration"  ''J. Math. Phys.'' , '''37'''  (1996)  pp. 2071–2088</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  A.G. Werschulz,  "The computational complexity of differential and integral equations: An information-based approach" , Oxford Univ. Press  (1991)</td></tr></table>

Revision as of 16:56, 1 July 2020

IBC

Computational complexity studies the intrinsic difficulty of solving mathematically posed problems. Discrete computational complexity studies discrete problems and often uses the Turing machine model of computation. Continuous computational complexity studies continuous problems and tends to use the real number model; see [a1], [a3] as well as Optimization of computational algorithms.

Information-based complexity is part of continuous computational complexity. Typically, it studies infinite-dimensional problems for which the input is an element of an infinite-dimensional space. Examples of such problems include multivariate integration or approximation, solution of ordinary or partial differential equations, integral equations, optimization, and solution of non-linear equations. The input of such problems is usually a multivariate function on the real numbers, represented by an oracle (subroutine) which computes, for example, the function value at a given point. This oracle can be used only a finite number of times. That is why only partial information is available when solving an infinite-dimensional problem on a digital computer. This partial information is often contaminated with errors such as round-off errors, measurement errors, or human errors. Thus, the available information is partial and/or contaminated. Therefore, the original problem can be solved only approximately. The goal of information-based complexity is to compute such an approximation at minimal cost. The error and the cost of approximation can be defined in different settings including worst case, average case (see also Bayesian numerical analysis), probabilistic, randomized (see also Monte-Carlo method; Stochastic numerical algorithm) and mixed settings.

The -complexity is defined as the minimal cost of computing an approximation with error at most . For many problems, sharp complexity bounds are obtained by studying only the information cost.

Information-based complexity is a branch of computational complexity and is formulated as an abstract theory with applications in many areas. Since continuous computational problems are of interest in many fields, information-based complexity has common interests and has greatly benefited from these fields. Questions, concepts, and results from approximation theory, numerical analysis, applied mathematics, statistics, complexity theory, algorithmic analysis, number theory, analysis and measure theory have all been influential. See also [a2], [a4], [a5], [a6], [a8].

Recent emphasis in information-based complexity is on the study of complexity of linear multivariate problems involving functions of $d$ variables with large or even infinite $d$. For example, for path integration one has $d = + \infty$, while the approximation of path integrals yields multivariate integration with huge $d$, see [a7].

Linear multivariate problems are studied in various settings. The main question is to check which linear multivariate problems are tractable, i.e., their complexity is polynomial in $d$ and in $\epsilon ^ { - 1 }$. The Smolyak algorithm, or a modification of it, is often near optimal for general multivariate problems defined over tensor product spaces. Some of such problems are tractable even in the worst-case setting.

In the worst-case setting, many multivariate problems defined over isotropic spaces are intractable. This means that they suffer the curse of dimension, since their complexity is an exponential function of $d$. The curse of dimension can be sometimes broken by switching to another setting, such as an average case or randomized setting, or by shrinking the class of input functions.

References

[a1] L. Blum, M. Shub, S. Smale, "On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines" Bull. Amer. Math. Soc. , 21 (1989) pp. 1–46
[a2] E. Novak, "Deterministic and stochastic error bounds in numerical analysis" , Lecture Notes Math. , 1349 , Springer (1988)
[a3] E. Novak, "The real number model in numerical analysis" J. Complexity , 11 (1995) pp. 57–73
[a4] L. Plaskota, "Noisy information and computational complexity" , Cambridge Univ. Press (1996)
[a5] J.F. Traub, G.W. Wasilkowski, H. Woźniakowski, "Information-based complexity" , Acad. Press (1988)
[a6] J.F. Traub, A.G. Werschulz, "Complexity and information" , Cambridge Univ. Press (1998)
[a7] G.W. Wasilkowski, H. Woźniakowski, "On tractability of path integration" J. Math. Phys. , 37 (1996) pp. 2071–2088
[a8] A.G. Werschulz, "The computational complexity of differential and integral equations: An information-based approach" , Oxford Univ. Press (1991)
How to Cite This Entry:
Information-based complexity. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Information-based_complexity&oldid=12167
This article was adapted from an original article by Henryk Woźniakowski (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article