WikiDer > Теорема о полной занятости

Full employment theorem

В Информатика и математика, а теорема о полной занятости - термин, который часто юмористически используется для обозначения теоремы, в которой говорится, что ни один алгоритм не может оптимально выполнить конкретную задачу, выполняемую некоторым классом профессионалов. Название возникло из-за того, что такая теорема гарантирует, что есть бесконечные возможности для продолжения открытия новых методов, чтобы улучшить способ выполнения хотя бы некоторых конкретных задач.

Например, Теорема о полной занятости для авторов компиляторов заявляет, что не существует такой вещи, как доказуемо идеальный компилятор, оптимизирующий размер, поскольку такое доказательство для компилятора должно обнаружение непрерывных вычислений и свести их к одной инструкции бесконечный цикл. Таким образом, существование доказуемо совершенного компилятора, оптимизирующего размер, означало бы решение проблемы проблема остановки, которого не может быть. Это также означает, что всегда может быть лучший компилятор, поскольку доказательства того, что у вас лучший компилятор, не существует. Поэтому разработчики компиляторов всегда смогут предположить, что им есть что улучшить. Аналогичным примером в практической информатике является идея нет бесплатного обеда в поиске и оптимизации, в котором говорится, что не может существовать эффективного решателя общего назначения, и, следовательно, всегда будет какая-то конкретная проблема, лучшее известное решение которой можно улучшить.

По аналогии, Теоремы Гёделя о неполноте были названы теоремами полной занятости математиков. Такие задачи, как вирус запись и обнаружение, а также спам фильтрация и разрушение фильтров также подлежат Теорема Райса.

Рекомендации

  • Соломонов, Рэй "Предварительный отчет по общей теории индуктивного вывода", Отчет V-131, Zator Co., Кембридж, Массачусетс, 4 февраля 1960 г.
  • п. 401, г. Современная реализация компилятора в ML, Эндрю В. Аппель, Cambridge University Press, 1998. ISBN 0-521-58274-1.
  • п. 27, Технология перенаправляемого компилятора для встроенных систем: инструменты и приложения, Райнер Лойперс и Питер Марведель, Springer-Verlag, 2001. ISBN 0-7923-7578-5.
  • Заметки из курса современных языков программирования в Пенсильванском университете См. Стр. 8.