Рекурсивний критерій спряженості автоморфізмів у FAut T2
Дослідження проблеми скінченностанової спряженості для автоморфізмі бінарного кореневого дерева. Запропонований рекурсивний критерій надає можливість ефективного розв’язання проблеми скiнченностанової спряженостi для певного класу автоморфiзмiв.
Подобные документы
Вивчення властивостей групи автоморфізмів кореневого однорідного дерева. Індуктивна побудова класу функцій кільця , що є стискаючими. Ототожнення кодування бінарного дерева з двійковим кодуванням цілих 2-адичних чисел, множина обертовних елементів кільця.
статья, добавлен 27.09.2016Спеціальний технічний апарат для вивчення груп Григорчука, що базується як на мові "перекладань" підінтервалів і на мовах теорії груп автоморфізмів кореневих дерев. Особливості вирішення проблеми спряженності для 2-груп Григорчука, нові оцінки графіка.
автореферат, добавлен 23.11.2013Вивчення основних понять i визначень стійкості по Ляпунову. Дослідження стійкості лінійних нестаціонарних систем. Стійкість розв’язку лінійних систем з сталими коефіцієнтами. Критерій Гурвiца. Критерій стійкості автономної системи за першим наближенням.
курсовая работа, добавлен 19.10.2016Викладення покрокового процесу розв’язання зрізаної індефінітної проблеми моментів. Функції узагальненого класу Неванлінни. Огляд властивостей узагальнених матриць Якобі, які відповідають покроковому процесу розв’язання індефінітної проблеми моментів.
автореферат, добавлен 30.08.2014Використання критерій недостатнього обґрунтування Лапласа, коефіцієнта варіації, спекулятивного результату та узагальненого максиміну. Критерій математичного сподівання, дисперсії або середньоквадратичного відхилення. Мінімаксний критерій Севіджа.
контрольная работа, добавлен 15.03.2017Встановлення необхідних та достатніх умов скінченності груп скінченних автоматів. Використання методів геометричної та комбінаторної теорії груп і теорії груп автоморфізмів кореневих дерев. Доведення критерію спряженості елементів скінченного порядку.
автореферат, добавлен 11.08.2015Проблема класифiкацiї як одна з ключових i разом з тим громiздких при вивченнi самоподiбних груп. Виведення критерiю, за яким двопороджена самоподiбна група автоморфiзмiв регулярного бiнарного кореневого дерева є абелевою. Умови її ізоморфності.
статья, добавлен 24.11.2016Вивчення класифікації та компонентів морсівських відображень орієнтовної поверхні в колі. Умови спряженості функцій та тривіальності другої гомотопічної групи склеєного простору. Створення класу замкнутих тривимірних видів морсівських відображень.
автореферат, добавлен 23.02.2014Алгоритми для розв'язання проблеми рівності в групах та напівгрупах (асинхронних) автоматних перетворень. Доведення ізоморфізма груп асинхронно автоматних перетворень над різними алфавітами. Розв'язання проблеми Григорчука про класифікацію груп Gw.
автореферат, добавлен 28.08.2014Розгляд систем лінійних рівнянь. Рядки і стовпці матриці, їх функції. Критерій сумісності, визначеності системи лінійних рівнянь. Рядковий і стовпцевий ранги матриці. Розв’язання системи лінійних рівнянь методом послідовного виключення невідомих.
лекция, добавлен 16.07.2017Розв’язання бінарної проблеми Гольдбаха методом тригонометричних сум. Знаходження асимптотичної формули розподілу парних чисел, утворених сумою двох простих непарних чисел. Використання методу І. Виноградова для доведення тернарної проблеми Гольдбаха.
статья, добавлен 29.01.2016Вдосконалення математичної моделі задачі оптимізації розміщення орієнтованих прямокутників для класу неперервно диференційованих функцій, цілі, розробка чисельних методів їх розв’язання. Розробка програмного забезпечення для розв’язання задач оптимізації.
автореферат, добавлен 28.08.2014Побудова та аналіз математичних моделей нового класу задач комбінаторної оптимізації з дробово-лінійними функціями цілі на переставленнях. Побудова моделей деяких прикладних задач, що зводяться до комбінаторних задач нового класу, алгоритмів розв’язання.
автореферат, добавлен 22.06.2014Розвиток ідеї використання методу точкових відображень у дослідженні двовимірних динамічних систем з імпульсною дією. Аналітичний критерій стійкості n-імпульсних циклів. Дослідження властивості функції послідування. Дослідження спеціального класу систем.
автореферат, добавлен 11.08.2014Застосування методів оптимізації в нафтопереробній промисловості. Пошук мінімального дерева Штейнера. Аналіз розподілу множини вершин графа на сукупність оболонок та їх сполучення. Розробка програмного забезпечення для розв’язання задачі комівояжера.
статья, добавлен 26.03.2016Вивчення пар класів неспадних тотальних одномісних арифметичних функцій. Встановлення критеріїв рефлективності, транзитивності. Вивчення ґрат m-звідностей з інформаційними обмеженнями. Дослідження структури рекурсивно перераховних ступенів нерозв’язності.
автореферат, добавлен 25.08.2014Розвиток теорії евклідової комбінаторної оптимізації в геометричному проектуванні шляхом дослідження властивостей спеціальних класів цільових функцій на множині поліпереставлень. Дослідження математичних моделей, розробка методів розв’язання класу задач.
автореферат, добавлен 29.09.2015Розробка нового підходу для дослідження паралельності алгоритмів розв'язання матричних систем. Розгляд особливостей ланцюгового та централізованого способів передачі інформації, а також схем діагоналізації та розрізання розв'язання матричних систем.
статья, добавлен 25.10.2018Обчислення та оцінка ентропії для деяких класів автоморфізмів груп та C*-алгебр. Клас автоморфізмів зліченної підгрупи тора. Оцінка динамічної ентропії відповідних автоморфізмів схрещеного добутку цієї підгрупи та C*-алгебри неперервних функцій на торі.
автореферат, добавлен 29.07.2014Прямі і наближені методи розв’язання систем лінійних алгебраїчних рівнянь. Метод Гауса. Чисельне розв’язання нелінійних алгебраїчних і трансцендентних рівнянь та їх систем. Наближене розв’язання крайової задачі для звичайних диференціальних рівнянь.
курс лекций, добавлен 10.04.2012Суть функціонального рівняння. Розв'язання функціонального рівняння способом заміни та утворенням системи лінійних рівнянь. Задачі про існування функції при певних умовах. Розв'язання нестандартних функціональних рівнянь. Суть графічного розв’язання.
курсовая работа, добавлен 02.01.2014- 22. Точність та обчислювальна складність наближеного розв’язування нелінійних функціональних рівнянь
Створення апроксимаційних рівнянь, які б допускали можливість практичного розв’язання із визначенням числа усіх розв’язків. Обчислення характеристик рівнянь і параметрів ітераційних методів, що забезпечують виконання умов теорем існування і збіжності.
автореферат, добавлен 28.09.2015 - 23. Параметричні задачі та стійкість при моделюванні евклідовими комбінаторними задачами оптимізації
Алгоритми розв’язування задач з параметром у лінійних цільових функціях, системах обмежень, розв’язування узагальнених параметричних задач на цих множинах, модифікований алгоритм побудови опуклої оболонки, новий критерій i-граней довільного многокутника.
автореферат, добавлен 24.02.2014 Характеристика спряженості та ізоморфізму силовських підгруп повної лінійної групи над деякими областями цілісності. Дослідження існування попарно неізоморфних силовських підгруп в повній лінійній групі над кільцем всіх цілих алгебраїчних чисел.
автореферат, добавлен 20.10.2018Дослідження властивостей розв’язків нелінійних рівнянь, що виникають в конкретних задачах. Розробка алгоритму та створення комплексу програм для числового розв’язування задач. Числовий аналіз поведінки розв’язків, дослідження характеру їх галужень.
автореферат, добавлен 27.07.2014