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

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

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



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






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


Зап. научн. сем. ПОМИ, 2012, том 399, страницы 88–108 (Mi znsl5222)  

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

The complexity of inversion of explicit Goldreich's function by DPLL algorithms

[Сложность обращения явной функции Голдрейха DPLL алгоритмами]

D. M. Itsykson, D. O. Sokolov

St. Petersburg Department of the Steklov Mathematical Institute, St. Petersburg, Russia

Аннотация: Функция Голдрейха отображает бинарную строку длины $n$ в бинарную строку длины $n$. Каждый бит выхода зависит от $d$ битов входа и вычисляется по фиксированному $d$-местному предикату. Каждая функция Голдрейха задается графом зависимостей $G$ и предикатом $P$. В 2000 году О. Голдрейх выдвинул гипотезу, что если граф зависимости является экспандером, а предикат случайный, то такая функция является односторонней. В этой статье мы приводим простое доказательство экспоненциальной нижней оценки на сложность обращения функции Голдрейха близорукими DPLL алгоритмами. Граф зависимости $G$ в нашей конструкции может быть основан на произвольном экспандере, в частности возможно использовать явную конструкции экспандера, в то время как все предыдущие результаты были основаны на случайном графе зависимости. Предикат $P$ может быть линейным или немного нелинейным. Наша конструкция может быть использована и для доказательства нижней оценки для “пьяных” DPLL алгоритмов. Библ. – 18 назв.

Ключевые слова: одностронние функции, DPLL алгоритм, экспандер, нижние оценки сложности.

Полный текст: PDF файл (306 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Journal of Mathematical Sciences (New York), 2013, 188:1, 47–58

Реферативные базы данных:

Тип публикации: Статья
УДК: 510.52
Поступило: 31.07.2011
Язык публикации: английский

Образец цитирования: D. M. Itsykson, D. O. Sokolov, “The complexity of inversion of explicit Goldreich's function by DPLL algorithms”, Теория сложности вычислений. X, Зап. научн. сем. ПОМИ, 399, ПОМИ, СПб., 2012, 88–108; J. Math. Sci. (N. Y.), 188:1 (2013), 47–58

Цитирование в формате AMSBIB
\RBibitem{ItsSok12}
\by D.~M.~Itsykson, D.~O.~Sokolov
\paper The complexity of inversion of explicit Goldreich's function by DPLL algorithms
\inbook Теория сложности вычислений.~X
\serial Зап. научн. сем. ПОМИ
\yr 2012
\vol 399
\pages 88--108
\publ ПОМИ
\publaddr СПб.
\mathnet{http://mi.mathnet.ru/znsl5222}
\mathscinet{http://www.ams.org/mathscinet-getitem?mr=2945001}
\transl
\jour J. Math. Sci. (N. Y.)
\yr 2013
\vol 188
\issue 1
\pages 47--58
\crossref{https://doi.org/10.1007/s10958-012-1105-8}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84871933216}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/znsl5222
  • http://mi.mathnet.ru/rus/znsl/v399/p88

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. Itsykson D., “Lower Bound on Average-Case Complexity of Inversion of Goldreich's Function by Drunken Backtracking Algorithms”, Theor. Comput. Syst., 54:2 (2014), 261–276  crossref  mathscinet  zmath  isi  elib  scopus
  • Записки научных семинаров ПОМИ
    Просмотров:
    Эта страница:153
    Полный текст:39
    Литература:24
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021