Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Nondeterministic graph property testing   A property of finite graphs is called nondeterministically testable if it has
a "certificate" such that once the certificate is specified, its correctness
can be verified by random local testing. In this paper we study certificates
that consist of one or more unary and/or binary relations on the nodes, in the
case of dense graphs. Using the theory of graph limits, we prove that
nondeterministically testable properties are also deterministically testable.

22
The categories of this paper are: chao-dyn
35
The categories of this paper are: mtrl-th
36
The categories of this paper are: cmp-lg
34
The categories of this paper are: chem-ph
21
The categories of this paper are: adap-org
31
The categories of this paper are: ao-sci
16
The categories of this paper are: stat
33
The categories of this paper are: plasm-ph
15
The categories of this paper are: nucl-ex
12
The categories of this paper are: nucl-th
25
The categories of this paper are: patt-sol
8
The categories of this paper are: hep-ex
7
The categories of this paper are: hep-th
28
The categories of this paper are: alg-geom
10
The categories of this paper are: q-bio
26
The categories of this paper are: bayes-an