Computational Methods in Discrete Mathematics
On the asymptotic solution of a special type recurrence relations and the Kullmann–Luckhardt's technology
V. V. Bykova
Institute of Mathematics and Computer Science, Siberian Federal University, Krasnoyarsk, Russia
The problem of solving recurrence relations that arise in the analysis of the computational complexity of recursive algorithms is discussed. The research is only related to splitting algorithms, namely, DPLL-algorithms, which are named after the author's names by the first letters (Davis, Putman, Logemann, Loveland), and are designed to solve the problem SAT. The technology by Kullmann–Luckhardt, which is traditionally used in the analysis of the computational complexity of splitting algorithms, is explored. A theorem containing an upper estimate for the algorithm time is proved in the case of balanced splitting. The theorem extends the capabilities of the Kullmann–Luckhardt's technology.
computational complexity of recursive algorithms, splitting algorithms, solving recurrence relations.
PDF file (624 kB)
V. V. Bykova, “On the asymptotic solution of a special type recurrence relations and the Kullmann–Luckhardt's technology”, Prikl. Diskr. Mat., 2013, no. 4(22), 56–66
Citation in format AMSBIB
\paper On the asymptotic solution of a~special type recurrence relations and the Kullmann--Luckhardt's technology
\jour Prikl. Diskr. Mat.
Citing articles on Google Scholar:
Related articles on Google Scholar:
|Number of views:|