К чему я это. Просто достаточно посмотреть на ссылку и понять, что я совершенно не имею понятие, как сейчас мне это решить. Но формализация и существующие методики - на то они и существуют. И самое здесь приятное то, что мы описываем правила, по которым это будет считаться. Сейчас я читаю Кормена (за немногим был экскурс к Вирту) - и я совершенно точно уверен, что разница между знанием и незнанием велика... Я еще напишу пост о нем, позже, намного позже.