Записки научных семинаров ПОМИ
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Зап. научн. сем. ПОМИ:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Записки научных семинаров ПОМИ, 2006, том 340, страницы 10–32 (Mi znsl148)  
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)

Нижние оценки на длину вывода цейтинских формул в статической системе доказательств Ловаса–Схрайвера

Д. М. Ицыксонa, А. А. Кожевниковb

a Санкт-Петербургский государственный университет
b Санкт-Петербургское отделение Математического института им. В. А. Стеклова РАН
PDF полного текста (299 kB) Список цитирования (6)
Список литературы:
PDF
HTML
Аннотация: Статья посвящена графам-расширителям и их использованию в теории сложности алгоритмов и доказательств. Мы обобщаем с матриц на графы результат Алехновича и Разборова, состоящий в том, что при выкидывании достаточно малого линейного относительно количества вершин числа любых ребер возможно сохранить расширяющие свойства графа. Воспользовавшись этим свойством, мы даем ответ на поставленный Григорьевым и др. вопрос о нижней экспоненциальной оценке на размер вывода булевых формул в ДНФ для статических полуалгебраических систем доказательств. Ранее для этих систем доказательств была известна нижняя оценка для системы неравенств “симметричный рюкзак”, которая не имеет короткой записи в виде булевой формулы. Мы показываем, что размер любого доказательства в статической системе доказательств Ловаса–Схрайвера ($LS_+$) цейтинских формул имеет не менее чем экспоненциальный размер. Следствием является нижняя экспоненциальная оценка на размер древовидного доказательства в $LS_+$. Библ. – 22 назв.
Поступило: 28.07.2006
Англоязычная версия:
Journal of Mathematical Sciences (New York), 2007, Volume 145, Issue 3, Pages 4942–4952
DOI: https://doi.org/10.1007/s10958-007-0329-5
Реферативные базы данных:
УДК: 510.52, 519.1
Образец цитирования: Д. М. Ицыксон, А. А. Кожевников, “Нижние оценки на длину вывода цейтинских формул в статической системе доказательств Ловаса–Схрайвера”, Комбинаторика и теория графов. I, Зап. научн. сем. ПОМИ, 340, ПОМИ, СПб., 2006, 10–32; J. Math. Sci. (N. Y.), 145:3 (2007), 4942–4952
Цитирование в формате AMSBIB
\RBibitem{ItsKoj06}
\by Д.~М.~Ицыксон, А.~А.~Кожевников
\paper Нижние оценки на длину вывода цейтинских формул в~статической системе доказательств Ловаса--Схрайвера
\inbook Комбинаторика и теория графов.~I
\serial Зап. научн. сем. ПОМИ
\yr 2006
\vol 340
\pages 10--32
\publ ПОМИ
\publaddr СПб.
\mathnet{http://mi.mathnet.ru/znsl148}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2355483}
\zmath{https://zbmath.org/?q=an:1122.03057}
\transl
\jour J. Math. Sci. (N. Y.)
\yr 2007
\vol 145
\issue 3
\pages 4942--4952
\crossref{https://doi.org/10.1007/s10958-007-0329-5}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-34547672951}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/znsl148
  • https://www.mathnet.ru/rus/znsl/v340/p10
    • Эта публикация цитируется в следующих 6 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Записки научных семинаров ПОМИ
    Статистика просмотров:
    Страница аннотации:253
    PDF полного текста:92
    Список литературы:52
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024