320
который
вряд ли вообще используется; он включен для полноты и ссылок.
Поскольку наша цель состоит в том, чтобы установить, что определенные про-
блемы могут быть решены в течение полиномиального времени, мы сделали выбор
в пользу простоты, а не эффективности алгоритмов и их описаний (до тех пор, пока
алгоритмы работают в течение полиномиального времени).
По этой причине мы
вообще не интересуемся точным временем работы алгоритмов, мы представляем,
что после установления они действительно работают в течение полиномиального
времени. Читатель, который серьезно заинтересован в реализации этих алгоритмов,
предупрежден, что необходимо искать другие источники для более эффективных
альтернатив, а также различные методы для ускорения необходимых вычислений.
Результаты этого
приложения обобщены теоремами,
которые приведены
далее. Мы везде предполагаем, что любое целое a, представленное в качестве
входных данных, записывается с использованием именно «a» битов; т.е. бит
высокого порядка равный 1. В приложении B.1 мы покажем:
Достарыңызбен бөлісу: