Як виміряти складність задачі дискретного логарифму?


9

Відповіді на це запитання на Crypto Stack Exchange в основному говорять про те, що для вимірювання складності проблеми логарифму ми повинні взяти до уваги довжину числа, що представляє розмір групи. Це здається довільним, чому б ми не обрали розмір групи як аргумент? Чи є критерій, щоб знати, який аргумент обрати? Насправді я знаю, що я пропустив щось важливе, оскільки складність сильно змінюється, якщо ми робимо це за розміром групи.


2
Цікаве запитання! Я відредагував це, щоб сказати "вимірювати складність", а не "обчислювати" його, оскільки відповідь на те, як ми обчислимо це, є ¯ \ _ (ツ) _ / ¯. :-)
Девід Річербі

Я думаю, що так краще. :)
Нассім ХАДДАМ

Відповіді:


5

Не має значення, чи ви обираєте розмір групи |G| або розмір цілого числа, що представляє його n як параметр, оскільки nlog|G|. Є дві причини, за якими складність зазвичай описується в термінахn а не |G|:

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

  2. Зазвичай n це невелика кількість, таких як 1024, тоді як |G| це величезна кількість, наприклад (приблизно) 21024.


Я бачу вашу думку, але чи не робить це проблемою в P, якщо ми вибрали розмір групи як параметр?
Нассім ХАДДАМ

1
У цьому випадку ви не можете вибрати параметр - параметр завжди є вхідною довжиною.
Yuval Filmus

Дякую за відповіді. У мене виникла проблема з тим, що може статися, якщо ми розглянемо інший випадок (проблеми, коли P стає в НП, і навпаки). Я чітко бачу зараз :).
Нассім ХАДДАМ

1
Ми не робимо обчислення одноразово, оскільки наша мета - підрахувати деяку кількість чи обчислити якийсь дискретний логарифм, і нам не байдуже, як представлено число. Якщо його вводити як бінарне або одинарне, це не впливає на "час стіни", необхідний для вирішення проблеми, лише на його складність з точки зору розміру вводу (оскільки ми змінюємо розмір вводу!).
Yuval Filmus

1
Крім того, ми не можемо мати 128-бітове довге ціле число як одиничне введення в алгоритм реального світу. У Всесвіті недостатньо атомів.
Yuval Filmus
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.