61 research outputs found
Edge-Graph Diameter Bounds for Convex Polytopes with Few Facets
We show that the edge graph of a 6-dimensional polytope with 12 facets has
diameter at most 6, thus verifying the d-step conjecture of Klee and Walkup in
the case of d=6. This implies that for all pairs (d,n) with n-d \leq 6 the
diameter of the edge graph of a d-polytope with n facets is bounded by 6, which
proves the Hirsch conjecture for all n-d \leq 6. We show this result by showing
this bound for a more general structure -- so-called matroid polytopes -- by
reduction to a small number of satisfiability problems.Comment: 9 pages; update shortcut constraint discussio
On the number of simple arrangements of five double pseudolines
We describe an incremental algorithm to enumerate the isomorphism classes of
double pseudoline arrangements. The correction of our algorithm is based on the
connectedness under mutations of the spaces of one-extensions of double
pseudoline arrangements, proved in this paper. Counting results derived from an
implementation of our algorithm are also reported.Comment: 24 pages, 16 figures, 6 table
There are 174 Subdivisions of the Hexahedron into Tetrahedra
This article answers an important theoretical question: How many different
subdivisions of the hexahedron into tetrahedra are there? It is well known that
the cube has five subdivisions into 6 tetrahedra and one subdivision into 5
tetrahedra. However, all hexahedra are not cubes and moving the vertex
positions increases the number of subdivisions. Recent hexahedral dominant
meshing methods try to take these configurations into account for combining
tetrahedra into hexahedra, but fail to enumerate them all: they use only a set
of 10 subdivisions among the 174 we found in this article.
The enumeration of these 174 subdivisions of the hexahedron into tetrahedra
is our combinatorial result. Each of the 174 subdivisions has between 5 and 15
tetrahedra and is actually a class of 2 to 48 equivalent instances which are
identical up to vertex relabeling. We further show that exactly 171 of these
subdivisions have a geometrical realization, i.e. there exist coordinates of
the eight hexahedron vertices in a three-dimensional space such that the
geometrical tetrahedral mesh is valid. We exhibit the tetrahedral meshes for
these configurations and show in particular subdivisions of hexahedra with 15
tetrahedra that have a strictly positive Jacobian
Qualitative Reasoning about Relative Directions : Computational Complexity and Practical Algorithm
Qualitative spatial reasoning (QSR) enables cognitive agents to reason about space using abstract symbols. Among several aspects of space (e.g., topology, direction, distance) directional information is useful for agents navigating in space. Observers typically describe their environment by specifying the relative directions in which they see other objects or other people from their point of view. As such, qualitative reasoning about relative directions, i.e., determining whether a given statement involving relative directions is true, can be advantageously used for applications, for example, robot navigation, computer-aided design and geographical information systems. Unfortunately, despite the apparent importance of reasoning about relative directions, QSR-research so far could not provide efficient decision procedures for qualitative reasoning about relative directions. Accordingly, the question about how to devise an efficient decision procedure for qualitative reasoning about relative directions has meanwhile turned to the question about whether an efficient decision procedure exists at all. Answering the latter existential question, which requires a formal analysis of relative directions from a computational complexity point of view, has remained an open problem in the field of QSR. The present thesis solves the open problem by proving that there is no efficient decision procedure for qualitative reasoning about relative directions, even if only left or right relations are involved. This is surprising as it contradicts the early premise of QSR believed by many researchers in and outside the field, that is, abstracting from an infinite domain to a finite set of relations naturally leads to efficient reasoning. As a consequence of this rather negative result, efficient reasoning with any of the well-known relative direction calculi (OPRAm, DCC, DRA, LR) is impossible. Indeed, the present thesis shows that all the relative direction calculi belong to one and the same class of ∃R-complete problems, which are the problems that can be reduced to the NP-hard decision problem of the existential theory of the reals, and vice versa. Nevertheless, in practice, many interesting computationally hard AI problems can be tackled by means of approximative algorithms and heuristics. In the same vein, the present thesis shows that qualitative reasoning about relative directions can also be tackled with approximative algorithms. In the thesis we develop the qualitative calculus SVm which allows for a practical algorithm for qualitative reasoning about relative directions. SVm also provides an effective semi-decision procedure for the OPRAm calculus, the most versatile one among the relative direction calculi. In this thesis we substantiate the usefulness of SVm by applying it in the marine navigation domain
- …