|
МАТЕМАТИКА
О 4-спектре свойств первого порядка случайных графов
М. Е. Жуковскийabcd, А. Д. Матушкинa, Ю. Н. Яровиковae a Московский физико-технический институт (национальный исследовательский университет), Долгопрудный, Московская обл., Россия
b Российская академия народного хозяйства и государственной службы при Президенте Российской Федерaции, Москва, Россия
c Кавказский математический центр Адыгейского государственного университета, Майкоп, Россия
d Московский центр фундаментальной и прикладной математики, Москва, Россия
e Институт искусственного интеллекта AIRI, Москва, Россия
Аннотация:
$k$-Спектром называется множество таких положительных чисел $\alpha$, что биномиальный случайный граф $G(n,n^{-\alpha})$ не подчиняется закону нуля или единицы для формул первого порядка кванторной глубины не более $k$. Мы доказали, что минимальное $k$, при котором $k$-спектр бесконечен, равно 5.
Ключевые слова:
логика первого порядка, биномиальный случайный граф, закон нуля или единицы, спектр формулы, игра Эренфойхта.
Образец цитирования:
М. Е. Жуковский, А. Д. Матушкин, Ю. Н. Яровиков, “О 4-спектре свойств первого порядка случайных графов”, Докл. РАН. Матем., информ., проц. упр., 500 (2021), 31–34; Dokl. Math., 104:2 (2021), 247–249
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/danma200 https://www.mathnet.ru/rus/danma/v500/p31
|
Статистика просмотров: |
Страница аннотации: | 86 | PDF полного текста: | 27 | Список литературы: | 21 |
|