Geodesic
On the asymptotic solution of a~special type recurrence relations and the Kullmann--Luckhardt's technology
Prikladnaâ diskretnaâ matematika, no. 4 (2013), pp. 56-66

Voir la notice de l'article provenant de la source Math-Net.Ru

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.
Keywords: computational complexity of recursive algorithms, splitting algorithms, solving recurrence relations. 
@article{PDM_2013_4_a5,
     author = {V. V. Bykova},
     title = {On the asymptotic solution of a~special type recurrence relations and the {Kullmann--Luckhardt's} technology},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {56--66},
     publisher = {mathdoc},
     number = {4},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2013_4_a5/}
}
TY  - JOUR
AU  - V. V. Bykova
TI  - On the asymptotic solution of a~special type recurrence relations and the Kullmann--Luckhardt's technology
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2013
SP  - 56
EP  - 66
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDM_2013_4_a5/
LA  - ru
ID  - PDM_2013_4_a5
ER  - 
%0 Journal Article
%A V. V. Bykova
%T On the asymptotic solution of a~special type recurrence relations and the Kullmann--Luckhardt's technology
%J Prikladnaâ diskretnaâ matematika
%D 2013
%P 56-66
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDM_2013_4_a5/
%G ru
%F PDM_2013_4_a5
V. V. Bykova. On the asymptotic solution of a~special type recurrence relations and the Kullmann--Luckhardt's technology. Prikladnaâ diskretnaâ matematika, no. 4 (2013), pp. 56-66. http://geodesic.mathdoc.fr/item/PDM_2013_4_a5/