Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Quasiconvex Analysis of Backtracking Algorithms   We consider a class of multivariate recurrences frequently arising in the
worst case analysis of Davis-Putnam-style exponential time backtracking
algorithms for NP-hard problems. We describe a technique for proving asymptotic
upper bounds on these recurrences, by using a suitable weight function to
reduce the problem to that of solving univariate linear recurrences; show how
to use quasiconvex programming to determine the weight function yielding the
smallest upper bound; and prove that the resulting upper bounds are within a
polynomial factor of the true asymptotics of the recurrence. We develop and
implement a multiple-gradient descent algorithm for the resulting quasiconvex
programs, using a real-number arithmetic package for guaranteed accuracy of the
computed worst case time bounds.

18
The categories of this paper are: econ
30
The categories of this paper are: q-alg
22
The categories of this paper are: chao-dyn
11
The categories of this paper are: hep-lat
0
The categories of this paper are: hep-ph
19
The categories of this paper are: eess
31
The categories of this paper are: ao-sci
32
The categories of this paper are: atom-ph
26
The categories of this paper are: bayes-an
7
The categories of this paper are: hep-th
15
The categories of this paper are: nucl-ex
37
The categories of this paper are: supr-con
25
The categories of this paper are: patt-sol
12
The categories of this paper are: nucl-th
10
The categories of this paper are: q-bio
3
The categories of this paper are: physics