Tractability results in the block algebra - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Logic and Computation Année : 2002

Tractability results in the block algebra

Résumé

In this paper we define the notion of a block algebra, which is based upon a spatial application of Allen's interval algebra. In the pddimensional Euclidean space, where p g 1, we consider only blocks whose sides are parallel to the axes of some orthogonal basis. The block algebra consists of a set of relations (the block relations) together with the fundamental operations of composition, converse and intersection. The 13 p basic relations of this algebra constitute the exhaustive list of the relations possibly holding between two blocks. We are interested in the problem of testing the consistency of a set of spatial constraints between blocks, i.e. a block network. The consistency question for block networks is NPdcomplete. We first extend the notions of convexity and preconvexity to the block algebra. Similarly to the interval algebra case, convexity leads to a tractable set whereas, contrary to the interval algebra case, preconvexity leads to an intractable set. Nevertheless we characterize a tractable subset of the preconvex relations: the strongly preconvex relations. Moreover we show that strong preconvexity and ORDdHorn representability are the same.

Dates et versions

hal-03300288 , version 1 (27-07-2021)

Identifiants

Citer

Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro. Tractability results in the block algebra. Journal of Logic and Computation, 2002, 12 (5), pp.885-909. ⟨10.1093/logcom/12.5.885⟩. ⟨hal-03300288⟩
26 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More