Cтраница 1
Алгоритм редукции показывает, что реляционная алгебра обладает необходимой селективной силой для построения связей, семантически эквивалентных произвольным альфа-выражениям. [1]
Алгоритм редукции решает ту же задачу проверки общезначимости формулы, но используется в том случае, когда в формуле содержится достаточно много импликаций. [2]
Алгоритм редукции заканчивает свою работу за конечное число тагов. [3]
Алгоритм редукции, о котором сейчас пойдет речь, позволяет доказывать общезначимость формул с помощью приведения к абсурду. Это особенно удобно, когда формула содержит много импликаций. [4]
Он предложил алгоритм редукции, который независимо от него был описан в работах Yu, Ozsoyoglu [1979, 1980], хотя там он выражен в терминах графов соединения. В статье Honeyman [ 1980b ] обнаружена связь между эквивалентностью свойств ПС и СЦ и существованием программ полной редукции, однако доказательства небезупречны. [5]
Алгоритм 5.6 описывает алгоритм редукции справа. [6]
На основе этого подхода получены алгоритмы редукции для всех четырех постановок. [7]
С помощью алгоритма Квайна и алгоритма редукции доказать тождественную истинность аксиом ИВ. [8]
Для SISO систем в [53-54] описан алгоритм редукции, основанный на Паде аппроксимации и критерии устойчивости Рауса. Общей проблемой методов редукции МИМО систем является тот факт, что порядок редуцированной модели может оказаться более высоким, чем порядок исходной модели. Предложенный в работе [59] метод редукции МИМО систем решает эту проблему. [9]
В ряде случаев для определения тождеств удобен так называемый алгоритм редукции. Алгоритм основан на доказательстве путем приведения к абсурду. Метод особенно хорош, когда формула содержит много импликаций. Согласно принципу дедукции, вопрос о выводимости ( не выводимости) некоторой формулы сводится, в конечном счете, к анализу невыполнимости множества ее дизъюнктов. Множество дизъюнктов невыполнимо тогда и только тогда, когда логическим следствием из него является пустой дизъюнкт. Метод, позволяющий получить логические следствия из множества дизъюнктов, основан на применении принципа резолюций. [10]
Итак, при применении любого из правил УР или УВ блоки сохраняются, а поэтому их сохраняет и алгоритм редукции. [11]
Отсюда следует, что если мы выбираем вершину-редекс PR для редукции первой, то метод копирования, не требующий каких-либо изменений алгоритма редукции графов, является наилучшим. Однако метод побочных вершин также может ис пользовать изменение порядка выбора редексов, поскольку если PR редуцируется первой, то в момент замены РА будет уже известно, является ли PR вершиной-синонимом. [12]
Следующий алгоритм редукции гиперграфов был предложен Грэхемом, хотя Ю и Осой-Оглы независимо от него нашли по существу эквивалентный алгоритм, работающий с другой структурой данных. Алгоритм редукции Грэхема состоит в последовательном выполнении шагов, на каждом из которых к гиперграфу применяется одно из двух правил редукции, - до тех пор, пока не окажется, что ни одно из них применить больше нельзя. [13]
Заметим, что в этом алгоритме выполнена не просто редукция, а решена, так называемая, задача о минимальной реализации. Далее рассматриваются алгоритмы редукции передаточных функций, у которых отсутствуют нули равные полюсам. [14]
G, эта проверка далее сводится к проверке G f X - А. Алгоритм 5.6 описывает алгоритм редукции справа. [15]