82
(Обратите
внимание, теперь выше
приведены фиксированные числа, а не
функции от n, поскольку мы больше не находимся в асимптотических условиях.)
Чтобы понять это, допустим, A - это произвольный противник, работающий мак-
симум t − c. Дистинктор D, сконструированный в доказательстве теоремы 3.18,
помимо работы A имеет очень небольшие производительные издержки; задание
c надлежащим образом обеспечивает работу D максимум t. Наше допущение
о том, что конкретная надежность tt подразумевает уравнение (3.6); продолжая
также, как и в доказательстве теоремы 3.18, мы получаем уравнение (3.7).
Достарыңызбен бөлісу: