Семинар 7 октября 2005 года

Пятница, 7 октября, комната 106. Начало в 17:30.

Докладчик: К. В. Первышев.

Тема: Иерархии по времени для инвертирования функций с подсказкой.

Abstract

(Совместная работа с Э.А.Гиршем и Д.Ю.Григорьевым.)

Существование односторонних функций (т.е., таких, для которых никакой полиномиальный по времени ``соперник'' не может вычислить обратную со значительной вероятностью успеха) является необходимым для существования криптографии с открытым ключом. Статья посвящена следующему естественному вопросу: даже если мы и не можем доказать наличие или отсутствие односторонних функций, верно ли, что с увеличением времени работы соперника он сможет инвертировать больше функций?

Abstract статьи: We prove a time hierarchy theorem for inverting functions computable in polynomial time with one bit of advice. In particular, we prove that if there is a strongly one-way function then for any $ k $ and for any polynomial $ p $, there is a function $ f $ computable in linear time with one bit of advice such that there is a polynomial-time probabilistic adversary that inverts $ f $ with probability $ ge 1/p(n) $ on infinitely many lengths of input while all probabilistic $ O(n^k) $-time adversaries with logarithmic advice invert $ f $ with probability less than $ 1/p(n) $ on almost all lengths of input.

We also prove a similar theorem in the worst-case setting, i.e., if P$ neq $NP, then for every $ l>kge1 $

$$ (DTime[n^k] cap NTime[n])/1 subsetneq (DTime[n^l] cap NTime[n])/1. $$