Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

БД "Статьи" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

Найдено в других БД:

БД "Книги" (1)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=алгоритмическая сложность<.>)

Общее количество найденных документов : 2
Показаны документы с 1 по 2

Саватеев, Ю. В.
Применение сетей доказательств для исследования фрагментов исчисления Ламбека [Текст] / Ю. В. Саватеев // Известия РАН. Серия математическая. - 2011. - Т. 75, N 3. - С. 189-222. . - Библиогр.: с. 222 (12 назв. )

УДК

^a510.6

ББК 22.12
Рубрики: Математика
Математическая логика
Кл.слова (ненормированные):
алгоритмическая сложность -- сети доказательств -- доказательства -- антецеденты -- исчисление Ламбека -- Ламбека исчисление -- выводимость
Аннотация: С помощью сетей доказательств исследуется алгоритмическая сложность проблемы выводимости в некоторых фрагментах исчисления Ламбека. Доказана NP-полнота этой задачи для одностороннего фрагмента и для фрагмента без умножения, а также для вариантов этих фрагментов, допускающих пустые антецеденты.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Закшевский, Л.
Модель организации вычислительной структуры решения задачи глобальной оптимизации с независимой от ее размерности алгоритмической сложностью [Текст] / Л. Закшевский, А. А. Третьяков, Г. С. Хулап // Известия РАН. Теория и системы управления. - 2012. - № 2. - С. 121-129. - Библиогр.: с. 129 (10 назв. ) . - ISSN 0002-3388

УДК

^a519.6

ББК 22.19
Рубрики: Математика
Вычислительная математика
Кл.слова (ненормированные):
вычислительные процессы -- вычислительная структура -- задачи оптимизации -- глобальная оптимизация -- алгоритмическая сложность -- тактовые операции -- векторные операции -- архитектура вычислительной среды -- многоэкстремальная оптимизация -- задача коммивояжера
Аннотация: Предлагается новая концепция организации вычислительного процесса таким образом, что количество последовательных одновременных тактовых операций (или число векторных операций) не зависит от числа n – размерности задачи. При этом архитектура вычислительной среды адаптирована под конкретную решаемую задачу и вычисление осуществляется без обмена информацией между элементарными вычислительными устройствами – элементарными процессорами, число которых зависит от n. Описан алгоритм реализации данной идеологии на примере решения задачи многоэкстремальной оптимизации (или выбора максимального из n заданных чисел), а также алгоритм решения задачи коммивояжера.

Доп.точки доступа:
Третьяков, А. А.; Хулап, Г. С.

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие

Тематический навигатор

Статистика за 07.09.2024
Число запросов	3318
Число посетителей	1
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)