?
On graphs whose maximal cliques and stable sets intersect
P. 3-63.
Ключевые слова: graphsubstitutionCIS-graphsCIS-propertyclique,clique-kernel intersection propertyindependent setsimplicial vertexstable graph stable set
ПУБЛИКАЦИЯ ПОДГОТОВЛЕНА ПО РЕЗУЛЬТАТАМ ПРОЕКТА:
Миронкин В. О., Обозрение прикладной и промышленной математики 2018 Т. 25 № 1 С. 3-8
Исследованы граф внутренних состояний Sponge-конструкции и взаимосвязь между внутренними состояниями и элементами выходной последовательности. Предложены методы построения коллизий, использующие особенности цикловой структуры подстановки Sponge-конструкции. Описан общий вид соответствующих коллизий. ...
Добавлено: 27 апреля 2018 г.
Талецкий Д. С., Discrete Mathematics 2022 Vol. 345 No. 1 Article 112656
Добавлено: 29 сентября 2021 г.
Ильвовский Д. А., Артемова Е. Л., , in : RuZA 2015 Workshop. Proceedings of Russian and South African Workshop on Knowledge Discovery Techniques Based on Formal Concept Analysis (RuZA 2015). November 30 - December 5, 2015, Stellenbosch, South Africa. Vol. 1552.: Aachen : CEUR Workshop Proceedings, 2015. P. 1-9.
Добавлено: 14 июня 2016 г.
N. Nikitina, A. Mitsyuk, Proceedings of the Institute for System Programming of the RAS 2015 Vol. 27 No. 3 P. 219-236
Модели процессов и графы широко используются для моделирования и визуализации процессов в информационных системах. Модели используются для представления связей между объектами или событиями в рамках процесса. Следовательно, необходимы программы для создания и редактирования моделей.
Данная работа описывает редактор моделей, который позволяет работать с классическими графами, сетями Петри, конечными автоматами и системами взаимодействующих конечных автоматов. Кроме этого ...
Добавлено: 18 августа 2015 г.
Назаров А. Н., T-Comm: Telecommunications and transport 2017 Vol. 11 No. 9 P. 80-85
The highest rates of development of infocommunication technologies, covering various subject areas relevant to humanity, raise new requirements for ensuring information security of risk objects. Cyber-attacks, as complex processes, are based on the latest infocommunication technologies, which causes the development of intellectual approaches to counteract them. To apply methods of artificial intelligence to counter information ...
Добавлено: 15 августа 2018 г.
Dobrynin A., Веснин А. Ю., Mathematics 2019 Vol. 7 No. 11 P. 1-17
Добавлено: 27 октября 2020 г.
Berlin : Springer, 2014
Добавлено: 7 июня 2014 г.
Миронкин В. О., Обозрение прикладной и промышленной математики 2015 Т. 22 № 4 С. 403-409
В работе изучаются вероятностные характеристики графа степеней случайных равновероятных отображений. В частности, получено точное выражение вероятности коллизии двух случайных вершин в графе степени случайного отображения. ...
Добавлено: 23 апреля 2016 г.
Добавлено: 7 сентября 2020 г.
Pham S. K., Antipov D., Sirotkin Alexander и др., Journal of Computational Biology 2013 Vol. 20 No. 4 P. 359-371
Добавлено: 21 марта 2014 г.
Захаров В. А., Новикова Т. А., , in : Proceedings of the 28th International Workshop on Unification, UNIF 2014. Technical report no. 14-06 in RISC Report Series. : Linz : Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, 2014. P. 55-61.
Добавлено: 13 октября 2015 г.
Belevantsev A. A., Kurmangaleev S. F., Sargsyan S. и др., Programming and Computer Software 2016 Vol. 42 No. 1 P. 27-33
A detailed description of a method for detection of code clones is described. This method is based on the semantic analysis of programs and on new algorithms that make it scalable without affecting its accuracy. The proposed method involves two phases. In the first phase, the program dependence graph (PDG) is constructed while the program ...
Добавлено: 22 марта 2017 г.
Матвеенко В. Д., , in : Supplementary Proceedings of the Sixth International Conference on Analysis of Images, Social Networks and Texts (AIST-SUP 2017), Moscow, Russia, July 27-29, 2017. Vol. 1975.: Aachen : CEUR-WS.org, 2017. Ch. 31. P. 293-300.
Добавлено: 7 ноября 2017 г.
Ростовцева Н. В., Право. Журнал Высшей школы экономики 2016 № 3 С. 30-49
В статье исследуется институт наследования по праву представления. Основные принципы наследования по праву представления, закрепленные в действующем гражданском законодательстве, соответствуют положениям, которые были установлены в Своде законов Российской Империи.Наследование по праву представления следует отличать от сходных институтов (наследственной трансмиссии и подназначения наследника). Основное отличие от наследственной трансмиссии состоит в том, что представляемый наследник умирает до ...
Добавлено: 27 ноября 2016 г.
M.N.Vyalyi, Lawrencenko S., Zgonnik L. V., Australasian Journal of Combinatorics 2017 Vol. 67 No. 2 P. 119-130
Добавлено: 13 января 2017 г.
N. M. Nikitina, A. A. Mitsyuk, , in : Preliminary Proceedings of the 9th Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2015). : M. : [б.и.], 2015. P. 129-136.
Добавлено: 11 июня 2015 г.
Мы часто принимаем решения не единолично, а в коллективе, с учетом мнений и предпочтений всех членов коллектива: в задачах голосования, распределения работников по работам или студентов по курсам, в задачах дележа наследства или общего имущества, в распределении мест в парламенте после выборов и оценке влияния участников в выборном органе, в задачах оценки эффективности работы в ...
Добавлено: 29 ноября 2020 г.
Талецкий Д. С., Дискретный анализ и исследование операций 2023 Т. 30 № 3 С. 111-131
Множество вершин графа называется k-дистанционным независимым, если расстояние между любыми двумя его вершинами больше некоторого целого числа k ⩾ 1. В работе рассматривается задача описания n-вершинных деревьев фиксированного диаметра d, содержащих максимально и минимально возможное число k-дистанционных независимых множеств среди всех таких деревьев. Задача на максимум решается для случая 1 < k < d ⩽ ...
Добавлено: 13 июня 2023 г.
Сергей Кузнецов, Коршунов А. В., Алексиянц А. В., Открытые системы. СУБД 2014 № 2 С. 51-53
Популярные сегодня социальные сети в реальном времени работают с гигантскими объемами данных, что требует применения соответствующих СУБД, в частности графовых, однако и среди них нужно отбирать наиболее адекватные поставленным задачам. ...
Добавлено: 25 ноября 2017 г.
Медведева Е. А., Ряпин И. Ю., Урванцев И. В. и др., Thermal Engineering (English translation of Teploenergetika) 2016 Vol. 63 No. 9 P. 611-620
This paper analyzes the cost-effectiveness of the use of renewable energy sources (RES) and peat in production of electric and heat energy in rural places of the country by comparing tariffs (prices) of energy versus total expenditures on generation of electric and heat energy when using RES and peat. The appraisal of a cost-effective scale ...
Добавлено: 9 октября 2016 г.
Захаров В. А., Новикова Т. А., В кн. : Дискретные модели в теории управляющих систем : IX Международная конференция, Москва и Подмосковье, 20-22 мая 2015 г.: Труды. : М. : МАКС Пресс, 2015. С. 173-176.
В статье предложена новая модель последовательных императивных программ, использующих средства работы с динамической памятью (указателями, списками и пр.) ...
Добавлено: 12 октября 2015 г.
Захаров В. А., Новикова Т. А., Труды Института системного программирования РАН 2014 Т. 26 № 2 С. 245-268
Задача унификации пары подстановок θ_1 и θ_2 состоит в вычислении такой пары подстановок η' и η'', чтобы композиции θ_1 η' и θ_2 η'' были равны. По существу, задача унификации подстановок равносильна задаче решения линейных уравнений вида θ_1 X=θ_2 Y в полугруппе подстановок. Но некоторые линейные уравнения над подстановками также можно рассматривать как новые варианты задачи ...
Добавлено: 30 сентября 2015 г.
В статье рассматривается критичность зависимости отраслей ТЭК России от импортного оборудования, и предлагаются конкретные механизмы как максимально эффективно с точки зрения интересов государства обеспечить дальнейшее устойчивое развитие ТЭК с учетом технологических потребностей. Особое внимание уделяется созданию условий, позволяющих избежать неоправданного удорожания продукции при одновременном ухудшении её качественных характеристик. ...
Добавлено: 8 мая 2015 г.