Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Combinatorial Characterisations of Graphical Computational Search
  Problems   A Graphical Search problem, denoted $\Pi(X,\gamma)$, where $X$ is the vertex
set or edge set of a graph $G$, consists of finding a solution $Y$, where $Y
\subseteq X$ and $Y$ satisfies the predicate $\gamma$. Let $\hat{\Pi}$ be the
decision problem associated with $\Pi(X,\gamma)$. A sub-solution of
$\Pi(X,\gamma)$ is a subset $Y'$ that is a solution of the problem
$\Pi(X',\gamma)$, where $X' \subset X$. To $\Pi(X,\gamma)$ we associate the set
system $(X, \mathcal{I})$, where $\mathcal{I}$ denotes the set of all the
solutions and sub-solutions of $\Pi(X,\gamma)$.
  The predicate $\gamma$ is an accessible predicate if, given $Y \not =
\emptyset$, $Y$ is a solution of $\Pi(X,\gamma)$ implies that there is an
element $y \in Y$ such that $Y \setminus y$ is a sub-solution of
$\Pi(X,\gamma)$. If $\gamma$ is an accessible property, we then show in Theorem
1 that a decision problem $\hat \Pi$ is in $\mathcal{P}$ if and only if, for
all input $X$, $(X, \mathcal{I})$ satisfies Axioms M2', where M2', called the
Augmentability Axiom, is an extension of both the Exchange Axiom and the
Accessibility Axiom of a greedoid. We also show that a problem $\hat \Pi$ is in
$\mathcal{P}$-complete if and only if, for all input $X$, $(X, \mathcal{I})$
satisfies Axioms M2' and M1, where M1 is the Heredity Axiom of a matroid. A
problem $\hat \Pi$ is in $\mathcal{NP}$ if and only if , for all input $X$,
$(X, \mathcal{I})$ satisfies Axioms M2", where M2" is an extension of the
Augmentability Axiom. Finally, the problem $\hat \Pi$ is in
$\mathcal{NP}$-complete if and only if, for all input $X$, $(X, \mathcal{I})$
satisfies Axiom M1.
  Using the fact that Hamiltonicity is an accessible property that satisfies
M2", but does not satisfies Axiom M2', in Corollary 1 we get that $\mathcal{P}
\not = \mathcal{NP}$.

32
The categories of this paper are: atom-ph
4
The categories of this paper are: cond-mat
37
The categories of this paper are: supr-con
12
The categories of this paper are: nucl-th
10
The categories of this paper are: q-bio
29
The categories of this paper are: funct-an
21
The categories of this paper are: adap-org
5
The categories of this paper are: gr-qc
34
The categories of this paper are: chem-ph
0
The categories of this paper are: hep-ph
24
The categories of this paper are: dg-ga
28
The categories of this paper are: alg-geom
35
The categories of this paper are: mtrl-th
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
8
The categories of this paper are: hep-ex