Навигация
Главная
Поиск
Форум
FAQ's
Ссылки
Карта сайта
Чат программистов

Статьи
-Delphi
-C/C++
-Turbo Pascal
-Assembler
-Java/JS
-PHP
-Perl
-DHTML
-Prolog
-GPSS
-Сайтостроительство
-CMS: PHP Fusion
-Инвестирование

Файлы
-Для программистов
-Компонеты для Delphi
-Исходники на Delphi
-Исходники на C/C++
-Книги по Delphi
-Книги по С/С++
-Книги по JAVA/JS
-Книги по Basic/VB/.NET
-Книги по PHP/MySQL
-Книги по Assembler
-PHP Fusion MOD'ы
-by Kest
Professional Download System
Реклама
Услуги

Автоматическое добавление статей на сайты на Wordpress, Joomla, DLE
Заказать продвижение сайта
Программа для рисования блок-схем
Инженерный калькулятор онлайн
Таблица сложения онлайн
Популярные статьи
OpenGL и Delphi... 65535
Форум на вашем ... 65535
HACK F.A.Q 65535
Бип из системно... 65535
Гостевая книга ... 65535
Invision Power ... 65535
Содержание сайт... 65535
Организация зап... 65535
Вызов хранимых ... 65535
Программируемая... 65535
Эмулятор микроп... 65535
Подключение Mic... 65535
Создание потоко... 65535
Приложение «Про... 65535
Оператор выбора... 65535
Создание отчето... 64213
Модуль Forms 63942
Пример работы с... 61030
ТЕХНОЛОГИИ ДОСТ... 60812
Имитационное мо... 56343
Реклама
Сейчас на сайте
Гостей: 9
На сайте нет зарегистрированных пользователей

Пользователей: 13,080
новичок: setan
Новости
Реклама
Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ
Delphi, Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog, 3D MAX, Компас 3D
Заказать программу для Windows Mobile, Symbian

Моделирование вычислительного центра на GPSS + Отчет + Блок схема
Изменения контуров и сортировка в двумерном массиве чисел на Turbo Pasca...
Моделирование интернет кафе на GPSS + Отчет

Реклама



Подписывайся на YouTube канал о программировании, что бы не пропустить новые видео!

ПОДПИСЫВАЙСЯ на канал о программировании
Запрограммировать предикаты для работы с графами

Методические указания
1. При выборе способа представления графа для программирования предикатов группы IV следует учесть следующее. При простейшем, неявном способе задания графа легче программировать предикаты 16-18, однако он не применим для задания несвязных графов и работы с ними. Задание графа в виде терма - менее экономный способ, поскольку информация в нем частично дублируется, но он более универсален.
Кроме того, возможны и другие, еще более неэкономные и сложные способы представления (задания) графа, облегчающие в то же время его обработку; например, задание графа как списка пар вида
pair(<вершина>, <список вершин, смежных с ней>),
где pair - бинарный функтор. Для примера графа на рис. 2 таким списком будет
[pair (a, [b, c]), pair(b, [a, d]), pair(c, [a, d]), pair(d, [b, c, e]), pair(e, [d])].
При программировании некоторых предикатов может оказаться полезным перевод графа из одной формы представления в другую.
При любом способе задания графа кючевым моментом является то, что необходимо заранее решить, является ли обрабатываемый граф ориентированным или нет.

2. Несмотря на внешнюю похожесть определений предикатов min_path и short_path их эффективная реализация на Прологе требует применения разных алгоритмов поиска путей, т.е. перебора вершин в графе.
Нахождение минимального по стоимости пути предполагает полный просмотр графа и путей в нем. Такой просмотр целесообразно программировать на основе алгоритма поиска вглубь (depth_first_search), поскольку он по сути встроен в пролог-интерпретатор. При поиске вглубь всегда для продолжения просмотра из еще не рассмотренных вершин графа выбирается вершина, наиболее удаленная от начальной вершины (т.е. от которой был начат поиск) [Братко, с.330-335; Стерлинг, с.224-232].
Алгоритм поиска вглубь просто программируется и эффективно реализуется на Прологе, поскольку сам пролог-интерпретатор при доказательстве целей просматривает и обрабатывает альтернативы именно стратегией в глубину.
В отличие от min_path нахождение самого короткого пути (предикат short_path) в общем случае не требует полного просмотра графа; наиболее быстрое обнаружение такого пути гарантируется другим алгоритмом перебора вершин графа - алгоритмом поиска вширь (breadth_first_search). Для этого алгоритма характерно то, что всегда для продолжения поиска выбирается одна из вершин, наиболее близких к начальной.
Как и алгоритм поиска вглубь, поиск вширь является полным алгоритмом, т.е. при необходимости просматривает граф полностью, но порядок просмотра существенно иной.
Программирование на Прологе алгоритма поиска вширь существенно сложнее, так как для этого требуется сохранять и модифицировать в процессе перебора список всех путей, ведущих от начальной вершины к вершинам, от которых можно продолжать поиск [Братко, с. 336-344].
При программировании поиска вширь может оказаться полезным стандартный (встроенный) пролог-предикат второго порядка
findall (Var, Goal, Vlist),
где Var - переменная, Goal - предикат, имеющий в качестве одного из своих аргументов переменную Var, Vlist - выходная переменная - список возможных решений Goal. Сам findall детерминированный, его выполнение означает доказательство Goal в режиме бектрекинга: после каждого успешного окончания доказательства найденное значение Var добавляется в список Vlist и автоматически вырабатывается неуспех - до тех пор, пока не будут рассмотрены все варианты доказательства Goal. По окончании этого процесса предикат findall считается доказанным, а значением единственного выходного аргумента findall будет список из найденных значений переменной var.
Например, в результате доказательства
findall (X, append (X, _, [a, b, c]), Xlist)
Xlist получит значение ([a], [a, b], [a, b, c]).

3. Основой пролог-интерпретатора является встроенные механизмы унификации (сопоставления) и бектрекинга (возвратов). Для написания более эффективного варианта программы необходимо применять разностные структуры (списки, очереди и др.), позволяющие избегать ненужного копирования и просмотра структур (термов) в памяти за счет использования механизма сопоставления [Стерлинг, с.190-197].
Наиболее часто используются разностные списки, идея которых связана с тем, что каждый список можно представить как разность двух других списков, причем не одним способом. Например, для списка [1,2,3] возможны следующие варианты:
dl ([1,2,3,4,5], [4,5])
dl ([1,2,3| У], У)
dl ([1,2,3], [])
Здесь dl - бинарный функтор для представления разностного списка, т.е. разности двух списков: первый его аргумент - уменьшаемое (укорачиваемое), второй - вычитаемое.
Таким образом, разностный список - другое представление обычного списка, при котором вычитаемый список (второй аргумент функтора dl) фиксирует конец обычного списка, и он становится сразу доступен в процессе сопоставления, без просмотра обычного списка от начала до конца. Поэтому если два обычных списка соединяются в один список предикатом append за время, линейное от длины первого аргумента, то два неполных разностных списка могут быть соединены в разностный список за константное время. Причем реализуется это преобразование - разностный append - одним предложением
append_dl (dl (Z1, Z2), dl (Z2, Z3), dl (Z1, Z3) ).
Обоснованием этого предложения служит следующий схематический рисунок разностных списков:

Опубликовал Kest February 19 2011 00:17:51 · 0 Комментариев · 9990 Прочтений · Для печати

• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •


Страница 4 из 5 < 1 2 3 4 5 >
Комментарии
Нет комментариев.
Добавить комментарий
Имя:



smiley smiley smiley smiley smiley smiley smiley smiley smiley
Запретить смайлики в комментариях

Введите проверочный код:* =
Рейтинги
Рейтинг доступен только для пользователей.

Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.

Нет данных для оценки.
Гость
Имя

Пароль



Вы не зарегистрированны?
Нажмите здесь для регистрации.

Забыли пароль?
Запросите новый здесь.
Поделиться ссылкой
Фолловь меня в Твиттере! • Смотрите канал о путешествияхКак приготовить мидии в тайланде?
Загрузки
Новые загрузки
iChat v.7.0 Final...
iComm v.6.1 - выв...
Visual Studio 200...
CodeGear RAD Stud...
Шаблон для новост...

Случайные загрузки
Конвертирование и...
Графика в проекта...
Андрей Боровский....
GamesBase 3.0
Ильдар Хабибуллин...
Turbo Pascal for ...
PolyFlow
Алгоритмы шифрова...
Игра Car [Исходни...
Таймер и секундомер
Пример создания W...
PDJ_Anima
Пример работы с ф...
PHP, MySQL и Drea...
Базы данных в Инт...
База Allsubmitter...
Xrumer 4 Platinum...
TDBF
Платформа програм...
Проигрыватель Mp3

Топ загрузок
Приложение Клие... 100455
Delphi 7 Enterp... 86155
Converter AMR<-... 20071
GPSS World Stud... 12523
Borland C++Buil... 11612
Borland Delphi ... 8526
Turbo Pascal fo... 7035
Visual Studio 2... 4992
Калькулятор [Ис... 4744
FreeSMS v1.3.1 3539
Случайные статьи
Categories. Нажмит...
Модели управления ...
Полиморфизм на эта...
клиентом удаленног...
Идеализация процессов
Windows с точки вр...
Инструменты раскру...
Реализация операци...
Инициализация посл...
В случае атаки сис...
Работа с константа...
Создаем правила бр...
Физическая природ...
TemplateMonster
Исключения и дестр...
Игровые автоматы....
Предварительные св...
Процедура FREEMEM....
Что делать с седьм...
Резюме
РЕШЕНИЕ: МОДЕЛИРОВ...
Связывание серверов
Язык С: пример пра...
Для получения боле...
OpenGL и Delphi (3...
Статистика



Друзья сайта
Программы, игры


Полезно
В какую объединенную сеть входит классовая сеть? Суммирование маршрутов Занимают ли таблицы память маршрутизатора?