Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Uniform decision problems and abstract properties of small overlap
  monoids   We study the way in which the abstract structure of a small overlap monoid is
reflected in, and may be algorithmically deduced from, a small overlap
presentation. We show that every C(2) monoid admits an essentially canonical
C(2) presentation; by counting canonical presentations we obtain asymptotic
estimates for the number of non-isomorphic monoids admitting a-generator,
k-relation presentations of a given length. We demonstrate an algorithm to
transform an arbitrary presentation for a C(m) monoid (m at least 2) into a
canonical C(m) presentation, and a solution to the isomorphism problem for C(2)
presentations. We also find a simple combinatorial condition on a C(4)
presentation which is necessary and sufficient for the monoid presented to be
left cancellative. We apply this to obtain algorithms to decide if a given C(4)
monoid is left cancellative, right cancellative or cancellative, and to show
that cancellativity properties are asymptotically visible in the sense of
generic-case complexity.

30
The categories of this paper are: q-alg
13
The categories of this paper are: quant-ph
21
The categories of this paper are: adap-org
36
The categories of this paper are: cmp-lg
16
The categories of this paper are: stat
1
The categories of this paper are: cs
6
The categories of this paper are: astro-ph
5
The categories of this paper are: gr-qc
31
The categories of this paper are: ao-sci
10
The categories of this paper are: q-bio
7
The categories of this paper are: hep-th
26
The categories of this paper are: bayes-an
34
The categories of this paper are: chem-ph
8
The categories of this paper are: hep-ex
15
The categories of this paper are: nucl-ex
24
The categories of this paper are: dg-ga