Построение суперпозиции правил логического вывода/Решение — различия между версиями

Если есть совпадение для $i$-го правила, то выходные значение этого правила $X_{out}^k$ полагаются известными и добавляются в маску:

Если есть совпадение для $i$-го правила, то выходные значение этого правила $X_{out}^k$ полагаются известными и добавляются в маску:

Проходы повторяются до тех пор, пока $Z'$ не перестанет изменяться или не будет получено $Z' \supset W$, что означает существование решения.

Проходы повторяются до тех пор, пока $Z'$ не перестанет изменяться или не будет получено $Z' \supset W$, что означает существование решения.

Поскольку количество проходов не превосходит количество параметров $n$, а на каждом проходе происходит не более $m$ операций сравнения, время работы алгоритма не превосходит $O(mn)$.

Поскольку количество проходов не превосходит количество параметров $n$, а на каждом проходе происходит не более $m$ операций сравнения, время работы алгоритма не превосходит $O(mn)$.

В книге описан способ улучшения алгоритма, который при выполнении предобработки за время $O(m \log m)$ работает не дольше $O(n+m)$.

В книге описан способ улучшения алгоритма, который при выполнении предобработки за время $O(m \log m)$ работает не дольше $O(n+m)$.

<\latex>

<\latex>