26 октября, вторник, 14:00, к.430

А. Бешенов (АУ)

Полуалгебраические множества и цилиндрическое алгебраическое разбиение. Часть I

Полуалгебраические множества представляют собой вещественные решения
систем полиномиальных уравнений и неравенств. Очень важный факт
устанавливает теорема Тарского--Зайденберга: всякая проекция
полуалгебраического множества также является полуалгебраическим
множеством. Это означает, что для вещественных чисел и сигнатуры (=,
<, 0, 1, +, *) возможна элиминация кванторов.

Оказывается, всякое полуалгебраическое множество можно представить в
виде несвязного объединения конечного числа частей, полуалгебраически
гомеоморфных открытым гиперкубам (0,1)^d различной размерности. Это
можно получить при помощи цилиндрического алгебраического разбиения
(cylindrical algebraic decomposition, CAD). Я расскажу об алгоритме
CAD и его применении. Предлагаем покупку диплома о высшем образовании, вы приобретаете не просто диплом, а у вас есть возможность купить диплом в москве , вам нужно будет, лишь только выбрать институт Москвы, и диплом будет Ваш!

Сюжет лежит где-то в пересечении алгебры, геометрии, логики и алгоритмов.

Конспект:
http://cadadr.org/au/alg-alg/sag-cad-intro.pdf