Как измерить сложность задачи дискретного логарифма?

9

Ответы на этот вопрос о Crypto Stack Exchange в основном говорят о том, что для измерения сложности проблемы логарифма мы должны принять во внимание длину числа, представляющего размер группы. Это кажется произвольным, почему мы не выбрали размер группы в качестве аргумента? Есть ли критерий, чтобы узнать, какой аргумент выбрать? На самом деле, я знаю, что упустил что-то важное, поскольку сложность сильно меняется, если мы делаем это в зависимости от размера группы.

Нассим ХАДДАМ
источник
2
Интересный вопрос! Я отредактировал его, чтобы сказать «измерить сложность», а не «вычислить», поскольку ответ на то, как мы его вычисляем, ¯ \ _ (ツ) _ / ¯. :-)
Дэвид Ричерби
Я думаю, что так лучше. :)
Nassim HADDAM

Ответы:

5

Неважно, выбираете ли вы размер группы или размер целого числа, представляющего его n в качестве параметра, поскольку n log | G | , Есть две причины, по которым сложность обычно описывается в терминах n, а не | G | :|г|NNжурнал|г|N|г|

  1. - длина входа (точнее, длина ввода равна Θ ( n ) ), и мы обычно измеряем сложность алгоритмов как функцию длины ввода.NΘ(N)

  2. Обычно - это небольшое число, например 1024 , тогда как | G | это огромное число, такое как (примерно) 2 1024 .N1024|г|21024

Юваль Фильмус
источник
Я понимаю вашу точку зрения, но разве это не создает проблемы в P, если мы выбрали размер группы в качестве параметра?
Нассим Хаддам
1
Вы не можете выбрать параметр в этом случае - параметр всегда является длиной ввода.
Юваль Фильмус
Спасибо за ответы. У меня была проблема с тем, что может случиться, если мы рассмотрим другой случай (проблемы с P, возникающие в NP и наоборот). Я вижу ясно сейчас :) .
Нассим ХАДДАМ
1
Мы не делаем вычисления в унарном виде, так как наша цель состоит в том, чтобы вычислить некоторое число или вычислить некоторый дискретный логарифм, и нам все равно, как представляется число. Предоставление его в виде входных данных в двоичном или унарном виде не влияет на «время стены», необходимое для решения проблемы, только на его сложность с точки зрения размера ввода (так как мы изменяем размер ввода!).
Юваль Фильмус
1
Кроме того, мы не можем иметь 128-битное целое число в качестве унарного ввода в алгоритм реального мира. Во Вселенной недостаточно атомов.
Юваль Фильмус