Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: The Complexity of Reasoning about Spatial Congruence   In the recent literature of Artificial Intelligence, an intensive research
effort has been spent, for various algebras of qualitative relations used in
the representation of temporal and spatial knowledge, on the problem of
classifying the computational complexity of reasoning problems for subsets of
algebras. The main purpose of these researches is to describe a restricted set
of maximal tractable subalgebras, ideally in an exhaustive fashion with respect
to the hosting algebras. In this paper we introduce a novel algebra for
reasoning about Spatial Congruence, show that the satisfiability problem in the
spatial algebra MC-4 is NP-complete, and present a complete classification of
tractability in the algebra, based on the individuation of three maximal
tractable subclasses, one containing the basic relations. The three algebras
are formed by 14, 10 and 9 relations out of 16 which form the full algebra.

18
The categories of this paper are: econ
4
The categories of this paper are: cond-mat
34
The categories of this paper are: chem-ph
10
The categories of this paper are: q-bio
5
The categories of this paper are: gr-qc
22
The categories of this paper are: chao-dyn
30
The categories of this paper are: q-alg
28
The categories of this paper are: alg-geom
37
The categories of this paper are: supr-con
6
The categories of this paper are: astro-ph
12
The categories of this paper are: nucl-th
27
The categories of this paper are: comp-gas
11
The categories of this paper are: hep-lat
24
The categories of this paper are: dg-ga
36
The categories of this paper are: cmp-lg
19
The categories of this paper are: eess