Cтраница 1
Алгоритм приведения конечных неориентированных графов к каноническому виду / / Журн. [1]
Анализ алгоритма приведения показывает, что там, где квадратичный член тейлоровского разложения однократно вырожден ( двукратная вырожденность возможна только в начале), кубический по существенной переменной член будет совпадать с ограничением многочлена X3 - 3XF2 на прямую, где вырожденна матрица Гессе. Если же обращается, то требуется более тщательное исследование. [2]
Описание алгоритма приведения КНФ к СКНФ аналогично вышеизложенному описанию алгоритма приведения ДНФ к СДНФ и оставляется читателю в качестве упражнения. [3]
Ниже рассмотрены алгоритмы приведения результатов операций над функциями вида (4.2.1) к этому виду. [4]
Поскольку мы имеем алгоритм приведения к нормальной форме, вопрос о равенстве двух элементов сводится к вопросу о тождественности их нормальных форм. [5]
![]() |
График к расчету приведенного значения измеряемой на входе величины к выходу объекта по формуле. [6] |
Формула (4.26) дает алгоритм приведения текущего значения измеряемой на входе величины к выходу объекта. [7]
![]() |
Макет таблицы координат фунаторов. [8] |
Таким образом, алгоритм приведения таблицы координат фунаторов к нормальной форме заключается в сравнении элементов таблицы по столбцам, перегруппировке строк и вычеркивании некоторых ее частей. [9]
Этот метод дает алгоритм приведения системы линейных уравнений к диагональному виду. [10]
Изложим некоторые детали алгоритма приведения уравнения второго порядка к канонической форме. Этот алгоритм может быть использован для упрощения уравнений с любым числом переменных. Исходная система координат предполагается прямоугольной. При всех заменах координат также совершается переход к прямоугольным системам координат. [11]
Описанный в доказательстве теоремы алгоритм приведения квадратичной формы к каноническому виду носит название алгоритма Лагранжа. [12]
Итак, последовательным применением алгоритма приведения к ПНФ, алгоритма Сколема и алгоритма приведения к КНФ с сохранением свойства невыполнимости любая формула F может быть представлена набором дизъюнктов, объединенных кванторами общности. [13]
Остановимся теперь на описании алгоритма приведения кубика Рубика из пестрого состояния в начальное. [14]
В БОИС микропроцессор автоматически реализует алгоритм приведения объемного расхода газа к стандартным условиям и его интегрирование. [15]