Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Heuristic computation of exact treewidth   We are interested in computing the treewidth $\tw(G)$ of a given graph $G$.
Our approach is to design heuristic algorithms for computing a sequence of
improving upper bounds and a sequence of improving lower bounds, which would
hopefully converge to $\tw(G)$ from both sides. The upper bound algorithm
extends and simplifies Tamaki's unpublished work on a heuristic use of the
dynamic programming algorithm for deciding treewidth due to Bouchitt\'{e} and
Todinca. The lower bound algorithm is based on the well-known fact that, for
every minor $H$ of $G$, we have $\tw(H) \leq \tw(G)$. Starting from a greedily
computed minor $H_0$ of $G$, the algorithm tries to construct a sequence of
minors $H_0$, $H_1$, \ldots $H_k$ with $\tw(H_i) < \tw(H_{i + 1})$ for $0 \leq
i < k$ and hopefully $\tw(H_k) = \tw(G)$.
  We have implemented a treewidth solver based on this approach and have
evaluated it on the bonus instances from the exact treewidth track of PACE 2017
algorithm implementation challenge. The results show that our approach is
extremely effective in tackling instances that are hard for conventional
solvers. Our solver has an additional advantage over conventional ones in that
it attaches a compact certificate to the lower bound it computes.

28
The categories of this paper are: alg-geom
27
The categories of this paper are: comp-gas
4
The categories of this paper are: cond-mat
25
The categories of this paper are: patt-sol
23
The categories of this paper are: solv-int
30
The categories of this paper are: q-alg
19
The categories of this paper are: eess
18
The categories of this paper are: econ
33
The categories of this paper are: plasm-ph
7
The categories of this paper are: hep-th
31
The categories of this paper are: ao-sci
11
The categories of this paper are: hep-lat
29
The categories of this paper are: funct-an
32
The categories of this paper are: atom-ph
26
The categories of this paper are: bayes-an
20
The categories of this paper are: acc-phys