Эта публикация цитируется в
4 статьях
Свойства первого порядка ограниченной кванторной глубины сильно разреженных случайных графов
М. Е. Жуковскийab,
Л. Б. Островскийc a Московский физико-технический институт (государственный университет), Московская обл., г. Долгопрудный
b Российский университет дружбы народов, г. Москва
c OOO «Яндекс»
Аннотация:
Говорят, что случайный граф подчиняется
$k$-закону нуля или единицы, если для любого свойства, выражаемого формулой первого порядка с кванторной глубиной не более
$k$, вероятность выполнения этого свойства стремится либо к
$0$, либо к
$1$. Известно, что случайный граф
$G(n,n^{-\alpha})$ подчиняется
$k$-закону нуля или единицы для любого
$k\in\mathbb{N}$ и любого положительного иррационального
$\alpha$, а также для любого рационального
$\alpha>1$, отличного от
$1+1/l$ (для любого натурального числа
$l$). Известно также, что для всех остальных рациональных положительных
$\alpha$ при достаточно больших
$k$ случайный граф не подчиняется
$k$-закону. В настоящей работе при
$\alpha=1+1/l$ получены нижняя и верхняя оценка на наибольшее
$k$, при котором выполнен
$k$-закон нуля или единицы.
Библиография: 20 наименований.
Ключевые слова:
случайный граф Эрдеша–Реньи, свойства первого порядка, закон нуля или единицы, игра Эренфойхта.
УДК:
519.175.4
MSC: 03B10,
03C13,
05C80,
60F20 Поступило в редакцию: 29.03.2016
Исправленный вариант: 30.10.2016
DOI:
10.4213/im8557