Транзитивное замыкание конечного отношения — для нескольких посылок

Постановка и вычислительная модель

В математической постановке «Транзитивное замыкание конечного отношения — для нескольких посылок» Матрица смежности хранит наличие упорядоченных пар. Для вычисления замыкания последовательно рассматриваются пути длины от одного ребра до числа вершин: кратчайший простой путь не требует большего числа шагов. Объединение исходных связей с дополнительным условием важно: изменение второй посылки может соединить ранее раздельные классы или открыть путь, которого не было в первой матрице. В постановке «Транзитивное замыкание конечного отношения — для нескольких посылок» размер системы задаётся полем «Число вершин», которое в исходном примере равно 4.

В качестве исходного задания взята модель gpt06_v85_10_01, а не произвольное выражение. Начальная и конечная вершины используются при восстановлении кратчайшего маршрута. Дополнительно результат содержит количество достижимых упорядоченных пар и целочисленную маску замыкания. Особое внимание уделяется связанным результатам: они должны одновременно соответствовать одним и тем же введённым данным. Например, изменение «Дополнительные дуги второго условия, маска» требует пересчитать результат именно по выбранным ограничениям.

Представление исходных данных

Исходные поля этого вычислителя: Число вершин, Матрица дуг, двоичная маска, Начальная вершина, с нуля, Конечная вершина, с нуля, Дополнительные дуги второго условия, маска. Для примера «Транзитивное замыкание конечного отношения — для нескольких посылок» используются конкретные значения: n = 4; edges = 6215; source = 0; target = 3; premise = 8. Данные задаются как целые числа, поэтому целостность кодов проверяется до выполнения перебора. Здесь «Дополнительные дуги второго условия, маска» имеет исходное значение 8; оно входит в правила построения задачи.

Если задано ограничение длины, отдельно вычисляется разница с полным замыканием. Этот показатель позволяет увидеть, сколько пар ещё не обнаружено, не смешивая неполный поиск с отсутствием пути. В данном варианте задания следует учитывать дополнительное условие: Объединение исходных связей с дополнительным условием важно: изменение второй посылки может соединить ранее раздельные классы или открыть путь, которого не было в первой матрице. Ввод числа, которое кодирует вершины за пределами выбранного множества, считается ошибкой, а не дополняется несуществующими состояниями. Для расчёта «Транзитивное замыкание конечного отношения — для нескольких посылок» недопустимые кодировки отклоняются прежде, чем начинается перебор.

Алгоритм проверки результата

Когда разрешены пути нулевой длины, любая вершина достижима из самой себя. Это соглашение явно учитывается, поэтому диагональ транзитивно-рефлексивного замыкания содержит единицы. Промежуточные характеристики помогают проверить вычисление без обращения к внешнему серверу: достаточно проследить несколько состояний или связей на небольшом примере. В контрольном наборе для задачи «Транзитивное замыкание конечного отношения — для нескольких посылок» формируются как основная характеристика, так и вспомогательные показатели проверки.

Для воспроизводимости зафиксирован результат: Достижимость конечной вершины (1 — да): 1; Минимальная длина пути: 1; Число достижимых пар: 16; Неучтённых пар при ограничении: 0; Маска замыкания: 65535; Маршрут: 0 → 3. В задаче «Транзитивное замыкание конечного отношения — для нескольких посылок» можно изменить исходную маску, выбранную вершину либо особое условие; проверяемое утверждение при этом пересчитывается, а не берётся из записанного образца. При изменении параметра «Число вершин» область перебора меняется вместе с размером модели.

Границы применимости и выводы

Для постановки «Транзитивное замыкание конечного отношения — для нескольких посылок» рассматриваются только конечные множества в пределах заданного числа вершин или состояний. Начальная и конечная вершины используются при восстановлении кратчайшего маршрута. Дополнительно результат содержит количество достижимых упорядоченных пар и целочисленную маску замыкания. Если требуется больший автомат, необходимо использовать специализированные средства, рассчитанные на крупные графы. Для калькулятора «Транзитивное замыкание конечного отношения — для нескольких посылок» ограничения размера заданы явно во входной форме.

При толковании ответа важно учитывать, как действует вариант «для нескольких посылок»: Объединение исходных связей с дополнительным условием важно: изменение второй посылки может соединить ранее раздельные классы или открыть путь, которого не было в первой матрице. Возможные противоречия и неверные номера состояний должны приводить к отказу, а не к бессмысленной маске. В случае «Транзитивное замыкание конечного отношения — для нескольких посылок» смысл ответа зависит от всех указанных пользователем условий, включая «Дополнительные дуги второго условия, маска».

Формула расчёта

Проверенные примеры

Как пользоваться онлайн-калькулятором

1. Задайте число вершин или состояний и целочисленные коды отношений либо переходов.
2. Выберите ограничения и начальные/конечные состояния по указанной задаче.
3. Сравните значения вычисленных характеристик, разбиения, доступности и свидетельства.