Results 1  10
of
114
Settling the Complexity of Computing TwoPlayer Nash Equilibria
"... We prove that Bimatrix, the problem of finding a Nash equilibrium in a twoplayer game, is complete for the complexity class PPAD (Polynomial Parity Argument, Directed version) introduced by Papadimitriou in 1991. Our result, building upon the work of Daskalakis, Goldberg, and Papadimitriou on the c ..."
Abstract

Cited by 44 (3 self)
 Add to MetaCart
We prove that Bimatrix, the problem of finding a Nash equilibrium in a twoplayer game, is complete for the complexity class PPAD (Polynomial Parity Argument, Directed version) introduced by Papadimitriou in 1991. Our result, building upon the work of Daskalakis, Goldberg, and Papadimitriou on the complexity of fourplayer Nash equilibria [21], settles a long standing open problem in algorithmic game theory. It also serves as a starting point for a series of results concerning the complexity of twoplayer Nash equilibria. In particular, we prove the following theorems: • Bimatrix does not have a fully polynomialtime approximation scheme unless every problem in PPAD is solvable in polynomial time. • The smoothed complexity of the classic LemkeHowson algorithm and, in fact, of any algorithm for Bimatrix is not polynomial unless every problem in PPAD is solvable in randomized polynomial time. Our results also have a complexity implication in mathematical economics: • ArrowDebreu market equilibria are PPADhard to compute.
Recursively Enumerable Reals and Chaitin Ω Numbers
"... A real is called recursively enumerable if it is the limit of a recursive, increasing, converging sequence of rationals. Following Solovay [23] and Chaitin [10] we say that an r.e. real dominates an r.e. real if from a good approximation of from below one can compute a good approximation of from b ..."
Abstract

Cited by 34 (3 self)
 Add to MetaCart
A real is called recursively enumerable if it is the limit of a recursive, increasing, converging sequence of rationals. Following Solovay [23] and Chaitin [10] we say that an r.e. real dominates an r.e. real if from a good approximation of from below one can compute a good approximation of from below. We shall study this relation and characterize it in terms of relations between r.e. sets. Solovay's [23]like numbers are the maximal r.e. real numbers with respect to this order. They are random r.e. real numbers. The halting probability ofa universal selfdelimiting Turing machine (Chaitin's Ω number, [9]) is also a random r.e. real. Solovay showed that any Chaitin Ω number islike. In this paper we show that the converse implication is true as well: any Ωlike real in the unit interval is the halting probability of a universal selfdelimiting Turing machine.
Computing over the reals: Foundations for scientific computing
 Notices of the AMS
"... We give a detailed treatment of the “bitmodel ” of computability and complexity of real functions and subsets of R n, and argue that this is a good way to formalize many problems of scientific computation. In Section 1 we also discuss the alternative BlumShubSmale model. In the final section we d ..."
Abstract

Cited by 32 (3 self)
 Add to MetaCart
We give a detailed treatment of the “bitmodel ” of computability and complexity of real functions and subsets of R n, and argue that this is a good way to formalize many problems of scientific computation. In Section 1 we also discuss the alternative BlumShubSmale model. In the final section we discuss the issue of whether physical systems could defeat the ChurchTuring Thesis. 1
Noncomputable Julia sets
 Journ. Amer. Math. Soc
"... Polynomial Julia sets have emerged as the most studied examples of fractal sets generated by a dynamical system. Apart from the beautiful mathematics, one of the reasons for their popularity is the beauty of the computergenerated images of such sets. The algorithms used to draw these pictures vary; ..."
Abstract

Cited by 27 (6 self)
 Add to MetaCart
Polynomial Julia sets have emerged as the most studied examples of fractal sets generated by a dynamical system. Apart from the beautiful mathematics, one of the reasons for their popularity is the beauty of the computergenerated images of such sets. The algorithms used to draw these pictures vary; the most naïve work by iterating the center of a pixel to determine if it lies in the Julia set. Milnor’s distanceestimator algorithm [Mil] uses classical complex analysis to give a onepixel estimate of the Julia set. This algorithm and its modifications work quite well for many examples, but it is well known that in some particular cases computation time will grow very rapidly with increase of the resolution. Moreover, there are examples, even in the family of quadratic polynomials, when no satisfactory pictures of the Julia set exist. In this paper we study computability properties of Julia sets of quadratic polynomials. Under the definition we use, a set is computable, if, roughly speaking, its image can be generated by a computer with an arbitrary precision. Under this notion of computability we show: Main Theorem. There exists a parameter value c ∈ C such that the Julia set of
Novel Approaches to Numerical Software with Result Verification
 NUMERICAL SOFTWARE WITH RESULT VERIFICATION, INTERNATIONAL DAGSTUHL SEMINAR, DAGSTUHL
, 2003
"... Traditional design of numerical software with result verification is based on the assumption that we know the algorithm ¦¨§� © ©���� £��������� � that transforms input © ©�� into �� � £��������� � ©���� the output, and we £��������� � know the intervals of possible values of the inputs. Many real ..."
Abstract

Cited by 26 (18 self)
 Add to MetaCart
Traditional design of numerical software with result verification is based on the assumption that we know the algorithm ¦¨§� © ©���� £��������� � that transforms input © ©�� into �� � £��������� � ©���� the output, and we £��������� � know the intervals of possible values of the inputs. Many reallife problems go beyond this paradigm. In some cases, we do not have an algorithm ¦, we only know some relation (constraints) between ©� � and. In other cases, in addition to knowing the intervals, we may know some relations between; we may have some information about the probabilities of different values of © � , and we may know the exact values of some of the inputs (e.g., we may know that © £ ���¨�� �). In this paper, we describe the approaches for solving these reallife problems. In Section 2, we describe interval consistency techniques related to handling constraints; in Section 3, we describe techniques that take probabilistic information into consideration, and in Section 4, we overview techniques for processing exact real numbers.
Lazy Functional Algorithms for Exact Real Functionals
 Lec. Not. Comput. Sci
, 1998
"... . We show how functional languages can be used to write programs for realvalued functionals in exact real arithmetic. We concentrate on two useful functionals: definite integration, and the functional returning the maximum value of a continuous function over a closed interval. The algorithms are a ..."
Abstract

Cited by 23 (0 self)
 Add to MetaCart
. We show how functional languages can be used to write programs for realvalued functionals in exact real arithmetic. We concentrate on two useful functionals: definite integration, and the functional returning the maximum value of a continuous function over a closed interval. The algorithms are a practical application of a method, due to Berger, for computing quantifiers over streams. Correctness proofs for the algorithms make essential use of domain theory. 1 Introduction In exact real number computation, infinite representations of reals are employed to avoid the usual rounding errors that are inherent in floating point computation [46, 17]. For certain real number computations that are highly sensitive to small variations in the input, such rounding errors become inordinately large and the use of floatingpoint algorithms can lead to completely erroneous results [1, 14]. In such situations, exact real number computation provides guaranteed correctness, although at the (probably...
Computability on Continuous, Lower SemiContinuous and Upper SemiContinuous Real Functions
 PP.109Â133 IN THEORETICAL COMPUTER SCIENCE VOL.234
, 1996
"... In this paper we investigate continuous and upper and lower semicontinuous real functions in the framework of TTE, Type2 Theory of Effectivity. First some basic facts about TTE are summarized. For each of the function spaces, we introduce several natural representations based on different intiuiti ..."
Abstract

Cited by 20 (2 self)
 Add to MetaCart
In this paper we investigate continuous and upper and lower semicontinuous real functions in the framework of TTE, Type2 Theory of Effectivity. First some basic facts about TTE are summarized. For each of the function spaces, we introduce several natural representations based on different intiuitive concepts of "effectivity" and prove their equivalence. Computability of several operations on the function spaces is investigated, among others limits, mappings to open sets, images of compact sets and preimages of open sets, maximum and minimum values. The positive results usually show computability in all arguments, negative results usually express noncontinuity. Several of the problems have computable but not extensional solutions. Since computable functions map computable elements to computable elements, many previously known results on computability are obtained as simple corollaries.
On The Computational Complexity of Inferring Evolutionary Trees
, 1993
"... The process of reconstructing evolutionary trees can be viewed formally as an optimization problem. Recently, decision problems associated with the most commonly used approaches to reconstructing such trees have been shown to be NPcomplete [Day87, DJS86, DS86, DS87, GF82, Kri88, KM86]. In this t ..."
Abstract

Cited by 19 (5 self)
 Add to MetaCart
The process of reconstructing evolutionary trees can be viewed formally as an optimization problem. Recently, decision problems associated with the most commonly used approaches to reconstructing such trees have been shown to be NPcomplete [Day87, DJS86, DS86, DS87, GF82, Kri88, KM86]. In this thesis, a framework is established that incorporates all such problems studied to date. Within this framework, the NPcompleteness results for decision problems are extended by applying theorems from [CT91, Gas86, GKR92, JVV86, KST89, Kre88, Sel91] to derive bounds on the computational complexity of several functions associated with each of these problems, namely ffl evaluation functions, which return the cost of the optimal tree(s), ffl solution functions, which return an optimal tree, ffl spanning functions, which return the number of optimal trees, ffl enumeration functions, which systematically enumerate all optimal trees, and ffl randomselection functions, which return a random...
The iRRAM: Exact Arithmetic in C++
"... The iRRAM is a very efficient C++ package for errorfree real arithmetic based on the concept of a RealRAM. Its capabilities range from ordinary arithmetic over trigonometric functions to linear algebra even with sparse matrices. We discuss the concepts and some highlights of the implementation. ..."
Abstract

Cited by 18 (0 self)
 Add to MetaCart
The iRRAM is a very efficient C++ package for errorfree real arithmetic based on the concept of a RealRAM. Its capabilities range from ordinary arithmetic over trigonometric functions to linear algebra even with sparse matrices. We discuss the concepts and some highlights of the implementation.
A characterization of the entropies of multidimensional shifts of finite type
 Annals of Mathematics
"... Abstract. We show that the values of entropies of multidimensional shifts of finite type (SFTs) are characterized by a certain computationtheoretic property: a real number h≥0is the entropy of such an SFT if and only if it is right recursively enumerable, i.e. there is a computable sequence of rati ..."
Abstract

Cited by 17 (3 self)
 Add to MetaCart
Abstract. We show that the values of entropies of multidimensional shifts of finite type (SFTs) are characterized by a certain computationtheoretic property: a real number h≥0is the entropy of such an SFT if and only if it is right recursively enumerable, i.e. there is a computable sequence of rational numbers converging to h from above. The same characterization holds for the entropies of sofic shifts. On the other hand, the entropy of an irreducible SFT is computable. 1.