Логика, графы, пути и поисковые запросы
Таблицы истинности, законы де Моргана, множества запросов, кратчайший путь и подсчёт путей с численными примерами.
Задания ОГЭ-2027: 03, 04, 07, 08, 09
Содержание материала
В этих задачах один и тот же объект удобно видеть по-разному: условие — как логическое выражение, дороги — как граф, запросы — как множества страниц. Сначала переведите текст в модель, затем считайте.
Логические операции
Пусть и — высказывания.
| Запись | Название | Когда истинно |
|---|---|---|
| отрицание | когда ложно | |
| конъюнкция, «и» | когда истинны обе части | |
| дизъюнкция, «или» | когда истинна хотя бы одна часть | |
| импликация | ложна только при истинном и ложном | |
| эквивалентность | когда значения и совпадают |
Приоритет: отрицание, затем «и», затем «или». Скобки меняют порядок.
Полная таблица для «и» и «или»:
| 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 |
| 1 | 1 | 1 | 1 |
Пример. Для , :
а
Результат совпал, но это не общее тождество. Проверьте остальные строки таблицы истинности.
Законы де Моргана
Отрицание выражения раскрывают так:
Пример. Отрицание условия «целое число положительное и чётное» означает «целое число неположительное или нечётное». Союз меняется, отрицание применяется к каждой части.
Числовые условия
Текст « не меньше 7» означает , «не больше 12» — , «вне отрезка от 7 до 12» — .
Пример. Найдём целые , для которых истинно . Пересечение условий даёт : всего 4 значения.
Множества поисковых запросов
Запрос с «И» соответствует пересечению множеств страниц, запрос с «ИЛИ» — объединению. Для двух запросов:
Пример. Запрос робот нашёл 620 страниц, алгоритм — 480, а робот И алгоритм — 170. Тогда
Пересечение вычитают один раз, потому что в сумме общие страницы посчитаны дважды.
Для трёх множеств:
Пример. Три запроса дали 100, 80 и 60 страниц; попарные пересечения — 30, 20 и 10, общее пересечение — 5:
Формулы сравнивают запросы к одной фиксированной базе страниц. В учебной задаче это обычно подразумевается. Результаты реальной выдачи, полученные в разное время из меняющейся базы, смешивать нельзя.
Граф: вершины, рёбра и вес
Вершины обозначают объекты, рёбра — связи. В ориентированном графе направление важно. Вес ребра может означать длину, время или стоимость.
В простом неориентированном графе без петель степень вершины — число рёбер, которые к ней подходят. Сумма степеней всех вершин равна удвоенному числу рёбер:
Пример. Степени четырёх вершин равны 2, 3, 2 и 1. Сумма равна 8, значит, рёбер .
Кратчайший путь
Для небольшого графа выпишите несколько допустимых маршрутов и сложите веса. Для большого графа с неотрицательными весами используйте порядок Дейкстры:
- Начальной вершине присвойте расстояние 0, остальным — бесконечность.
- Выберите непосещённую вершину с наименьшим расстоянием.
- Попробуйте улучшить расстояния до её соседей.
- Пометьте вершину посещённой и повторяйте.
Пример. Есть дороги , , , , . Сначала из получаем , . Через улучшаем : . Через получаем . Путь короче прямого варианта .
Количество путей в ориентированном графе
Если граф не содержит циклов на рассматриваемом направлении, число путей удобно считать динамически. Начальной вершине присвойте 1. Для каждой следующей вершины сложите числа у всех вершин, из которых в неё входят рёбра.
Пример. Из идут рёбра в и , из и — в , из — ещё в , из — в .
Ответ: из в ведут 3 пути. При наличии циклов сначала уточните, разрешено ли посещать вершины повторно: без ограничения число маршрутов может стать бесконечным.
Адреса и сеть
URL обычно содержит схему, имя узла, путь и иногда параметры, например https://example.org/tasks/list?page=2. IP-адрес идентифицирует узел в сети, доменное имя даёт человеку удобное имя, DNS сопоставляет доменное имя с сетевым адресом.
В задаче на составление адреса не угадывайте порядок фрагментов. Сначала соберите шаблон схема://домен/путь, затем подставьте части и проверьте разделители.
Самопроверка
- Союзы «и», «или», «не» переведены без перестановки смысла?
- В запросах «И» стало пересечением, а «ИЛИ» — объединением?
- Общая часть множеств не посчитана дважды?
- У графа учтены направления и веса?
- Кратчайший маршрут проверен сравнением сумм?
- При подсчёте путей сложены все входящие варианты?
Подробные статьи: логические выражения, графы и сети, файлы и поиск.
Источник
Охват тем и экзаменационных действий сверён с проектом кодификатора ОГЭ-2027 ФИПИ. Схемы решения и числа в примерах созданы FastLearn.
Версия и источники
Информатика · Экзамен: ОГЭ-2027 · версия v7
Документы и история измененийТекст подготовлен командой FastLearn по документам ФИПИ. Если материал расходится с окончательными документами, он будет обновлён.