OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Вторник, 19 Март, 2024 07:00

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 55 ]  На страницу Пред.  1, 2, 3
Автор Сообщение
 Заголовок сообщения: Re: Пара примеров на цикл Дейкстры
СообщениеДобавлено: Четверг, 14 Июнь, 2012 12:31 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва
albobin писал(а):
oneZero=(a[i]=0)

albobin писал(а):
Не густо как то с предложениями инвариантов в тривиальном случае.
Но и Вы не попали в яблочко.

Найдите одну маленькую ошибочку в своем кандидате -- и останетесь победителем :)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Пара примеров на цикл Дейкстры
СообщениеДобавлено: Четверг, 14 Июнь, 2012 14:26 

Зарегистрирован: Пятница, 20 Июль, 2007 17:26
Сообщения: 710
Откуда: Псков
Не ради победительства, а любопытства ради :)
Наверное, если уж формально подходить, надо бы не i , а i-1 (истинность инварианта должна же сохраняться после окончания цикла). Тогда надо ещё "усилием мысли" значение (a[i]=0) для i<0 считать равным FALSE.

PS.
Но, если и это не в яблочко, то яблочко явно райское :)
PPS.
Если авторский вариант иной, то может быть стоит затаить, а вдруг какой "блестящий" стрелок найдётся и попадёт в самую точку :)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Пара примеров на цикл Дейкстры
СообщениеДобавлено: Четверг, 14 Июнь, 2012 15:37 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва
albobin писал(а):
Наверное, если уж формально подходить, надо бы не i , а i-1 (истинность инварианта должна же сохраняться после окончания цикла).
Тогда надо ещё "усилием мысли" значение (a[i]=0) для i<0 считать равным FALSE.
Да, поправка такая.

Только почему "формально". Реально.
Истинность до цикла как раз и устанавливается установкой oneZero перед циклом.

Вероятно, нужно не забывать, что инвариант должен выполняться после i := i + 1.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Пара примеров на цикл Дейкстры
СообщениеДобавлено: Четверг, 14 Июнь, 2012 15:52 

Зарегистрирован: Пятница, 20 Июль, 2007 17:26
Сообщения: 710
Откуда: Псков
Info21 писал(а):
Только почему "формально". Реально.

Да, слово неподходящее. Имел ввиду "соблюдая строгость" или "... точность"


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Пара примеров на цикл Дейкстры
СообщениеДобавлено: Четверг, 14 Июнь, 2012 20:32 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва
albobin писал(а):
Info21 писал(а):
Только почему "формально". Реально.
Да, слово неподходящее. Имел ввиду "соблюдая строгость" или "... точность"
Слово "строгость" двусмысленно, лучше остановиться на слове "точность".

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


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Пара примеров на цикл Дейкстры
СообщениеДобавлено: Четверг, 26 Июль, 2012 20:04 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9459
Откуда: Россия, Орёл
Вообще, отношение к ЦД такое же, какое долгое время была у русскоязычных программёров к SWITCH-методу Шалыто. Сколько Абрамыча по форумам поливали, что "ничего там нет, это нахрен не нужно, это банально, это тупо, мы и так код пишем прекрасно без всяких автоматов" и проч.
Хотя совершенно очевидно, что это метод, который позволяет во многих ситуациях регуляризовать решение задачи. Как можно запрограммировать состояние объекта и его изменение через раздельные переменные (булевы признаки и проч.) - и всегда будут и случаи, и сторонники, когда это будет, вроде, нагляднее. С другой стороны, проводились сравнения для сложных задач, что программист, нахреначивший кучу логических признаков и их изменения в разных местах, допускал много ошибок и долго отлаживался, а программист, вводящий одну переменную состояния и анализировавший регулярным образом все случаи, успешно решал задачу.

Так и ЦД позволяет по-другому подойти к построению алгоритма, вытащив на один уровень то, что расслоено обычно по нескольким. Иметь в арсенале такую штуку очень полезно.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Пара примеров на цикл Дейкстры
СообщениеДобавлено: Четверг, 26 Июль, 2012 20:25 

Зарегистрирован: Воскресенье, 06 Апрель, 2008 14:43
Сообщения: 557
Илья Ермаков писал(а):
Иметь в арсенале такую штуку очень полезно.
При всей полезности, никто не имеет. В интернете нет ссылок, кроме как на здешнюю публику. Наберите запрос "применение цикла Дейкстры".


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Пара примеров на цикл Дейкстры
СообщениеДобавлено: Четверг, 26 Июль, 2012 21:33 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва
Геннадий Тышов писал(а):
Наберите запрос ...
Психология барана в стаде.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Пара примеров на цикл Дейкстры
СообщениеДобавлено: Пятница, 27 Июль, 2012 04:32 

Зарегистрирован: Воскресенье, 06 Апрель, 2008 14:43
Сообщения: 557
Info21 писал(а):
Геннадий Тышов писал(а):
Наберите запрос ...
Психология барана в стаде.
Федор Василевич, как Вы предлагаете изучать вопрос статистики перехода программистами от теоретической идеи ЦД к практике применения?


Последний раз редактировалось ==== Пятница, 27 Июль, 2012 17:11, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Пара примеров на цикл Дейкстры
СообщениеДобавлено: Пятница, 27 Июль, 2012 07:12 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Ну, для начала при таком употреблении понятия статистики можно вспомнить известное высказывание лорда Дизраэли о трёх видах лжи... :wink:

Если серьёзно - то переход уже состоялся. Т.к. у "автоматчиков" фактически и предлагается эмуляция ЦД по образцу, предложенному Фёдором Васильевичем :) для КомПаса. См. тех же Поликарпову и Шалыто - уже говорил. Возможно, изначально они "говорили прозой, не зная об этом" :) - но это лишь подтверждает практическую полезность этой конструкции, раз "от жизни" к ней приходят...
То же справедливо и для Дмитрия_ВБ, который ввёл как "цикл-силуэт" ту же эмуляцию... и тоже от практики, очевидно...


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Пара примеров на цикл Дейкстры
СообщениеДобавлено: Пятница, 27 Июль, 2012 20:45 

Зарегистрирован: Воскресенье, 06 Апрель, 2008 14:43
Сообщения: 557
Федор Васильевич, какой запрос Вы используете или предлагаете для изучения в Интернете популярности ЦД у программистов?

Можете объявить конкурс на лучший запрос.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Пара примеров на цикл Дейкстры
СообщениеДобавлено: Суббота, 28 Июль, 2012 05:34 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Ну, чтобы победить в таком конкурсе, прежде всего нужны данные, содержащиеся здесь и здесь (п/р 2.3)... :)
Имеется в виду, что искать надо в настоящее время в первую очередь различные формы эмуляции ЦД, применяемые при реализации и/или спецификации программ. И также смотреть - каким образом к ним пришли.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Пара примеров на цикл Дейкстры
СообщениеДобавлено: Суббота, 28 Июль, 2012 07:43 

Зарегистрирован: Воскресенье, 06 Апрель, 2008 14:43
Сообщения: 557
Владислав Жаринов, Вы не торопитесь, дождемся соображений Федора Васильевича. Ведь именно его не устроил запрос "применение цикла Дейкстры" в Интернете.

Федор Васильевич, многие годы занимается пропагандой теоретической идеи ЦД, вероятно он лучше нас, в т.ч. меня и Вас, знает о практике применения ЦД программистами и расскажет, что ему позволило сделать при этом заявление или замечание о "Психология барана в стаде".

Федор Васильевич, Вы вероятно и сами желаете оценить результативность пропаганды теоретической идеи ЦД?

У меня в тексте сообщения(ий) используется термин "теоретическая идея ЦД", возможно ему синонимом будет термин "формальная идея ЦД"?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Пара примеров на цикл Дейкстры
СообщениеДобавлено: Воскресенье, 29 Июль, 2012 09:03 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Подождём, разумеется... просто, если конкурс будет таки объявлен - то нелишне заранее подумать о возможных путях к победе... :)

Кстати, уже простой запрос "цикл Дейкстры" выдаёт результат ненулевой и физически (в смысле числа результатов поиска), и логически - в том смысле, что они образуют ещё ряд направлений, помимо того, что можно отнести к результатам пропаганды Фёдором Васильевичем... Ну там понятно, что одно из них - это рассмотрение в Драконографике и в ГРАФИТ-базисе - а среди иных самостоятельных прежде всего "Основания программирования" (неоднократно цитируемые на разных ресурсах), а также позиция Каймина (кстати, любопытно видеть её по "Лексикону программирования" или на Педсовете)... На нескольких форумах кто обсуждает ЦД, а кто и переписывает код в такой форме.

В общем, кому надо (для дела в том числе) - тот знает... так можно перефразировать замечание... :)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Пара примеров на цикл Дейкстры
СообщениеДобавлено: Суббота, 04 Август, 2012 21:53 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8500
Откуда: Троицк, Москва
Геннадий Тышов писал(а):
Info21 писал(а):
Геннадий Тышов писал(а):
Наберите запрос ...
Психология барана в стаде.
Федор Василевич, как Вы предлагаете изучать вопрос статистики перехода программистами от теоретической идеи ЦД к практике применения?
Меня этот вопрос не интересует.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 55 ]  На страницу Пред.  1, 2, 3

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2024, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB