Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Algorithmic Meta-Theorems for Monotone Submodular Maximization   We consider a monotone submodular maximization problem whose constraint is
described by a logic formula on a graph. Formally, we prove the following three
`algorithmic metatheorems.'
  (1) If the constraint is specified by a monadic second-order logic on a graph
of bounded treewidth, the problem is solved in $n^{O(1)}$ time with an
approximation factor of $O(\log n)$.
  (2) If the constraint is specified by a first-order logic on a graph of low
degree, the problem is solved in $O(n^{1 + \epsilon})$ time for any $\epsilon >
0$ with an approximation factor of $2$.
  (3) If the constraint is specified by a first-order logic on a graph of
bounded expansion, the problem is solved in $n^{O(\log k)}$ time with an
approximation factor of $O(\log k)$, where $k$ is the number of variables and
$O(\cdot)$ suppresses only constants independent of $k$.

14
The categories of this paper are: math-ph
8
The categories of this paper are: hep-ex
29
The categories of this paper are: funct-an
23
The categories of this paper are: solv-int
22
The categories of this paper are: chao-dyn
11
The categories of this paper are: hep-lat
6
The categories of this paper are: astro-ph
30
The categories of this paper are: q-alg
34
The categories of this paper are: chem-ph
21
The categories of this paper are: adap-org
24
The categories of this paper are: dg-ga
0
The categories of this paper are: hep-ph
35
The categories of this paper are: mtrl-th
10
The categories of this paper are: q-bio
33
The categories of this paper are: plasm-ph
31
The categories of this paper are: ao-sci