Пошуковий запит: (<.>U=В127.4$<.>) |
Загальна кількість знайдених документів : 30
Представлено документи з 1 до 20
|
| |
|
| | |
|
1. |
Лисовик Л. П. О проблемах разрешимости для iND/i-систем / Л. П. Лисовик // Кибернетика и систем. анализ. - 2000. - № 2. - С. 164-167. - Библиогр.: 4 назв. - рус.Доведено нерозв'язність проблеми еквівалентності нормалізованих недетермінованих скінченних перетворювачів, які мають два стани: один вхідний, два вихідні символи, і за один такт роботи можуть прочитати тільки один вхідний символ. Індекс рубрикатора НБУВ: В127.4 + З810.401
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
2. |
Панішев А. В. Вступ до теорії складності дискретних задач : Моногр. / А. В. Панішев, О. М. Данильченко, В. О. Скачков; Житомир. держ. технол. ун-т. - Житомир, 2004. - 326 c. - Бібліогр.: с. 316-319. - укp.Викладено основні принципи побудови та аналізу алгоритмів у галузі дискретної оптимізації. Наведено ряд фундаментальних задач упорядкування в межах однієї загальної моделі послідовно-паралельного виконання робіт. Узагальнено результати дослідження та методи вирішення комбінаторних проблем у контексті сучасної теорії обчислювальної складності. Изложены основные принципы построения и анализа алгоритмов в области дискретной оптимизации. Приведен ряд фундаментальных задач упорядоточения в границах одной общей модели последовательно-параллельного выполнения работ. Обобщены результаты исследования и методы решения комбинаторных проблем в контексте современной теории вычислительной сложности. Індекс рубрикатора НБУВ: В127.4,0 + В173.112,0
Рубрики:
Шифр НБУВ: ВА648795 Пошук видання у каталогах НБУВ
|
|
| | |
|
3. |
Задирака В. К. Анализ сложности алгоритма умножения сверхбольших чисел на основе коэффициентов Уолша / В. К. Задирака, С. С. Мельникова // Кибернетика и систем. анализ. - 2001. - № 6. - С. 99-110. - Библиогр.: 8 назв. - рус.Розвинуто підхід Штрассена до швидкого множення великих чисел для використання під час його реалізації алгоритму ІІПТУ для обчислення дискретної циклічної згортки. Наведено апріорні оцінки складності побудованого алгоритму, результати порівняльного аналізу з алгоритмами Карацуби - Оффмана, Шенхаге - Штрассена та стандартним алгоритмом, а також галузі його ефективного використання. Індекс рубрикатора НБУВ: В127.4
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
4. |
Алексейчук А. Н. О сложности вычисления значений частных производных булевых функций, реализованных полиномами Жегалкина / А. Н. Алексейчук // Кибернетика и систем. анализ. - 2001. - № 5. - С. 30-37. - Библиогр.: 11 назв. - рус. Індекс рубрикатора НБУВ: В127.4
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
|
| | |
|
5. |
Гупал А. М. Математика и живая природа. Удивительный мир ДНК / А. М. Гупал, А. А. Вагис // Пробл. упр. и информатики. - 2006. - № 1-2. - С. 6-11. - Библиогр.: 13 назв. - рус.Обосновано, что живая природа развивается на основе индуктивных механизмов. В геноме человека в зашифрованном виде содержатся эффективные индуктивные процедуры, которые управляют существующими генами и модифицируют их. Індекс рубрикатора НБУВ: В127.4 + Е70*440
Рубрики:
Шифр НБУВ: Ж26990 Пошук видання у каталогах НБУВ
|
|
| | |
|
6. |
Сапоженко О. А. Дослідження складності задачі довизначення часткових монотонних булевих функцій / О. А. Сапоженко, Г. А. Махіна // Наук. вісті НТУУ "КПІ". - 2008. - № 4. - С. 90-93. - Бібліогр.: 8 назв. - укp.Розглянуто задачу побудови тупикових довизначень часткових монотонних булевих функцій і показано, що вона є NP-повною. Доведення NP-повноти проводиться зведенням задачі покриття множин до задачі пошуку оптимального довизначення. Індекс рубрикатора НБУВ: В127.4
Рубрики:
Шифр НБУВ: Ж16492 Пошук видання у каталогах НБУВ
|
|
| | |
|
7. |
Варламов О. О. О миварно-матричном подходе к решению задач поиска минимального разреза и коммивояжера в целях снижения вычислительной сложности / О. О. Варламов // Искусств. интеллект. - 2008. - № 3. - С. 626-629. - Библиогр.: 2 назв. - рус.Показаны некоторые возможности нового миварно-матричного подхода (ММП) к решению задач на графах и гиперграфах. ММП основывается на отказе от полного перебора и построения специальных матриц, позволяющих анализировать "весь лабиринт графа". Подход позволяет снизить вычислительную сложность алгоритмов, считавшихся полнопереборными (NP-полными), до квадратичной и даже линейной. Індекс рубрикатора НБУВ: В127.4 + В173.112
Рубрики:
Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ
|
|
| | |
|
8. |
Вербіцький О. В. Ігрові та екстремальні задачі комбінаторики із застосуваннями в теорії складності : Автореф. дис... д-ра фіз.-мат. наук: 01.01.08 / О. В. Вербіцький; Київ. нац. ун-т ім. Т.Шевченка. - К., 2007. - 35 c. - укp.Досліджено задачі комбінаторної теорії ігор і екстремальної комбінаторики. Значну увагу приділено питанням конструктивності та застосування у теорії складності обчислень і теорії дескриптивної складності. Розв'язано екстремальні задачі Рамсеївського типу для симетричних підмножин Евклідового простору, у цьому випадку значення екстремальних функцій досягаються ефективними детермінованими або ймовірнісними конструкціями. Для класу сильних ігор щодо уникнення забороненого підграфа введено та вивчено поняття симетричної стратегії. Введено поняття логічної глибини графа й одержано оцінки цього інваріанту на підставі всебічного вивчення гри Еренфойхта на графах. Ці оцінки застосовано для аналізу алгоритму Вайсфайлера - Лемана розпізнання ізоморфних графів. Шляхом ігрової інтерпретації та зведенням до екстремальних задач одержано результати про паралельне повторення інтерактивних доведень. Розроблено доведення без розголошення для теоретико-групових задач про перестановки. З'ясовано обчислювальну важкість форсингового хроматичного числа графа. Проведено оракульне конструювання, що дає змогу розв'язати питання Крайчика та Пудлака про існування оптимальних алгоритмів для coNP-задач. Індекс рубрикатора НБУВ: В126.1,0 + В127.4,0
Рубрики:
Шифр НБУВ: РА349180 Пошук видання у каталогах НБУВ
|
|
| | |
|
9. |
Ващук Ф. Г. Загальна оцінка мінімізації деревоподібних логічних структур / Ф. Г. Ващук, Ю. А. Василенко, І. Ф. Повхан // Вост.-Европ. журн. передовых технологий. - 2012. - № 1/4. - С. 29-32. - Бібліогр.: 7 назв. - укp.Розглянуто проблему оцінки складності логічних дерев класифікації. Досліджено питання оцінки ефекту мінімізації логічних дерев фіксованої структури. Індекс рубрикатора НБУВ: В127.4 + З973-047.2
Рубрики:
Шифр НБУВ: Ж24320 Пошук видання у каталогах НБУВ
|
|
| | |
|
10. |
Геахпур Г. Р. Методика оценки минимальной вычислительной сложности фрагментации задач с использованием аппарата формальных полиномов / Г. Р. Геахпур // Системи упр., навігації та зв'язку. - 2010. - Вип. 2. - С. 83-88. - Библиогр.: 19 назв. - рус.Описана методика расчета вычислительной сложности метода фрагментации задач в распределенных вычислительных сетях, использующего аппарат формальных полиномов. Індекс рубрикатора НБУВ: З970.26-01 + В127.4
Рубрики:
Шифр НБУВ: Ж73223 Пошук видання у каталогах НБУВ
|
|
| | |
|
11. |
Оксіюк О. Г. Статична оцінка складності булевих функцій за допомогою лінійного бінарного графу / О. Г. Оксіюк // Системи оброб. інформації. - 2010. - Вип. 6. - С. 222-224. - Бібліогр.: 3 назв. - укp.Запропоновано алгоритми визначення значення показників критеріїв статичної складності булевих функцій. Індекс рубрикатора НБУВ: В127.4
Рубрики:
Шифр НБУВ: Ж70474 Пошук видання у каталогах НБУВ
|
|
| | |
|
12. |
Михайлюк В. А. Реоптимизация обобщенных проблем о выполнимости с аппроксимационно-устойчивыми предикатами / В. А. Михайлюк, И. В. Сергиенко // Кибернетика и систем. анализ. - 2012. - 48, № 1. - С. 89-104. - Библиогр.: 23 назв. - рус. Індекс рубрикатора НБУВ: В127.4
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ
|
|
| | |
|
13. |
Гришанович Т. О. Про деякі алгоритми відшукання гамільтонових циклів на числових графах / Т. О. Гришанович // Вісн. Одес. нац. ун-ту. Математика і механіка. - 2011. - 16, вип. 16. - С. 56-61. - Бібліогр.: 15 назв. - укp.Розглянуто проблему відшукання гамільтонових циклів на числових графах. Розглянуто алгоритм з поверненням, алгоритм Approx-TSP(G) та алгоритм із поліноміальним часом. Проаналізовано часову складність даних алгоритмів. Індекс рубрикатора НБУВ: В127.4
Рубрики:
Шифр НБУВ: Ж69659 Пошук видання у каталогах НБУВ
|
|
| | |
|
14. |
Беляев А. К. Дифференциальный оператор в системе преобразований абстрактного регистра / А. К. Беляев, В. П. Клименко // Мат. машини і системи. - 2013. - № 1. - С. 21-25. - Библиогр.: 6 назв. - рус.Рассмотрен дифференциальный оператор для построения и представления арифметических функций в системе преобразований абстрактного регистра. Определены возможности проведения структурных построений и выполнения точных вычислений. Індекс рубрикатора НБУВ: В127.4 + З815.6
Рубрики:
Шифр НБУВ: Ж23045 Пошук видання у каталогах НБУВ
|
|
| | |
|
15. |
Винничук С. Д. Факторизация числа N = pq при простых p и q методом дискретного логарифмирования / С. Д. Винничук, А. В. Жилин, В. Н. Мисько // Электрон. моделирование. - 2013. - 35, № 5. - С. 3-10. - Библиогр.: 14 назв. - рус. Індекс рубрикатора НБУВ: В127.4 + В152.12
Рубрики:
Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ
|
|
| | |
|
16. |
Тамразов П. М. Полиномиальная проблема Смейла / П. М. Тамразов // Доп. НАН України. - 2011. - № 12. - С. 24-27. - Библиогр.: 3 назв. - рус.Розглянуто проблему про найкращу мажорацію характеристики алгоритму, поставлену С. Смейлом в 1981 р. Знайдено точні значення самої характеристики алгоритму. Індекс рубрикатора НБУВ: В127.4
Рубрики:
Шифр НБУВ: Ж22412/а Пошук видання у каталогах НБУВ
|
|
| | |
|
17. |
Михайлюк В. О. Аналіз стійкості задачі про рюкзак: один негативний результат / В. О. Михайлюк, Н. В. Ліщук // Кибернетика и систем. анализ. - 2013. - 49, № 2. - С. 48-51. - Бібліогр.: 8 назв. - укp.Розглянуто гіпотезу Блера (Blair) про обчислювальну складність задачі, пов'язаної з оптимальними розв'язками так званих близьких задач про рюкзак. Гіпотезу доведено для узагальнено близьких задач про рюкзак. Індекс рубрикатора НБУВ: В127.4 + В173.112
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ
|
|
| | |
|
18. |
Єлфiмова Л. Д. Об'єднаний клітинний метод множення матриць / Л. Д. Єлфiмова // Кибернетика и систем. анализ. - 2013. - 49, № 5. - С. 28-37. - Бібліогр.: 6 назв. - укp.Запропоновано об'єднаний клітинний метод множення матриць, який являє собою гібрид трьох методів: рекурсивних методів Штрассена, Лейдермана та швидкого клітинного методу множення матриць. Взаємодія трьох методів забезпечує найвищий порівняно з відомими методами відсоток мінімізації (37 %) мультиплікативної, адитивної та загальної складності клітинних аналогів відомих алгоритмів множення матриць. Оцінку обчислювальної складності об'єднаного методу наведено на прикладі одержання клітинного аналога традиційного алгоритму множення матриць. Індекс рубрикатора НБУВ: З973-018.121 + В127.4
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ
|
|
| | |
|
19. |
Гришанович Т. О. Про часову складність алгоритму розкладання графів на різних структурах даних / Т. О. Гришанович, О. О. Провотар // Компьют. математика : сб. науч. тр. - 2012. - Вып. 1. - С. 60-68. - Бібліогр.: 7 назв. - укp.Для представлення графів у вигляді матриць суміжності та натуральних арифметичних графів проведено оцінку часових складностей алгоритму розкладання графів за допомогою їх кістяків, здійснено порівняння цих складностей. Індекс рубрикатора НБУВ: В126.31 + В127.4
Рубрики:
Шифр НБУВ: Ж69780 Пошук видання у каталогах НБУВ
|
|
| | |
|
20. |
Емец О. А. Сильная разрешимость и сильная допустимость нечетких линейных систем неравенств / О. А. Емец, А. О. Емец // Пробл. упр. и информатики. - 2014. - № 6. - С. 72-82. - Библиогр.: 23 назв. - рус.Получены критерии сильной допустимости и сильной разрешимости нечеткой линейной системы неравенств в пяти смыслах: четком, квазичетком, полунечетком, квазинечетком, нечетком. Індекс рубрикатора НБУВ: В127.4
Рубрики:
Шифр НБУВ: Ж26990 Пошук видання у каталогах НБУВ
|
| |