Следующий результат

Cтраница 4

Следующий результат, теорема об именовании утверждает, что всегда можно именовать все классы сложности с помощью некоторого измеримого множества функций. Наша стратегия состоит в том, чтобы для каждой рекурсивной ф найти qy из измеримого множества, такую, что СФ / СФ. Определяя qy max ( d, qp), мы получаем гарантию, что qy - честная функция. [46]

Следующий результат является одним из главных результатов настоящей работы. [47]

Следующий результат дает нам довольно общий метод построения абстракций. [48]

Введение хорд в эйлеровом цикле обеспечивает однократное посещение каждой вершины. [49]

Следующий результат, касающийся приближенных методов, использует понятие минимального взвешенного паросочетания. [50]

Минимальное евклидово паросочетание. [51]

Следующий результат, полученный Кристофидесом [ Christofides ( 1976) ], связывает минимальные остовные деревья, паросочетания и задачу о коммивояжере. [52]

Страницы: 1 2 3 4