- •4.Примеры логических ф-й.
- •5. Представления булевых функций формулами:
- •6. Представления булевых функций формулами. Примеры:
- •7. Разложение булевых функций по переменным. Теорема:
- •10. Правила подстановки и замены:
- •13. Замкнутые классы. Свойства замыкания.
- •16.Принцип двойственности
- •17.Класс монотонных ф-ций:
- •19.Алгебра Жегалкина.
- •27. Высказывания.
- •28.Интерпретация формулы. Теорема.
- •29. Логическое следование и логическая эквивалентность.
- •30. Логические эквивалентности. Доказательство
- •31. Исчисление высказываний
- •32. Понятие предиката
- •33. Понятие квантора. Квантор существования. Квантор всеобщности
- •34. Исчисление предикатов
- •35. Аксиомы исчисления предикатов:
- •36.Графы. Типы задач теории графов.
- •37.Графы. Основные понятия.
- •38 Способы представления графов:
- •38. Способы представления графов
- •40 Обходы графов. Алгоритмы поиска в глубину и в ширину. Теорема о поиске в глубину и ширину.
- •43. Маршруты, цепи, циклы.
- •44.Связные компоненты графа.
- •45.Расстояния.
- •Диаметр, радиус, центр графа.
- •47.Произведение графов
- •48. Прямое произведение графов.
- •49.Эйлеровы циклы.
- •Некоторые классы графов и их частей.
- •Концевые вершины и ребра
- •55. Дерево с корнем. Ветви.
- •56.Типы вершин дерева
- •57. Центры деревьев
- •62.Деревья
- •63. Способы обхода деревьев
43. Маршруты, цепи, циклы.
Маршрутом в графе G называется такая последовательность (конечная или бесконечная) ребер (e1,e2,…,en), что каждые 2 соседних ребра в этой последовательности имеют общую вершину.
Одно и то же ребро в маршруте может встречаться несколько раз.
Маршрут называется открытым, если начальная и конечная вершины его различны. Иначе – замкнутым.
Число ребер определяет его длину.
Если начальная вершина и конечная вершина маршрута совпадает, то маршрут называется циклическим.
Маршрут называется цепью, если каждое ребро встречается не более одного раза и простой цепью, если любая вершина инцидента не более, чем 2 ребрам.
Циклический маршрут называют циклом, если он является цепью и простым циклом, если он является простой цепью.
44.Связные компоненты графа.
Две вершины Vi Vj называют связными в графе G если в нем сущ маршрут, в котором
Vi и Vj являются началом и концом. Граф G называется связным, если каждая пара его вершин явл связной, иначе — несвязный.
Если вершина V э G связана с какой-то другой вершиной графа G , то она явл связанной с само собой. Отношением связности заданное на графе явл рефлексивным, симметричным и транзитивным. Док-во: 1.) мы можем начинать маршрут в вершине Vi и заканчивать его в этой же вершине: A Vi R Vi – св-во транзитивности.2.)Vi R Vj, Vj R Vi — св-во симметричности, мы можем проходить маршрут по и против часовой стрелки. 3.) Пусть сущ Vс: Vi R Vс, Vс R Vi =) Vi R Vj, т. к. граф связный, то каждая пара его вершин явл связными., т. е. Это св-во выполняется.
Отношение связности явл отношением эквивалентности, а =) определяет разбиение мн-ва вершин графа на непересекающиеся подмн-ва Vi. Вершины одного и того же подмн-ва Vi связаны друг с другом, а вершины подмножеств Vi и Vj не связанны между собой, поэтому в графе G нет ребер с разными концами в мн-вах Vi и Vj и граф G может быть розложен в прямую сумму частей графа G = iV G (Vi)
45.Расстояния.
Пусть задан граф G — связный, неориентированный. Vi Vj — любые его две вершины. В графе сущ связывающие эти две вершины простая цепь М(е1,е2,е3...ед). Если кол-во ребер в этой цепи не явл минимальным из возможных, то сущ цепь М'(е'1,е'2,е'3...е'д) и если M' не явл минимальным, то млжно найти цнпь с еще меньшим кол-вом ребер и процесс уменьшения кол-ва ребер можно повторить несколько раз. В графе всегда можно найти цепь связывающую вершины Vi и Vj такую, которая будет иметь минимальное кол-во ребер р. Минимальная длина простой цепи связывающей вершину Vi и Vj называется расстоянием d. Если считать в связном графе, что вершина V связана сама собой, то можно определить нулевой маршрут. Расстояние между вершиной V и ею самой =0. Для любых двух вершин Vi и Vj d >0, т. к. сущ цепь связывающая эти вершины и состаящая хотя бы из одного ребра.
d(Vi, Vj) - расстояние между вершинами удовл следующим аксиомам метрики:
d(Vi, Vj) >0 , d(Vi, Vj) = 0 только в том случае, если вершины Vi, Vj совпадают
d(Vi, Vj) = d(Vj, Vi)
d(Vi, Vc) + d(Vc, Vj) >= d(Vi, Vc) Неравенство треугольника.