Каноническое отображение
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
множество, для которого существует шар, целиком содержащий это множество
Исследованы генераторы гаммы (автономные автоматы), множество состояний которых есть пространство двоичных n-мерных векторов, и функция переходов реализует полноцикловую подстановку множества состояний. Оценивается сложность Тп решения системы уравнений гаммообразования (без ограничения на число уравнений) относительно неизвестного начального состояния методом формального кодирования. Оценка получена с помощью определения линейной сложности и порядка множества мономов для последовательности выходных функций генератора. Показано, что TL(2n-1) Тп n), где TL(m) сложность решения над GF(2) системы из m линейных уравнений от m неизвестных. Данный класс генераторов порождает, в частности, нормальные рекуррентные последовательности над полем GF(2) (последовательности де Брёйна).
Приводится описание метода приграничного слоя, предназначенного для приближенного построения множеств достижимости некоторой динамической системы в n-мерном евклидовом пространстве при наличии фазовых ограничений. Предложенный метод относится к классу сеточных методов и использует подход, при котором в ходе итерационного процесса используются не все точки уже построенных множеств, а лишь точки из их приграничных слоев. Такой подход дает существенный выигрыш во времени счета по сравнению с классическими сеточными методами.
такое отображение множества в его фактормножество, что образом любого элемента является класс эквивалентности, содержащий этот элемент
коническая поверхность, направляющая которой — многоугольник
цепь, не содержащая цикла (т. е. все ее вершины различны)