?
Использование квантильных коэффициентов асимметрии и эксцесса для оценки сложности решения задачи коммивояжера
International Journal of Open Information Technologies. 2016. Т. 4. № 12. С. 7–12.
Исследуется сложность индивидуальных задач коммивояжера, т.е. число порожденных вершин поискового дерева в классическом методе ветвей и границ. Вероятностное распределение логарифма сложности аппроксимируется нормальным распределением. На основе экспериментальных данных рассчитаны значения параметров линейного преобразования, обеспечивающих минимальное среднеквадратическое отклонение выборочных квантилей логарифма сложности от соответствующих квантилей стандартного нормального распределения, получена формула зависимости этих параметров от числа вершин графа.
Shabanov N., Kuricheva O., Kurbatova J. и др., / Series Working Papers SSRN "Department of Economics Ca’ Foscari University of Venice". 2026.
Добавлено: 21 августа 2026 г.
The class of all ∗-continuous Kleene algebras, whose description includes an infinitary condition on the iteration operator, plays an important role in computer science. The complexity of reasoning in such algebras — ranging from the equational theory to the Horn one, with restricted fragments of the latter in between — was analyzed by Kozen (2002). This ...
Добавлено: 12 августа 2026 г.
Сперанский С. О., Математические заметки 2026 Т. 120 № 3 С. 470–483
Показывается, что с точки зрения замыкающих ординалов многие инфинитарные исчисления для «первопорядковых» логик вероятности (т.е. для языков, аналогичных языкам из [Abadi & Halpern 1994]) являются настолько трудными, насколько это возможно: соответствующие замыкающие ординалы совпадают с наименьшим неконструктивным ординалом, обозначаемым через $\omega_1^{\mathrm{CK}}$. ...
Добавлено: 12 августа 2026 г.
Сперанский С. О., Grefenshtein A., Izvestiya. Mathematics 2026 Vol. 90 No. 4 P. 105–126
The article is concerned with Halpern's first-order logics of probability, which we denote by L_1 and L_2 – the first of these deals with probability distributions on the domain, while the second employs distributions on external sets of possible worlds. The proofs of [Abadi & Halpern 1994] of the complexity lower bound results for L_1 and L_2 ...
Добавлено: 12 августа 2026 г.
David J. L., Leonid Grinin, Коротаев А. В., , in: Complexity in Universal Evolution. A Big History Perspective.: Springer, 2026. Ch. 22 P. 585–608.
Добавлено: 10 августа 2026 г.
Коротаев А. В., , in: Complexity in Universal Evolution. A Big History Perspective.: Springer, 2026. Ch. 13 P. 359–409.
Добавлено: 10 августа 2026 г.
Leonid Grinin, Alexander M., Коротаев А. В., , in: Complexity in Universal Evolution. A Big History Perspective.: Springer, 2026. Ch. 12 P. 283–355.
Добавлено: 10 августа 2026 г.
David J. L., Leonid Grinin, Коротаев А. В., , in: Complexity in Universal Evolution. A Big History Perspective.: Springer, 2026. Ch. 1 P. 1–25.
Добавлено: 10 августа 2026 г.
Добавлено: 19 мая 2026 г.
Добавлено: 28 апреля 2026 г.
Добавлено: 20 апреля 2026 г.
Сперанский С. О., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2025 Т. 526 С. 36–39
Вдохновляясь некоторыми идеями из логического программирования, Мелвин Фиттинг в [Fitting 1997] предложил свою собственную модификацию теории истины по Крипке. Пусть T обозначает соответствующий монотонный оператор. Мы показываем, что: 1) замыкающий ординал для T равен $\omega_1^{СК}$, т.е. наименьшему неконструктивному ординалу; 2) совокупность всех предложений, истинных согласно T_⋆ является $\Pi^1_1$-полной. ...
Добавлено: 9 апреля 2026 г.
Gabdullin N., Андросов И. А., / Series Computer Science "arxiv.org". 2026.
Добавлено: 2 апреля 2026 г.
Добавлено: 16 февраля 2026 г.
Сорокин К. С., Бекетов М. Е., Онучин А. и др., / arxiv.org. Серия cs.SI "Social and Information Networks ". 2025.
Обнаружение сообществ в сложных сетях — фундаментальная проблема, открытая для новых подходов в различных научных областях. Мы представляем новый метод обнаружения сообществ, основанный на потоке Риччи на графах. Наша техника итеративно обновляет веса ребер (их метрические длины) в соответствии с их (комбинаторной) версией кривизны Риччи Фостера, вычисленной на основе эффективного расстояния сопротивления между узлами. Известно, ...
Добавлено: 15 января 2026 г.
Сперанский С. О., Вестник Новосибирского государственного университета. Серия: Математика, механика, информатика 2011 Т. 11 № 4 С. 78–93
В настоящей статье изучаются вычислительные аспекты формального требования максимальной специфичности, накладываемого на правила в языке пропозициональной классической логики, когда над этим языком задана вычислимая рационально-значная вероятностная мера. Доказана неразрешимость ряда общих проблем по обнаружению максимально специфичных правил и вероятностных мер, для которых совокупность всех специфичных правил вычислима; установлена разрешимость множества максимально специфичных правил при неких ...
Добавлено: 27 декабря 2025 г.
Сперанский С. О., Journal of Logic and Computation 2013 Vol. 23 No. 5 P. 1035–1055
In the present article, the quantifiers over propositions are first introduced into the language for reasoning about probability, then the complexity issues for validity problems dealing with the corresponding hierarchy of probabilistic sentences are investigated. We prove, among other things, the $\Pi^1_1$-completeness for the general validity and also indicate the least level in the hierarchy ...
Добавлено: 27 декабря 2025 г.
Сперанский С. О., Studia Logica 2017 Vol. 105 No. 2 P. 407–429
The paper contains a survey on the complexity of various truth hierarchies arising in Kripke’s theory. I present some new arguments, and use them to obtain a number of interesting generalisations of known results. These arguments are both relatively simple, involving only the basic machinery of constructive ordinals, and very general. ...
Добавлено: 26 декабря 2025 г.
Кузнецов С. Л., Сперанский С. О., Annals of Pure and Applied Logic 2022 Vol. 173 No. 2 Article 103057
We introduce infinitary action logic with exponentiation — that is, the multiplicative-additive Lambek calculus extended with Kleene star and with a family of subexponential modalities, which allow some of the structural rules (contraction, weakening, permutation). The logic is presented in the form of an infinitary sequent calculus. We prove cut elimination and, in the case ...
Добавлено: 26 декабря 2025 г.
Сперанский С. О., Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 510 С. 8–12
Пусть $\mathsf{QPL}$ – предложенный в [Speranski 2017] двусортный вероятностный язык, который расширяет хорошо известный «полиномиальный» язык, описанный в [Fagin et al. 1990, раздел 6], посредством добавления кванторов по событиям. Мы показываем, что все безатомные пространства имеют одну и ту же $\mathsf{QPL}$-теорию и эта теория разрешима. Также мы вводим понятие элементарного инварианта для QPL и используем его для ...
Добавлено: 26 декабря 2025 г.