Представлений загальний прийом до оцінювання складності класів аогоритмів - так званий pVCD-метод, який вдалося розробити , обмеживши всі дані сімейства моделей емпіричного узагальнення до класів, що реалізуються на комп'ютерах, і ширше, розглядаючи їх частково-рекурсивні уявлення.