Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Order of Magnitude Comparisons of Distance   Order of magnitude reasoning - reasoning by rough comparisons of the sizes of
quantities - is often called 'back of the envelope calculation', with the
implication that the calculations are quick though approximate. This paper
exhibits an interesting class of constraint sets in which order of magnitude
reasoning is demonstrably fast. Specifically, we present a polynomial-time
algorithm that can solve a set of constraints of the form 'Points a and b are
much closer together than points c and d.' We prove that this algorithm can be
applied if `much closer together' is interpreted either as referring to an
infinite difference in scale or as referring to a finite difference in scale,
as long as the difference in scale is greater than the number of variables in
the constraint set. We also prove that the first-order theory over such
constraints is decidable.

9
The categories of this paper are: nlin
29
The categories of this paper are: funct-an
21
The categories of this paper are: adap-org
31
The categories of this paper are: ao-sci
32
The categories of this paper are: atom-ph
15
The categories of this paper are: nucl-ex
3
The categories of this paper are: physics
33
The categories of this paper are: plasm-ph
28
The categories of this paper are: alg-geom
30
The categories of this paper are: q-alg
20
The categories of this paper are: acc-phys
35
The categories of this paper are: mtrl-th
8
The categories of this paper are: hep-ex
5
The categories of this paper are: gr-qc
10
The categories of this paper are: q-bio
26
The categories of this paper are: bayes-an