CC BY
23
ЛИТЕРАТУРА
1. Пименов В.Г., Свиридов С.В. Сеточные методы решения уравнения переноса с запаздыванием // Вестник Удмуртского ун-та. Математика. Механика. Компьютерные науки. 2014. № 3. С. 59-74.
2. Калиткин Н.Н. Численные методы. Санкт-Петербург: БХВ-Петербург, 2011. 586 с.
3. Пименов В.Г. Разностные методы решения уравнений в частных производных с наследственностью. Екатеринбург: Изд-во Урал. ун-та, 2014. 134 с.
БЛАГОДАРНОСТИ: Работа выполнена при финансовой поддержке Программы развития УрФУ (постановление 211 правительства Российской федерации №02.A03.21.0006 от 27 августа 2013) и РФФИ (проект № 13-01-00089).
Поступила в редакцию 1 июня 2015 г.
Sviridov S.V. INVESTIGATION OF THE SCHEMES WITH SYMMETRIZED DERIVATIVES FOR THE NUMERICAL SOLUTION OF THE ADVECTION EQUATION WITH DELAY
This paper considers the scheme of symmetrized derivatives for solving the advection equation with functional delay. The order of convergence is constructed here. Also the paper contains some numerical experiments with different types of delay.
Key words: advection equations with delay; numerical methods.
Свиридов Сергей Владимирович, Уральский федеральный университет имени первого президента России Б.Н. Ельцина, г. Екатеринбург, Российская Федерация, ассистент кафедры вычислительной математики, e-mail: [email protected]
Sviridov Sergey Vladimirovich, Ural Federal University named after the first President of Russia B.N. Yeltsin, Ekaterinburg, the Russian Federation, Assistant of the Computational Mathematics Department, e-mail: [email protected]
УДК 519.178
ЗАМЕЧАНИЕ О НЕЯВНО ЗАДАННЫХ ГИПЕРГРАФАХ
© А.В. Селиверстов
Ключевые слова: гиперграф; вложение; инвариант; форма.
Описаны эффективно проверяемые необходимые условия существования вложения рёберно-взвешенных гиперграфов, заданных неявным образом. Обсуждается их применение в биоинформатике.
Важность поиска легко проверяемых условий вложения гиперграфов обусловлена возможностью их применения для решения прикладных задач, в частности, для анализа генных сетей [1]. Отметим, что гиперграфы естественно возникают при изучении сложных ре-гуляторных систем с одновременным воздействием большого числа факторов. Некоторые результаты о спектрах гиперграфов, полезные для классификации и проверки неизоморфности, были получены в работе [2].
Гиперграф называется рёберно-взвешенным, если каждому его ребру приписано число — вес ребра. Мы предполагаем, что вес ребра — неотрицательное рациональное число. Если вершины не соединены ребром, соответствующий вес полагаем равным нулю.
Отображение р множеств вершин является вложением гиперграфа О в гиперграф О , если оно сохраняет отношение смежности, и вес ребра в О не меньше, чем вес его образа в О. Если каждый вес равен либо нулю, либо единице, мы приходим к задаче о существовании обычного вложения гиперграфов без учёта весов. Поскольку задача о существовании вложения гиперграфов обобщает задачу о существовании гамильтонова цикла в графе, она является ЖР-полной. Однако можно надеяться на создание эвристических алгоритмов, применимых при некоторых ограничениях на веса рёбер [3, 4]. Известны легко распознаваемые классы гамильтоновых графов, например, 3 -связный регулярный граф, имеющий достаточно много рёбер, гамильтонов [5].
Некоторые гиперграфы допускают короткое описание. Гиперграфу с п вершинами соответствует мультилинейный многочлен от п переменных, в котором каждый коэффициент равен весу ребра, инцидентного вершинам с номерами, равными номерам переменных монома. Используя скобочную запись или, например, определитель матрицы, многочлен гиперграфа с большим числом рёбер можно задать коротким выражением, значение которого эффективно вычислимо. В общем случае таким описанием служит арифметическая схема или неветвящаяся программа [6]. Более того, с любой записью многочлена можно работать как с чёрным ящиком, если известна степень многочлена [7]. В этом случае полезно иметь инварианты, вычислимые без разложения такого многочлена, то есть без вычисления веса для каждого ребра гиперграфа. Отметим, что некоторые важные многочлены не удаётся задать схемой маленького размера. Таков перманент матрицы, причём уменьшить размер схемы не удаётся и над конечным полем нечётной характеристики [8]. Над полем характеристики два перманент совпадает с определителем и легко вычислим.
Поскольку мультилинейный многочлен определяется его значениями в (0,1) -точках, для его неявного задания достаточно указать другой многочлен с теми же значениями в (0,1) -точках. Для мультилинейной формы коэффициент при мономе равен значению этой формы в (0,1) -точке, у которой входящие в этот моном координаты равны единице, а остальные — равны нулю.
Ниже рассмотрены I -гиперграфы, в которых каждое ребро инцидентно ровно I вершинам. Им соответствуют мультилинейные формы степени I, в частности, обычным графам — квадратичные формы. Наш метод основан на применении дифференциальных операторов, инвариантных относительно перестановок на индексах координат. Таковы операторы
_ ^ = п
Ьт/ = к= дхт, к= 1 к
среди которых Ь2 — это оператор Лапласа А. Обозначим через Ьт линейный оператор, равный I -кратному применению оператора Ьт .
Теорема. Для мультилинейной формы / степени I инвариант Ь^(/т) равен сумме т -степеней весов рёбер I -гиперграфа, умноженной на число И(т!)л . Более того, если рёберно-взвешенный (I -гиперграф О можно вложить в (I -гиперграф О , то значение инварианта Ьт(/т) для О не превосходит значения Ьт(/т) для О .
Доказательство. Вклад в значение инварианта дают только те мономы формы /т , у которых степень по каждой переменной кратна числу т . Поскольку форма / муль-тилинейная, такими будут только т -степени мономов из / . Рассмотрим последовательное применение операторов Ьт к некоторому члену формы /т . Первое применение оператора Ьт приводит к появлению I членов от I — 1 переменной каждый и нового общего числового множителя т! . Второе применение Ьт снова приводит к появлению общего множителя т!, увеличению числа членов в I — 1 раз и к уменьшению числа переменных в одном мономе. После I применений оператора Ьт получим числовой множитель й!(т!)л . Искомое
неравенство следует из неравенств для каждого из рёбер гиперграфа G и его образа при вложении в гиперграф G .
Частный случай при m = 2 и d = 3 рассмотрен в [9]. Для мультилинейной кубической
формы f = eijkxiXjXk получается инвариант, пропорциональный сумме квадратов
i<j<k
весов рёбер:
AAA(f2) = 48 £ ejk.
i<j<k
Хотя инвариант L^fm) может совпадать для неизоморфных d -гиперграфов, вероятность случайного совпадения ограничена сверху по лемме Шварца-Зиппеля [10]. Этот инвариант, рассматриваемый как форма от весов рёбер, имеет степень md. Если вес каждого ребра независимо и равномерно распределён на множестве целых чисел {0,... ,k — 1} , то эта вероятность не превышает md .
Так же можно использовать любые дифференциальные операторы, получаемые из симметрических многочленов с положительными коэффициентами заменой координаты на частную производную по этой координате, и линейные комбинации инвариантов с положительными коэффициентами. Более того, при доказательстве неизоморфности годятся и другие дифференциальные операторы [11]. Поскольку степени используемых при вычислениях форм известны и ограничены сверху, такие инварианты можно вычислить, используя значения формы f на множестве точек, мощность которого ограничена некоторым многочленом от n. Для этого достаточно иметь любую запись формы f, используемую как чёрный ящик.
ЛИТЕРАТУРА
1. Евдокимов А.А., Кочемазов С.Е., Отпущенников И.В., Семенов А.А. Исследование дискретно-автоматных моделей генных сетей нерегулярной структуры методами символьных вычислений // Дискрет. анализ и исслед. операций. 2014. Т. 21. № 3. С. 25-40.
2. Shao J., Qi L., Hu S. Some new trace formulas of tensors with applications in spectral hypergraph theory // Linear and Multilinear Algebra. 2015. V. 63. № 5. P. 971-992.
3. Гимади Э.Х., Истомин А.М., Рыков И.А. О задаче нескольких коммивояжёров с ограничениями на пропускные способности рёбер графа // Дискрет. анализ и исслед. операций. 2013. Т. 20. № 5. С. 13-30.
4. Глебов А.Н., Замбалаева Д.Ж., Скретнева А.А. 2/3 -приближённый алгоритм для несимметричной задачи о двух коммивояжёрах на максимум // Дискрет. анализ и исслед. операций. 2014. Т. 21. № 6. С. 11-20.
5. KUhn D., Lo A., Osthus D., Staden K. The robust component structure of dense regular graphs and applications // Proc. London Math. Soc. 2015. V. 110. № 1. P. 19-56.
6. Kaltofen E. Greatest common divisors of polynomials given by straight-line programs // J. ACM. 1988. V. 35. № 1. P. 231-264.
7. Kaltofen E., Trager B. Computing with polynomials given by black boxes for their evaluations: Greatest common divisors, factorization, separation of numerators and denominators //J. Symbolic Comput. 1990. V. 9. P. 301-320.
8. Бассалыго Л.А. О числе ненулевых перманентов над конечным полем нечетной характеристики // Пробл. передачи информ. 2013. Т. 49. № 4. С. 95-97.
9. Гершгорин Р.А., Рубанов Л.И., Селиверстов А.В. Легко вычислимые инварианты для распознавания гиперповерхности // Информационные процессы. 2014. Т. 14. № 4. С. 365-369.
10. Schwartz J.T. Fast probabilistic algorithms for verification of polynomial identities //J. ACM. 1980. V. 27. № 4. P. 701-717.
11. Бибиков П.В., Лычагин В.В. Классификация линейных действий алгебраических групп на пространствах однородных форм // ДАН. 2012. Т. 442. № 6. С. 732-735.
Поступила в редакцию 9 апреля 2015 г.
Seliverstov A.V. A NOTE ON IMPLICITLY GIVEN HYPERGRAPHS
There are described effectively verifiable necessary conditions for the existence of an embedding between edge-weighted hypergraphs given implicitly. The application of the conditions to solve problems
of bioinformatics is discussed.
Key words: hypergraph; embedding; invariant; form.
Селиверстов Александр Владиславович, Институт проблем передачи информации им. А.А. Хар-кевича РАН, г. Москва, Российская Федерация, кандидат физико-математических наук, ведущий научный сотрудник, e-mail: [email protected]
Seliverstov Alexandr Vladislavovich, Institute for Information Transmission Problems of RAS (Khar-kevich Institute), Moscow, the Russian Federation, Candidate of Physics and Mathematics, Leading Researcher, e-mail: [email protected]
УДК 517.977
МЕТОД ПРОГРАММНЫХ ИТЕРАЦИЙ В АБСТРАКТНОЙ ИГРЕ УДЕРЖАНИЯ И ОПЕРАТОРНАЯ ВЫПУКЛОСТЬ
© Д.А. Серков, А.Г. Ченцов
Ключевые слова: программные итерации; операторная выпуклость. Статья посвящена исследованию соотношений абстрактной версии метода программных итераций и конструкций, связанных с построением операторно выпуклой оболочки множества посредством предоболочки. Рассматривается игровая задача удержания траекторий абстрактной системы в заданном множестве.
Статья продолжает [1-3] и посвящена исследованию соотношений абстрактной версии метода программных итераций (МПИ) и конструкций [4], связанных с построением операторно выпуклой оболочки множества посредством предоболочки [4, с. 12]. Рассматривается игровая задача удержания траекторий абстрактной системы в заданном множестве.
1. Предполагаются заданными произвольные непустое подмножество (п/м) I вещественной прямой М а также Т2 -пространство (X, т) , X = 0 . Здесь I — аналог промежутка управления, а X — фазовое пространство «системы». В множестве X1 всех отображений из I в X выделяем непустое множество С , С С X1, возможных траекторий упомянутой «системы». Кроме того, задано непустое множество О отображений из I в (непустое) множество У; элементы О играют роль неорпеделенных факторов процесса. Сама «система» отождествляется с мультифункцией (м/ф) § , действующей из О х О , где О = I х X , в С (см. [1, (3.4)]); предполагается, что значениями § являются непустые п/м С . Если (£, х) € О и и € О , то §((£, х), и) имеет смысл множества траекторий «системы», возможных при действии О . Если £ € I, то I* = {£ € I | £ ^ £} и = {£ € I | £ ^ £} . Если Ш — множество, то через Р(Ш) обозначается семейство всех п/м Ш (булеан Ш). Если В — множество, / : I ^ В и С — непустое п/м I, то через (/ | С) обозначаем сужение / на множество С . В терминах множеств I*, £ € I, определяется условие неупре-ждаемости м/ф из О в С , подобное [1, с.162]. Среди таких м/ф выделяем (многозначные) квазистратегии, полагаемые, конечно, непустозначными и подчиненными «системе». В этой связи условимся через М(О, С) обозначать множество всех м/ф из О в С , которые могут принимать 0 в качестве своих значений. Если г = (£, х) € О , то
Мг = {а € М(О, С) | (Уи € О УН € а(и) ЗН' € §(г, и) : (Н | I*) = (Н' | I*)) &(Уи € О Уи1 € О € I* ((и | I*) = (и2 | I*)) ^ ({(Н | I*') : Н € а(и1)} = {(Н | I*') : Н € а(и2)}))&(а(и) = 0 Уи € О)}
