OberonCore

Собственно:
http://oberoncore.ru/wiki/blackbox/ex/points_game

Инициирующим обсуждением было вот это:
viewtopic.php?f=27&t=1750

А выбор игрока? Компьютер-пользователь?

Ууу, батенька

Поставили задачку

Это позиционная игра. Упрощение японской Го.

Они традиционными методами перебора по дереву вообще не обсчитываются. Даже с отсечениями-эвристиками. Просто дикий комбинаторный взрыв (посчитайте число возможных вариантов первого-второго-третьего хода - и прикиньте порядок факториала).
За программу, играющую в Го на уровне любителя (японского школьника) обещана нефиговая премия.

Кстати, автор программы будет заниматься (в качестве студенческой НИР и диплома) системой принятия решений для таких игр. Очень интересная тема Переборы перестают работать, нужно учиться формулировать явные правила позиционного поведения. Общего способа "считать позиционно" быть просто не может; а вот подход к анализу и построению логики под каждую конкретную задачу наработать бы хотелось.

Ситуация, кстати, чем-то напоминает комп. лингвистику (с задачей точного извлечения содержания текста; а не поиска "широким неводом" типа поисковиков). Сначала "ИТ-партизанам" казалось (и до сих пор кажется), что не надо думать о языке, а надо накладывать стат. методы, нейронные сети и прочую хрень, что "оно само считало методом бубна". А оказалось, что надо просто становится лингвистом и закладывать, закладывать в машину уйму точной явно прописанной логики. И хошь бы одна нейронная сеть пригодилась...

А не посмотреть ли вам Ботвинника с его Пионером. Помнится у него было такое понятие как "траектория". ИМХО, весьма близко.

Спасибо, надо будет глянуть.

По тексту программы видно, что студент не знает законов де Моргана или не умеет ими пользоваться. Это большой минус руководителю
Советую в воспитательных целях предложить раскрыть все отрицания.

Хе-хе. : ) Всё правильно написал студент. Настолько правильно, что непривычно. Илье +1 за руководство.

Подсказка: вспомните линейный поиск.
WHILE A & ~B DO
...
END;
IF A THEN (* B = TRUE, найдено *)
ELSE (* не найдено, B не определено *)
END;

Пример:
WHILE (i < LEN(str)) & ~(str[i] = 0X) DO
INC(i);
END;
IF i < LEN(str) THEN (* str[i] = 0X *)
ELSE (* символ 0X не найден *)
END;

Конъюнкт B в условии цикла пишется с явным отрицанием, чтобы было сразу видно, что ищется (т.е. какое условие должно выполниться при успешном завершении поиска).

На этом форуме много говорится про т.н. "Линейный поиск", это верно. Но дело в том, что к Дейкстре (и Грису тоже) это не имеет никакого отношения. Возьмите книги и вспомните сами.
Вот Вам в помощь: viewtopic.php?p=29531#p29531 и viewtopic.php?p=29586#p29586
Верю, что Вам нравится выделять коньюнкты с отрицанием. Но Дейкстру сюда приплетать не надо.

Чтобы было сразу видно, что ищется, используется не WHILE с необозримым условием, а что-нибудь более выразительное. Впрочем ладно, не обращайте внимания...

Да, это так.

Линейный поиск у Дейкстры - это поиск с гарантированным исходом, т.е. без двух вариантов окончания.

И вообще, как я уже говорил - теория Дейкстры так же соотносится с паттернами "полный проход" и "линейный поиск", как, к примеру, общий аппарат исследования поведения функций с частным аппаратом линейного программирования.

Поправил своё сообщение выше.

А URL есть? Интересно почитать, даже не ожидал, что здесь у нас полный консенсус.
А все-таки интересно, чем вызваны нераскрытые отрицания - подгонкой под некий шаблон или чем-то другим.

Про паттерны - здесь: http://oberoncore.ru/wiki/%D0%BF%D0%B0% ... 0%BE%D0%B2 - и изначально у Ткачёва (там внизу ссылка на PDF с И-21 есть).

Отрицание вызвано следованием схеме WHILE не_конец & ~( условие поиска), а схема вызвана тем, что построение такого цикла логично начинать с формулировки условия на искомую ситуацию, а условие обычно вытекает прямо из мат. постановки - утверждения о существовании (квантор E), которое должно быть подтверждено или опровергнуто линейным поиском.