Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 27, № 5 (2015) Приближенный алгоритм для хроматической раскраски двудольных графов за полиномиальное в среднем время Аннотация  PDF (Rus)  похожие документы
А. С. Асратян, Н. Н. Кузюрин
"... It is known that if P≠NP the sum coloring problem cannot be approximated within for some constant ..."
 
Том 22 (2012) Полиномиальный по времени алгоритм проверки логико-термальной эквивалентности программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, Т. А. Новикова
"... меньше ранее известных полиномиальных оценок сложности указанной задачи. ..."
 
Том 29, № 6 (2017) Критерий существования бесконфликтного расписания для системы строго периодических задач Аннотация  PDF (Rus)  похожие документы
С. А. Зеленова, С. В. Зеленов
 
Том 36, № 1 (2024) Применение энтропии для обнаружения ошибок модулярного кода в системах надежного распределенного хранения Аннотация  PDF (Rus)  похожие документы
Виктор Андреевич КУЧУКОВ
"... . The polynomial residue number system represents the input number as a set of polynomials over the finite field GF ..."
 
Том 26, № 3 (2014) Полиномиальный алгоритм проверки эквивалентности в модели программ с перестановочными и подавляемыми операторами Аннотация  PDF (Rus)  похожие документы
В. В. Подымов, В. А. Захаров
"... a possibility of building polynomial time equivalence checking procedures remains an open problem till nowadays ..."
 
Том 30, № 6 (2018) Минимальный базис модуля сизигий старших членов Аннотация  PDF (Rus)  похожие документы
А. В. Шокуров
"... Systems of polynomial equations are one of the most universal mathematical objects. Almost all ..."
 
Том 29, № 3 (2017) О задаче приближенного нахождения максимальной двудольной клики Аннотация  PDF (Rus)  похожие документы
Н. Н. Кузюрин
"... Задача о нахождении большой "спрятанной" клики в случайном графе и ее аналог для двудольных графов ..."
 
Том 34, № 5 (2022) Определение влиятельных пользователей социальной сети по двудольному графу комментариев Аннотация  PDF (Rus)  похожие документы
Роман Константинович ПАСТУХОВ, Михаил Дмитриевич ДРОБЫШЕВСКИЙ, Денис Юрьевич ТУРДАКОВ
"... работе предлагается метод определения влиятельности, основанный на двудольном графе пользователь ..."
 
Том 27, № 6 (2015) Проверяющие эксперименты с ненаблюдаемым древовидными автоматами Аннотация  PDF (Rus)  похожие документы
Н. Г. Кушик
"... a complete checking experiment that has polynomial length. ..."
 
Том 23 (2012) Унификация программ Аннотация  PDF (Rus)  похожие документы
Т. А. Новикова, В. А. Захаров
"... on programs that approximates the functional equivalence. Based on the polynomial-time equivalence checking ..."
 
Том 19 (2010) Теоретические и экспериментальные оценки сложности методов локального распространения в задачах программирования в ограничениях Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, О. В. Сидяка
"... for polynomial time. The results of computational experiments are presented to illustrate the method advantages ..."
 
Том 26, № 5 (2014) Пакетное симметричное полностью гомоморфное шифрование на основе матричных полиномов Аннотация  PDF (Rus)  похожие документы
Ф. Б. Буртыка
"... batching" into recently proposed symmetric encryption scheme based on matrix polynomials. For one ..."
 
Том 26, № 5 (2014) Улучшенная атака по известным открытым текстам на гомоморфную криптосистему Доминго-Феррера Аннотация  PDF (Rus)  похожие документы
А. В. Трепачева
"... to recover secret key, where is a degree of polynomials representing ciphertexts. Here we analyze existing ..."
 
Том 35, № 3 (2023) Выявление REDoS cитуаций в регулярных выражениях структуры «домино» Аннотация  похожие документы
Антонина Николаевна НЕПЕЙВОДА, Юлия Андреевна БЕЛИКОВА, Кирилл Константинович ШЕВЧЕНКО, Михаил Романович ТЕРЮХА, Данила Павлович КНЯЗИХИН, Александр Дмитриевич ДЕЛЬМАН, Анна Сергеевна ТЕРЕНТЬЕВА
"... outperforms the existing tools on regexes with polynomial matching complexity and complex subexpression ..."
 
Том 31, № 3 (2019) Эвристические методы конструирования маршрута для решения задачи маршрутизации с ограничением по грузоподъемности Аннотация  похожие документы
Сергей Михайлович Авдошин, Екатерина Николаевна Береснева
"... is NP-hard, therefore heuristic algorithms which provide near-optimal polynomial-time solutions ..."
 
Том 27, № 6 (2015) Спектрально-аналитический метод распознавания неточных повторов в символьных последовательностях Аннотация  PDF (Rus)  похожие документы
А. Н. Панкратов, Р. К. Тетуев, М. И. Пятков, В. П. Тойгильдин, Н. Н. Попова
"... of expansion coefficients of the Fourier series of orthogonal polynomials. An essential feature ..."
 
Том 29, № 5 (2017) Синтез частично программируемых схем, ориентированный на маскирование вредоносных подсхем (Trojan Circuits) Аннотация  PDF (Rus)  похожие документы
А. Ю. Матросова, С. А. Останин, Е. А. Николаева
"... a polynomial complexity. ..."
 
Том 29, № 4 (2017) Метрическая задача коммивояжера: экспериментальное исследование Парето-оптимальных алгоритмов Аннотация  похожие документы
С. М. Авдошин, Е. Н. Береснева
"... this problem is NP-hard, heuristic algorithms providing near optimal solutions in polynomial time ..."
 
Том 31, № 4 (2019) Эвристические методы конструирования маршрута для решения задачи маршрутизации с ограничением по грузоподъемности Аннотация  похожие документы
Сергей Михайлович Авдошин, Екатерина Николаевна Береснева
"... which provide near-optimal polynomial-time solutions are still actual. This experimental analysis ..."
 
Том 27, № 2 (2015) Моделирование и анализ поведения последовательных реагирующих программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров
"... is polynomial of the size of and if both transducers are deterministic, and single-exponential if they are k ..."
 
Том 29, № 2 (2017) Математическая формализация задач проектного планирования в расширенной постановке Аннотация  PDF (Rus)  похожие документы
А. С. Аничкин, В. А. Семенов
"... планирования и их эффективного решения эвристическими алгоритмами полиномиальной сложности. ..."
 
Том 27, № 4 (2015) Применение алгоритмов проверки эквивалентности для оптимизации программ Аннотация  PDF (Rus)  похожие документы
В. А. Захаров, В. В. Подымов
"... результат работы - полиномиальные по времени алгоритмы минимизации конечных детерминированных автоматов ..."
 
Том 30, № 3 (2018) Статический анализ зависимостей для семантической валидации данных Аннотация  похожие документы
Д. В. Ильин, Н. Ю. Фокина, В. А. Семенов
"... объектов данных, подлежащих проверке, формируется двудольный граф зависимостей по данным. Для ..."
 
Том 22 (2012) Сравнение сложностей задач нахождения базиса Гребнера идеала и решений этого идеала Аннотация  PDF (Rus)  похожие документы
А. В. Шокуров
"... A new method of investigation of ideals in the rings of polynomials was proposed by B. Buchberger ..."
 
Том 26, № 2 (2014) О синтаксическом определении класса языков, распознаваемых недетерминированными машинами Тьюринга на логарифмической памяти Аннотация  PDF (Rus)  похожие документы
Д. А. Носов
"... . It is known that NL is contained in P, since there is a polynomial-time algorithm for 2-satisfiability ..."
 
Том 24 (2013) Вероятностный анализ нового алгоритма упаковки прямоугольников в полосу Аннотация  PDF (Rus)  похожие документы
М. А. Трушников
"... }) and there exists off-line polynomial algorithm that provides this bound. During more than 10 years the question ..."
 
Том 30, № 3 (2018) Анализ математических постановок задачи маршрутизации с ограничением по грузоподъемности и методов их решения Аннотация  похожие документы
Е. Н. Береснева, С. М. Авдошин
"... polynomial-time solutions will be considered instead of the exact ones. The aim of this article is to make ..."
 
Том 26, № 2 (2014) Комбинированный метод верификации масштабных моделей данных Аннотация  PDF (Rus)  похожие документы
В. А. Семенов, С. В. Морозов, Д. В. Ильин
"... the polynomial complexity methods of integer linear programming are applied to the original large-scale problem ..."
 
Том 22 (2012) Об одной задаче Коффмана-Шора, связанной с упаковкой прямоугольников в полосу Аннотация  PDF (Rus)  похожие документы
М. А. Трушников
"... }) and there exists off-line polynomial algorithm that provides this bound.. During more than 10 years the question ..."
 
1 - 29 из 29 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)