http://ojs.math.nsc.ru/index.php/daor/issue/feed Дискретный анализ и исследование операций 2019-10-01T08:45:50+00:00 Пузынина Наталья Михайловна discopr@math.nsc.ru Open Journal Systems <p>Журнал «Дискретный анализ и исследование операций» основан в 1994 г. Учредители — Сибирское отделение РАН, Институт математики им. С. Л. Соболева СО РАН. До 2008 года журнал выходил в двух сериях. <br>В журнале публикуются оригинальные статьи, содержащие теоретические результаты в области дискретного анализа и исследования операций, статьи прикладной направленности, представляющие интерес с точки зрения практического приложения полученных результатов, а также обзорные статьи по данной тематике, краткие научные сообщения.</p> http://ojs.math.nsc.ru/index.php/daor/article/view/12 Сведение задачи минимизации выпуклой сепарабельной функции с линейными ограничениями к задаче поиска неподвижной точки 2019-10-01T08:32:05+00:00 Александр Юрьевич Крылатов a.krylatov@spbu.ru <p>Статья посвящена исследованию специального вида задачи условной нелинейной оптимизации. Целевой функционал исследуемой задачи представлен выпуклой сепарабельной функцией, минимум которой ищется на множестве линейных ограничений в&nbsp;виде равенств. Доказано, что для данного типа оптимизационных задач может быть получен явный вид проектирующего оператора на базе обобщённой проектирующей матрицы. Проектирующий оператор позволяет представить исходную задачу в виде задачи поиска неподвижной точки. Явный вид задачи поиска неподвижной точки позволяет запустить процедуру простой итерации. Доказана сходимость полученного итерационного метода со&nbsp;скоростью геометрической прогрессии, а при дополнительных, достаточно естественных, условиях доказана квадратичная сходимость. Показано, что важным приложением разработанного метода является задача распределения потока в сети произвольной топологии с одной парой исток — сток.<br>Библиогр. 10.</p> 2019-10-01T00:00:00+00:00 Copyright (c) 2018 http://ojs.math.nsc.ru/index.php/daor/article/view/10 Спектр расстояний Хэмминга между самодуальными бент-функциями из класса Мэйорана — Макфарланда 2019-10-01T08:22:18+00:00 Александр Владимирович Куценко AlexandrKutsenko@bk.ru <p>Бент-функция называется&nbsp;<em>самодуальной</em>, если она совпадает со своей дуальной функцией. Исследуются метрические свойства самодуальных бент-функций, построенных с помощью известных конструкций. Получен полный спектр расстояний Хэмминга между самодуальными бент-функциями, построенными с помощью конструкции Мэйорана — МакФарланда. С&nbsp;помощью этого результата найдено минимальное расстояние Хэмминга между рассмотренными функциями.<br>Библиогр. 22.</p> 2018-03-01T00:00:00+00:00 Copyright (c) 0 http://ojs.math.nsc.ru/index.php/daor/article/view/11 О сложности функций многозначной логики в одном бесконечном базисе 2019-10-01T08:28:06+00:00 Вадим Васильевич Кочергин vvkoch@yandex.ru Анна Витальевна Михайлович avmikhailovich@gmail.com <p>Исследуется сложность реализации функций k-значной логики (k≥3) схемами из функциональных элементов в бесконечном базисе, состоящем из отрицания Поста, т. е. функции x+1 (mod k), и всех монотонных функций. Под сложностью понимается общее число элементов в схеме. Для произвольной функции f установлены отличающиеся друг от друга не более чем на единицу нижняя и верхняя оценки сложности вида 3log3 (d(f)+1)+O(1), где d(f) — максимальное (максимум берётся по всем возрастающим цепям наборов значений переменных) число изменений значений функции f с большего значения на меньшее. Найдено точное значение соответствующей функции Шеннона, характеризующей сложность реализации самой сложно реализуемой функции от заданного числа переменных. <br>Ил. 4, библиогр. 24.</p> 2019-10-01T00:00:00+00:00 Copyright (c) 2018 Дискретный анализ и исследование операций http://ojs.math.nsc.ru/index.php/daor/article/view/9 Графы древовидной структуры с полным разнообразием шаров 2019-10-01T08:45:49+00:00 Александр Андреевич Евдокимов evdok@math.nsc.ru Татьяна Ивановна Федоряева fti@math.nsc.ru <p>Изучается разнообразие метрических шаров в конечных связных обыкновенных графах, рассматриваемых как метрическое пространство с обычной метрикой пути. Исследовано строение графов, в которых различны все шары фиксированного радиуса i для любого i, меньшего диаметра графа. Такие графы мы называем графами полного разнообразия шаров. Для них установлены свойства, связанные с наличием в них узких мест, и выяснена конфигурация блоков в графе. На основе полученных свойств описаны графы древовидной структуры с полным разнообразием шаров.<br>Ил. 8, библиогр. 22.</p> 2019-10-01T00:00:00+00:00 Copyright (c) 2018 Дискретный анализ и исследование операций http://ojs.math.nsc.ru/index.php/daor/article/view/7 Вентильные схемы ограниченной глубины 2019-10-01T08:45:50+00:00 Игорь Сергеевич Сергеев isserg@gmail.com <p>Получены асимптотически точные оценки сложности вычисления классов&nbsp;<span id="MathJax-Element-1-Frame" class="MathJax" style="display: inline; font-style: normal; font-weight: 400; line-height: normal; font-size: 12px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: 0px; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; color: #22453f; font-family: Verdana, Geneva, sans-serif; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial; position: relative;" tabindex="0" role="presentation" data-mathml="<math xmlns=&quot;http://www.w3.org/1998/Math/MathML&quot;><mo stretchy=&quot;false&quot;>(</mo><mi>m</mi><mo>,</mo><mi>n</mi><mo stretchy=&quot;false&quot;>)</mo></math>"><span id="MathJax-Span-1" class="math"><span id="MathJax-Span-2" class="mrow"><span id="MathJax-Span-3" class="mo">(</span><span id="MathJax-Span-4" class="mi">m</span><span id="MathJax-Span-5" class="mo">,</span><span id="MathJax-Span-6" class="mi">n</span><span id="MathJax-Span-7" class="mo">)</span></span></span><span class="MJX_Assistive_MathML" role="presentation">(m,n)</span></span>-матриц с&nbsp;коэффициентами из множества&nbsp;<span id="MathJax-Element-2-Frame" class="MathJax" style="display: inline; font-style: normal; font-weight: 400; line-height: normal; font-size: 12px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: 0px; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; color: #22453f; font-family: Verdana, Geneva, sans-serif; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial; position: relative;" tabindex="0" role="presentation" data-mathml="<math xmlns=&quot;http://www.w3.org/1998/Math/MathML&quot;><mrow class=&quot;MJX-TeXAtom-ORD&quot;><mn>0</mn><mo>,</mo><mn>1</mn><mo>,</mo><mo>&amp;#x2026;</mo><mo>,</mo><mi>q</mi><mo>&amp;#x2212;</mo><mn>1</mn></mrow></math>"><span id="MathJax-Span-8" class="math"><span id="MathJax-Span-9" class="mrow"><span id="MathJax-Span-10" class="texatom"><span id="MathJax-Span-11" class="mrow"><span id="MathJax-Span-12" class="mn">0</span><span id="MathJax-Span-13" class="mo">,</span><span id="MathJax-Span-14" class="mn">1</span><span id="MathJax-Span-15" class="mo">,</span><span id="MathJax-Span-16" class="mo">…</span><span id="MathJax-Span-17" class="mo">,</span><span id="MathJax-Span-18" class="mi">q</span><span id="MathJax-Span-19" class="mo">−</span><span id="MathJax-Span-20" class="mn">1</span></span></span></span></span><span class="MJX_Assistive_MathML" role="presentation">0,1,…,q−1</span></span>&nbsp;вентильными схемами ограниченной глубины&nbsp;<span id="MathJax-Element-3-Frame" class="MathJax" style="display: inline; font-style: normal; font-weight: 400; line-height: normal; font-size: 12px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: 0px; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; color: #22453f; font-family: Verdana, Geneva, sans-serif; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial; position: relative;" tabindex="0" role="presentation" data-mathml="<math xmlns=&quot;http://www.w3.org/1998/Math/MathML&quot;><mi>d</mi></math>"><span id="MathJax-Span-21" class="math"><span id="MathJax-Span-22" class="mrow"><span id="MathJax-Span-23" class="mi">d</span></span></span><span class="MJX_Assistive_MathML" role="presentation">d</span></span>&nbsp;при некоторых соотношениях между&nbsp;<span id="MathJax-Element-4-Frame" class="MathJax" style="display: inline; font-style: normal; font-weight: 400; line-height: normal; font-size: 12px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: 0px; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; color: #22453f; font-family: Verdana, Geneva, sans-serif; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial; position: relative;" tabindex="0" role="presentation" data-mathml="<math xmlns=&quot;http://www.w3.org/1998/Math/MathML&quot;><mi>m</mi></math>"><span id="MathJax-Span-24" class="math"><span id="MathJax-Span-25" class="mrow"><span id="MathJax-Span-26" class="mi">m</span></span></span><span class="MJX_Assistive_MathML" role="presentation">m</span></span>,&nbsp;<span id="MathJax-Element-5-Frame" class="MathJax" style="display: inline; font-style: normal; font-weight: 400; line-height: normal; font-size: 12px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: 0px; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; color: #22453f; font-family: Verdana, Geneva, sans-serif; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial; position: relative;" tabindex="0" role="presentation" data-mathml="<math xmlns=&quot;http://www.w3.org/1998/Math/MathML&quot;><mi>n</mi></math>"><span id="MathJax-Span-27" class="math"><span id="MathJax-Span-28" class="mrow"><span id="MathJax-Span-29" class="mi">n</span></span></span><span class="MJX_Assistive_MathML" role="presentation">n</span></span>&nbsp;и&nbsp;<span id="MathJax-Element-6-Frame" class="MathJax" style="display: inline; font-style: normal; font-weight: 400; line-height: normal; font-size: 12px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: 0px; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; color: #22453f; font-family: Verdana, Geneva, sans-serif; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial; position: relative;" tabindex="0" role="presentation" data-mathml="<math xmlns=&quot;http://www.w3.org/1998/Math/MathML&quot;><mi>q</mi></math>"><span id="MathJax-Span-30" class="math"><span id="MathJax-Span-31" class="mrow"><span id="MathJax-Span-32" class="mi">q</span></span></span><span class="MJX_Assistive_MathML" role="presentation">q</span></span>. В наиболее важном случае&nbsp;<span id="MathJax-Element-7-Frame" class="MathJax" style="display: inline; font-style: normal; font-weight: 400; line-height: normal; font-size: 12px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: 0px; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; color: #22453f; font-family: Verdana, Geneva, sans-serif; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial; position: relative;" tabindex="0" role="presentation" data-mathml="<math xmlns=&quot;http://www.w3.org/1998/Math/MathML&quot;><mi>q</mi><mo>=</mo><mn>2</mn></math>"><span id="MathJax-Span-33" class="math"><span id="MathJax-Span-34" class="mrow"><span id="MathJax-Span-35" class="mi">q</span><span id="MathJax-Span-36" class="mo">=</span><span id="MathJax-Span-37" class="mn">2</span></span></span><span class="MJX_Assistive_MathML" role="presentation">q=2</span></span>&nbsp;показано, что асимптотика сложности класса булевых&nbsp;<span id="MathJax-Element-8-Frame" class="MathJax" style="display: inline; font-style: normal; font-weight: 400; line-height: normal; font-size: 12px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: 0px; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; color: #22453f; font-family: Verdana, Geneva, sans-serif; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial; position: relative;" tabindex="0" role="presentation" data-mathml="<math xmlns=&quot;http://www.w3.org/1998/Math/MathML&quot;><mo stretchy=&quot;false&quot;>(</mo><mi>m</mi><mo>,</mo><mi>n</mi><mo stretchy=&quot;false&quot;>)</mo></math>"><span id="MathJax-Span-38" class="math"><span id="MathJax-Span-39" class="mrow"><span id="MathJax-Span-40" class="mo">(</span><span id="MathJax-Span-41" class="mi">m</span><span id="MathJax-Span-42" class="mo">,</span><span id="MathJax-Span-43" class="mi">n</span><span id="MathJax-Span-44" class="mo">)</span></span></span><span class="MJX_Assistive_MathML" role="presentation">(m,n)</span></span>-матриц log&nbsp;<span id="MathJax-Element-9-Frame" class="MathJax" style="display: inline; font-style: normal; font-weight: 400; line-height: normal; font-size: 12px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: 0px; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; color: #22453f; font-family: Verdana, Geneva, sans-serif; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial; position: relative;" tabindex="0" role="presentation" data-mathml="<math xmlns=&quot;http://www.w3.org/1998/Math/MathML&quot;><mi>n</mi><mo>=</mo><mi>o</mi><mo stretchy=&quot;false&quot;>(</mo><mi>m</mi><mo stretchy=&quot;false&quot;>)</mo></math>"><span id="MathJax-Span-45" class="math"><span id="MathJax-Span-46" class="mrow"><span id="MathJax-Span-47" class="mi">n</span><span id="MathJax-Span-48" class="mo">=</span><span id="MathJax-Span-49" class="mi">o</span><span id="MathJax-Span-50" class="mo">(</span><span id="MathJax-Span-51" class="mi">m</span><span id="MathJax-Span-52" class="mo">)</span></span></span><span class="MJX_Assistive_MathML" role="presentation">n=o(m)</span></span>, log&nbsp;<span id="MathJax-Element-10-Frame" class="MathJax" style="display: inline; font-style: normal; font-weight: 400; line-height: normal; font-size: 12px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: 0px; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; color: #22453f; font-family: Verdana, Geneva, sans-serif; font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; widows: 2; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial; position: relative;" tabindex="0" role="presentation" data-mathml="<math xmlns=&quot;http://www.w3.org/1998/Math/MathML&quot;><mi>m</mi><mo>=</mo><mi>o</mi><mo stretchy=&quot;false&quot;>(</mo><mi>n</mi><mo stretchy=&quot;false&quot;>)</mo></math>"><span id="MathJax-Span-53" class="math"><span id="MathJax-Span-54" class="mrow"><span id="MathJax-Span-55" class="mi">m</span><span id="MathJax-Span-56" class="mo">=</span><span id="MathJax-Span-57" class="mi">o</span><span id="MathJax-Span-58" class="mo">(</span><span id="MathJax-Span-59" class="mi">n</span><span id="MathJax-Span-60" class="mo">)</span></span></span><span class="MJX_Assistive_MathML" role="presentation">m=o(n)</span></span>, достигается на схемах глубины 3.<br>Ил. 1, библиогр. 11.</p> 2019-10-01T00:00:00+00:00 Copyright (c) 2018 Дискретный анализ и исследование операций