Geometric complexity

The complexity of a number of fundamental problems in computational geometry is examined and a number of new fast algorithms are presented and analyzed. General methods for obtaining results in geometric complexity are given and upper and lower bounds are obtained for problems involving sets of points, lines, and polygons in the plane. An effort is made to recast classical theorems into a useful computational form and analogies are developed between constructibility questions in Euclidean geometry and computability questions in modern computational complexity.

[1]  R. Moore.  Concerning upper semicontinuous collections of compacta , 1927 .

[2]  J. Whitehead.  A CERTAIN OPEN MANIFOLD WHOSE GROUP IS UNITY , 1935 .

[3]  R. Wilder.  Topology of Manifolds , 1949 .

[4]  W. Blankinship,et al.  GENERALIZATION OF A CONSTRUCTION OF ANTOINE , 1951 .

[5]  R. Bing.  A Homeomorphism Between the 3-Sphere and the Sum of Two Solid Horned Spheres , 1952 .

[6]  J. Milnor.  On Manifolds Homeomorphic to the 7-Sphere , 1956 .

[7]  H. Whitney.  Geometric Integration Theory , 1957 .

[8]  A. Borel.  The Poincaré duality in generalized manifolds. , 1957 .

[9]  B. Mazur.  On embeddings of spheres , 1959 .

[10]  R. Bing.  The Cartesian Product of a Certain Nonmanifold and a Line is E 4 , 1959 .

[11]  F. John,et al.  On functions of bounded mean oscillation , 1961 .

[12]  J. Milnor.  Two Complexes Which are Homeomorphic But Combinatorially Distinct , 1961 .

[13]  D. Epstein.  Projective Planes in 3‐Manifolds† , 1961 .

[14]  F. John.  Rotation and strain , 1961 .

[15]  R. Bing.  A surface is tame if its complement is 1-ULC , 1961 .

[16]  J. J. Andrews,et al.  n-Space Modulo an Arc , 1962 .

[17]  D. Mcmillan.  A Criterion for Cellularity in a Manifold , 1964 .

[18]  W. Browder,et al.  Finding a Boundary for an Open Manifold , 1965 .

[19]  M. Gemignani.  On Finite Subsets of the Plane and Simple Closed Polygonal Paths , 1966 .

[20]  F. Gehring.  Extension theorems for quasiconformal mappings inn-space , 1967 .

[21]  H. Fédérer.  Geometric Measure Theory , 1969 .

[22]  M. Kervaire.  Smooth homology spheres and their fundamental groups , 1969 .

[23]  J. Cheeger.  FINITENESS THEOREMS FOR RIEMANNIAN MANIFOLDS. , 1970 .

[24]  J. L. Bryant,et al.  LOCALLY NICE EMBEDDINGS IN CODIMENSION THREE , 1970 .

[25]  R. Connelly.  A new proof of Brown’s collaring theorem , 1971 .

[26]  E. Stein,et al.  Introduction to Fourier Analysis on Euclidean Spaces. , 1971 .

[27]  B. Evans,et al.  Solvable fundamental groups of compact 3-manifolds , 1972 .

[28]  Ronald L. Graham,et al.  An Efficient Algorithm for Determining the Convex Hull of a Finite Planar Set , 1972, Inf. Process. Lett..

[29]  C. Rourke,et al.  Introduction to Piecewise-Linear Topology , 1972 .

[30]  L. Ahlfors.  Conformal Invariants: Topics in Geometric Function Theory , 1973 .

[31]  J. L. Bryant.  Euclidean $n$-space modulo an $(n-1)$-cell , 1973 .

[32]  Richard O. Duda,et al.  Pattern classification and scene analysis , 1974, A Wiley-Interscience publication.

[33]  F. Gehring.  TheLp-integrability of the partial derivatives of A quasiconformal mapping , 1973 .

[34]  A. Fomenko,et al.  THE PROBLEM OF DISCRIMINATING ALGORITHMICALLY THE STANDARD THREE-DIMENSIONAL SPHERE , 1974 .

[35]  H. M. Reimann.  Functions of bounded mean oscillation and quasiconformal mappings , 1974 .

[36]  C. E. Burgess.  Embeddings of surfaces in euclidean three-space , 1975 .

[37]  Michael Ian Shamos,et al.  Closest-point problems , 1975, 16th Annual Symposium on Foundations of Computer Science (sfcs 1975).