In this paper, we present an algorithm that counts the number of empty quadrilaterals whose corners are chosen from a given set S of n points in general position. Our algorithm can separately count the number of conve...
详细信息
In this paper, we present an algorithm that counts the number of empty quadrilaterals whose corners are chosen from a given set S of n points in general position. Our algorithm can separately count the number of convex or non-convex empty quadrilaterals in O(T) time, where T denotes the number of empty triangles in S. Note that T varies from Omega(n(2)) and O(n(3)) and the expected value of T is known to be Theta(n(2)) when the n points in S are chosen uniformly and independently at random from a convex and bounded body in the plane. We also show how to enumerate all convex and/or non-convex empty quadrilaterals in S in time proportional to the number of reported quadrilaterals, after O(T)-time preprocessing.
The zone theorem for an arrangement of n hyperplanes in d-dimensional real space says that the total number of faces bounding the cells intersected by another hyperplane is O(n(d-1)). This result is the basis of a tim...
详细信息
The zone theorem for an arrangement of n hyperplanes in d-dimensional real space says that the total number of faces bounding the cells intersected by another hyperplane is O(n(d-1)). This result is the basis of a time-optimal incremental algorithm that constructs a hyperplane arrangement and has a host of other algorithmic and combinatorial applications. Unfortunately, the original proof of the zone theorem, for d greater-than-or-equal-to 3, turned out to contain a serious and irreparable error. This paper presents a new proof of the theorem. The proof is based on an inductive argument, which also applies in the case of pseudohyperplane arrangements. The fallacies of the old proof along with some ways of partially saving that approach are briefly discussed.
T. Rado conjectured in 1928 that if F is a finite set of axis-parallel squares in the plane, then there exists an independent subset a"aS dagger a"+/- of pairwise disjoint squares, such that a" covers a...
详细信息
T. Rado conjectured in 1928 that if F is a finite set of axis-parallel squares in the plane, then there exists an independent subset a"aS dagger a"+/- of pairwise disjoint squares, such that a" covers at least 1/4 of the area covered by F. He also showed that the greedy algorithm (repeatedly choose the largest square disjoint from those previously selected) finds an independent set of area at least 1/9 of the area covered by F. The analogous question for other shapes and many similar problems have been considered by R. Rado in his three papers (in Proc. Lond. Math. Soc. 51:232-264, 1949;53:243-267, 1951;and J. Lond. Math. Soc. 42:127-130, 1968) on this subject. After 45 years, Ajtai (in Bull. Acad. Polon. Sci. S,r. Sci. Math. Astron. Phys. 21:61-63, 1973) came up with a surprising example disproving T. Rado's conjecture. We revisit Rado's problem and present improved upper and lower bounds for squares, disks, convex bodies, centrally symmetric convex bodies, and others, as well as algorithmic solutions to these variants of the problem.
Let be a set of points on a circle such that for each point also its antipodal (mirrored with respect to the circle center) point belongs to . A polygon of size is called antipodal if it consists of precisely one poin...
详细信息
Let be a set of points on a circle such that for each point also its antipodal (mirrored with respect to the circle center) point belongs to . A polygon of size is called antipodal if it consists of precisely one point of each antipodal pair of . We provide a complete characterization of antipodal polygons which maximize (minimize, respectively) the area among all antipodal polygons of . Based on this characterization, a simple linear time algorithm is presented for computing extremal antipodal polygons. Moreover, for the generalization of antipodal polygons to higher dimensions we show that a similar characterization does not exist.
The zone theorem for an arrangement of n hyperplanes in d-dimensional real space says that the total number of faces bounding the cells intersected by another hyperplane is O(nd-1). This result is the basis of a time-...
详细信息
A proof is given that for all positive integers n >= 7 there exist sets of n non-overlapping quadrilaterals in the plane, such that no non-empty proper subset of these quadrilaterals can be separated from its compl...
详细信息
A proof is given that for all positive integers n >= 7 there exist sets of n non-overlapping quadrilaterals in the plane, such that no non-empty proper subset of these quadrilaterals can be separated from its complement, as one rigid object, by a single translation, without disturbing its complement. Furthermore, examples are given for which no single quadrilateral can be separated from the others by means of translations or rotations.
Topological persistence is, by now, an established paradigm for constructing robust topological invariants from point-cloud data: the data are converted into a filtered simplicial complex, the complex gives rise to a ...
详细信息
ISBN:
(纸本)9781450320313
Topological persistence is, by now, an established paradigm for constructing robust topological invariants from point-cloud data: the data are converted into a filtered simplicial complex, the complex gives rise to a persistence module, and the module is described by a persistence diagram. In this paper, we study the geometry of the spaces of persistence modules and diagrams, with special attention to Cech and Rips complexes. The metric structures are determined in terms of interleaving maps between modules and matchings between diagrams. We show that the relationship between the Cech and Rips complexes is governed by certain 'coherence' conditions on the corresponding families of interleavings or matchings.
This article shares some insights and observations that we gained while exploring the world of discrete and computational geometry. It discusses several results related to polygons and gives some historical remarks. M...
详细信息
This article shares some insights and observations that we gained while exploring the world of discrete and computational geometry. It discusses several results related to polygons and gives some historical remarks. Mathematical parts of our discussion support the view that in the land of polygons, convexity alone tells a lot, and quadrilaterals act as our main guides whenever we visit there.
T. Rado conjectured in 1928 that if F is a finite set of axis-parallel squares in the plane, then there exists an independent subset a"aS dagger a"+/- of pairwise disjoint squares, such that a" covers a...
详细信息
ISBN:
(纸本)3540699007
T. Rado conjectured in 1928 that if F is a finite set of axis-parallel squares in the plane, then there exists an independent subset a"aS dagger a"+/- of pairwise disjoint squares, such that a" covers at least 1/4 of the area covered by F. He also showed that the greedy algorithm (repeatedly choose the largest square disjoint from those previously selected) finds an independent set of area at least 1/9 of the area covered by F. The analogous question for other shapes and many similar problems have been considered by R. Rado in his three papers (in Proc. Lond. Math. Soc. 51:232-264, 1949;53:243-267, 1951;and J. Lond. Math. Soc. 42:127-130, 1968) on this subject. After 45 years, Ajtai (in Bull. Acad. Polon. Sci. S,r. Sci. Math. Astron. Phys. 21:61-63, 1973) came up with a surprising example disproving T. Rado's conjecture. We revisit Rado's problem and present improved upper and lower bounds for squares, disks, convex bodies, centrally symmetric convex bodies, and others, as well as algorithmic solutions to these variants of the problem.
Topological persistence is, by now, an established paradigm for constructing robust topological invariants from point-cloud data: the data are converted into a filtered simplicial complex, the complex gives rise to a ...
详细信息
ISBN:
(纸本)9781450320313
Topological persistence is, by now, an established paradigm for constructing robust topological invariants from point-cloud data: the data are converted into a filtered simplicial complex, the complex gives rise to a persistence module, and the module is described by a persistence diagram. In this paper, we study the geometry of the spaces of persistence modules and diagrams, with special attention to Cech and Rips complexes. The metric structures are determined in terms of interleaving maps between modules and matchings between diagrams. We show that the relationship between the Cech and Rips complexes is governed by certain 'coherence' conditions on the corresponding families of interleav-ings or matchings.
暂无评论