January 10th, 2017

Gen.Turgidson

про "гарантированноую завершаемость" исчо;

Там срачик все продожается - меня уверяют что это "первое приближение к решению задачи". А типа что "неразрешимые задачи решаются" это "переформулирвали задачу чтобы обойти ограничение".

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

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

Задач в которых прямо востребована наука про разрешимость практически не бывает. Вот как раз про сложность (но там обычно уже квадратичная малоприемлема) - очень даже востребована.

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

*) Последнее на вид близко к "разрешимости" - но на практике копается как раз в развитии науки как программировать реальные задачи на тьюринговски-неполных языках - вполне тоже можно кстати. Вот там да - приходится переделывать - но не под "разрешимость", а под "верифицируемую автоматически разрешимость"

**) При этом, замечу, что автоматическая верификация кода на завершаемость представляет вариацию на тему "проблемы остановки" - коя тоже формально неразрешима ;)))
Gen.Turgidson

и еще о сложности

Кстати пример из предыдущего поста я придумал в совершенно прикладных целях: лет 10+ назад - как раз когда generics в жабе появились, у нас на работе стояла задача научиться их обрабатывать. И понятно что при ее решении начали вылазить всякие такие вот вещи.
Collapse )
Gen.Turgidson

демографическое:

у nilsky_nikolay забавная табличка: сравнение демографического прогноза госкомстата от 1990 года с реальным положением дел в 2015 (это интересно, потому что сравнение с прогнозом убирает как раз "естественную" составляющую разницы в демографических тенденциях):
Collapse )
Dr.Strangelove

Гипотеза по украинскому безвизу

Что скорее всего вся эта муму имеет очень мало отношения к политики, россии, "разочаровании европы в украине" и прочей лабуде, а дело все гораздо проще;

ЕС позиционировал Украину

1) как рынок сбыта
2) как резервуар дешевой и необременной социальными обязательствами рабочей силы (как на месте так и на выезд), которой зарплата в сущности и платится этим самым сбытом - в общем европейским узбекистаном.

Если (1) хорошо всегда, то (2) хорошо только когда в оной рабочей силе есть потребность. А она есть когда экономика на подъеме. В 2013 когда еврободяга затевалась, в ЕС еще бодро смотрели в будущее и искренне обещали что "всех трудоустроим".

Щас же оказалось что в общем перспективы смутные - во всяком случае потребности в гастарбайтерах и дешевых работниках конвейеров нет. Своих некуда девать. Потому естественно и притормозили "до лучших времен". И даже если и дадут все-таки обещанное формально - фактически ловить будет все равно нечего пока ЕС не разберется со своими проблемами.

Ничего личного - только бизнес.
Gen.Turgidson

котическое

Вышел тут на веранду - из под крыльца вылезает - но не серое-полосатое стиля "русская помойная", а черно-белое пушистое - есть тут такой. и намекает что "жрат". Я зашел за печеньками - вышел насыпал - тут же вылезло полосатое - драки однако не случилось - черно-белый отступил и сидел в сторонке смотрел как серая жрет.

Я ему выдал отдельно и понаблюдал идиллию - аж умилился.

Щас на чердаке было топотание и мяв - чердак они видимо все-таки не поделили...