Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
КалПлан ДМ, ИУ7, 3с (2012, Белоусов).docx
Скачиваний:
70
Добавлен:
09.02.2015
Размер:
167.31 Кб
Скачать

Типовые задачи рубежного контроля

  1. Доказать тождество .

  1. Доказать тождество .

  2. Доказать тождество .

  3. Доказать, что для любой функции fи любых множествAиBимеют место соотношения: а); б) .

  4. Построить график и граф бинарного отношения , заданного на множестве, если .

  5. Для бинарного отношения на множествепостроить графики отношений и .

  6. Для бинарного отношения на множественайти, ,,,,.

  7. Пусть бинарное отношение определено на множестве положительных рациональных чисел следующим образом:, если. Показать, что является отношением эквивалентности.

  8. Ассоциативна ли операция на множествеM, если, .

  9. Решить уравнение в группе , если, ,.

  10. Решить уравнениев группе, где.

  11. Найти в решение системы уравнений

  1. Доказать, что если в кольце оба произведения иобратимы, то оба элементаиобратимы. Что изменится в результате, если сохранить обратимость только одного произведения?

Модуль 2: Элементы теории графов Вопросы для подготовки к рубежному контролю

  1. Основные понятия теории графов: неориентированные и ориентированные графы, цепи, пути, циклы, контуры, маршруты. Подграфы. Компоненты и бикомпоненты.

  1. Деревья и их классификация. Теорема о числе листьев в полном p-дереве.

  2. Методы систематического обхода вершин графа: поиск в глубину и поиск в ширину.

  3. Поиск кратчайших расстояний от фиксированной вершины: алгоритм волнового фронта и поиск в ширину в орграфе с числовыми метками дуг.

  4. Поиск фундаментальных циклов в неориентированном графе.

  5. Гомоморфизм и изоморфизм графов. Группа автоморфизмов графа и ее вычисление.

  6. Задача о путях в ориентированном графе, размеченном над полукольцом и ее решение с помощью алгоритма Флойда — Уоршелла — Клини. Задача о достижимости и поиске кратчайших расстояний между двумя узлами графа.

Типовые задачи рубежного контроля

  1. Орграф задан матрицей меток дуг:

.

Используя поиск в ширину, найти кратчайшие расстояния от источника (вершины v1), Показать изменение содержимого очереди вершин.

  1. Для орграфа, используя алгоритм Дейкстры, найти кратчайшие расстояния от источника (вершины v1), если орграф задан следующей матрицей меток дуг:

.

  1. Для орграфа,используя решение систем линейных уравнений в полукольцеR+, вычислить матрицу кратчайших расстояний, если орграф задан следующей матрицей меток дуг:

.

  1. Для орграфа, используя решение систем линейных уравнений в полукольце B, вычислить матрицу достижимости, если орграф задан следующей матрицей смежности вершин:

.

  1. Найти группу автоморфизмов неориентированного графа, заданного матрицей смежности вершин.

.

  1. Найти порядок группы автоморфизмов изображенного ниже графа

  1. Для неориентированного графа, изображенного на рисунке, найти поиском в глубину фундаментальные циклы:

Модуль 3: Регулярные языки и конечные автоматы Вопросы для подготовки к рубежному контролю

  1. Алфавит, слово, язык. Операции над языками, полукольцо всех языков в заданном алфавите и его замкнутость.

  1. Регулярные языки и регулярные выражения.

  2. Понятие конечного автомата (КА) и языка, допускаемого КА. Анализ и синтез КА.

  3. Теорема Клини о совпадении класса языков, допускаемых КА и класса регулярных языков.

  4. Детерминизация и минимизация КА. Регулярность дополнения регулярного языка и пересечения двух регулярных языков. Проблемы пустоты и эквивалентности.

  5. Лемма о разрастании для регулярных языков.