196 research outputs found
A Complete Classification of Tractability in RCC-5
We investigate the computational properties of the spatial algebra RCC-5
which is a restricted version of the RCC framework for spatial reasoning. The
satisfiability problem for RCC-5 is known to be NP-complete but not much is
known about its approximately four billion subclasses. We provide a complete
classification of satisfiability for all these subclasses into polynomial and
NP-complete respectively. In the process, we identify all maximal tractable
subalgebras which are four in total.Comment: See http://www.jair.org/ for an online appendix and other files
accompanying this articl
Algebraic Properties of Qualitative Spatio-Temporal Calculi
Qualitative spatial and temporal reasoning is based on so-called qualitative
calculi. Algebraic properties of these calculi have several implications on
reasoning algorithms. But what exactly is a qualitative calculus? And to which
extent do the qualitative calculi proposed meet these demands? The literature
provides various answers to the first question but only few facts about the
second. In this paper we identify the minimal requirements to binary
spatio-temporal calculi and we discuss the relevance of the according axioms
for representation and reasoning. We also analyze existing qualitative calculi
and provide a classification involving different notions of a relation algebra.Comment: COSIT 2013 paper including supplementary materia
Extension of One-Dimensional Proximity Regions to Higher Dimensions
Proximity maps and regions are defined based on the relative allocation of
points from two or more classes in an area of interest and are used to
construct random graphs called proximity catch digraphs (PCDs) which have
applications in various fields. The simplest of such maps is the spherical
proximity map which maps a point from the class of interest to a disk centered
at the same point with radius being the distance to the closest point from the
other class in the region. The spherical proximity map gave rise to class cover
catch digraph (CCCD) which was applied to pattern classification. Furthermore
for uniform data on the real line, the exact and asymptotic distribution of the
domination number of CCCDs were analytically available. In this article, we
determine some appealing properties of the spherical proximity map in compact
intervals on the real line and use these properties as a guideline for defining
new proximity maps in higher dimensions. Delaunay triangulation is used to
partition the region of interest in higher dimensions. Furthermore, we
introduce the auxiliary tools used for the construction of the new proximity
maps, as well as some related concepts that will be used in the investigation
and comparison of them and the resulting graphs. We characterize the geometry
invariance of PCDs for uniform data. We also provide some newly defined
proximity maps in higher dimensions as illustrative examples
Tractability in Constraint Satisfaction Problems: A Survey
International audienceEven though the Constraint Satisfaction Problem (CSP) is NP-complete, many tractable classes of CSP instances have been identified. After discussing different forms and uses of tractability, we describe some landmark tractable classes and survey recent theoretical results. Although we concentrate on the classical CSP, we also cover its important extensions to infinite domains and optimisation, as well as #CSP and QCSP
- …