Везде

Президиум РАНДоклады Российской академии наук. Математика, информатика, процессы управления Doklady Mathematics

  • ISSN (Print) 2686-9543
  • ISSN (Online) 3034-5049

Уваров С. И.

Код пользователя
87162

Статьи автора

  • Достаточное условие полиномиальной разрешимости случайных 3-КНФ формул

    Настоящая работа посвящена локализации случайных 3-КНФ формул, полиномиально разрешимых резолюционным алгоритмом. Показано, что случайные формулы с числом дизъюнктов, пропорциональным квадрату числа переменных, с вероятностью близкой к единице полиномиально разрешимы при коэффициенте пропорциональности, превышающем найденный порог.
    34 0

Индексирование

Scopus

Scopus

Scopus

Crossref

Scopus

Высшая аттестационная комиссия

При Министерстве образования и науки Российской Федерации

Scopus

Научная электронная библиотека