Русская Википедия:Конечная теория гарантированного поиска

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Конечная теория гарантированного поиска (КТГП) — раздел теории гарантированного поиска, в котором изучаются свойства поиска на топологических графах, но очень часто получается перейти от топологических графов к комбинаторнымШаблон:Sfn.

Большинство утверждений КТГП доказывается методами теории графов. Поиск на графе <math>G</math> определяется как совокупность некоторых отображений множеств целых неотрицательных чисел во множество вершин графа <math>G</math>. Поиску и целому неотрицательному числу всегда сопоставляется подграф графа <math>G</math>, называемый исследованной областьюШаблон:Sfn.

Понятия теории графов, такие как минор графа, остов графа, путевая ширина, кликовое число, не являются предметом КТГП, но активно ею используются. КТГП включает следующие разделы: вычисление поисковых чисел и оптимального времени поиска, операции над графами и поисками на них, классификация графов относительно их поисковых чиселШаблон:Нет АИ.

Для постановки задачи поиска на графах достаточно было средств времён Эйлера, однако первые содержательные результаты то этой теме появились лишь к концу 1980-х годов. Основополагающие работы принадлежат: Николаю ПетровуШаблон:Sfn, Торренсу ПарсонсуШаблон:Sfn, Андреа ЛапоШаблон:Sfn, Фёдору ФоминуШаблон:Sfn, Петру ГоловачуШаблон:Sfn.

См. также

Примечания

Шаблон:Примечания

Литература