kouzdra (kouzdra) wrote,
kouzdra
kouzdra

Category:

О разрешимости:

На сам деле все неразрешимые задачи превращаются в разрешимые добавлением варианта "не смогла/ни знайу" (да хоть по таймеру). С точки зрения практической достаточно сделать так чтобы этот вариант не выскакивал в реальных ситуациях слишком часто и иметь какой-то план действий на случай "если все-таки выскочит".

Причем на сам деле и "разрешимые" задачи в этом патче часто нуждаются - я например знаю способ который пока 100% работает заставить тайпчекер жабскиого компилятора "уйти в себя" (проверено на всех известных) - при том что задача алгоритмически разрешима (это даже доказали). И что самое смешное - я знаю как сделать так чтобы он в этой и подобной ей ситуациях в себя не уходил (задача вообще-то не экспоненциальная - что опять же доказано) - но это никому не нужно

PS: На деле реальная проблема с этим лайфхаком не в "неразрешимости", а в том что система утрачивает определенность - что такое "корректная программа на Haskell" становится зависимым от реализации компилятора - ну в плане "сможет - не сможет", но опять же - не такая уж бешеная проблема. Жить с этим можно.

В цепепе в темплейтах и не такое гуляет (вообще если вы в формализм втаскиваете какую-то подстановочную семантику вы с вероятностью близкой к 100% получаете в комплекте алгоритмическую полноту со всем к ней прилагающимся) - и спокойно живут. Всяко не главная проблема
Subscribe

  • "Трагедия курьера"

    Что забавно - попытки партии и ментов усиливать контроль за всем на практике дают противоположный результат - паспорта у меня в данный момент нет,…

  • Из комментов

    Впрочем у истории с чёрными кораблями были две забавные концовки — одна в Порт-Артуре, другая — в Жемчужной гавани

  • Во всяком культивировании

    всяких покрытых богоматерей, дней оун-упа и прочих мининых-невских-пожарских и тп меня раздражают не поводы (на них мне действительно насрать) а…

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 22 comments

  • "Трагедия курьера"

    Что забавно - попытки партии и ментов усиливать контроль за всем на практике дают противоположный результат - паспорта у меня в данный момент нет,…

  • Из комментов

    Впрочем у истории с чёрными кораблями были две забавные концовки — одна в Порт-Артуре, другая — в Жемчужной гавани

  • Во всяком культивировании

    всяких покрытых богоматерей, дней оун-упа и прочих мининых-невских-пожарских и тп меня раздражают не поводы (на них мне действительно насрать) а…