Bagaimana mengukur kompleksitas masalah logaritma diskrit?

9

Jawaban untuk pertanyaan ini di Crypto Stack Exchange pada dasarnya mengatakan bahwa, untuk mengukur kompleksitas masalah logaritma, kita harus memperhitungkan panjang angka yang mewakili ukuran grup. Tampaknya sewenang-wenang, mengapa kita tidak memilih ukuran kelompok sebagai argumen? Adakah kriteria untuk mengetahui argumen apa yang harus dipilih? Sebenarnya, saya tahu saya mengabaikan sesuatu yang penting karena kompleksitasnya berubah sangat besar jika kita melakukannya berdasarkan ukuran grup.

Nassim HADDAM
sumber
2
Pertanyaan menarik! Saya mengeditnya untuk mengatakan "ukur kompleksitas", daripada "hitung" itu, karena jawaban bagaimana kita menghitungnya adalah ¯ \ _ (ツ) _ / ¯. :-)
David Richerby
Saya pikir lebih baik seperti itu. :)
Nassim HADDAM

Jawaban:

5

Tidak masalah apakah Anda memilih ukuran grupatau ukuran bilangan bulat yang menyatakannya sebagai parameter, karena. Ada dua alasan yang biasanya kompleksitasnya dijelaskan dalam bentuk daripada:|G|nnlog|G|n|G|

  1. n adalah panjang input (lebih akurat, input memiliki panjang ), dan kami biasanya mengukur kompleksitas algoritma sebagai fungsi dari panjang input.Θ(n)

  2. Biasanya adalah angka kecil seperti , sedangkanadalah angka yang sangat besar seperti (kira-kira) .n1024|G|21024

Yuval Filmus
sumber
Saya mengerti maksud Anda, tetapi bukankah itu menjadi masalah di P jika kita memilih ukuran grup sebagai parameter?
Nassim HADDAM
1
Anda tidak dapat memilih parameter dalam kasus itu - parameter selalu merupakan panjang input.
Yuval Filmus
Terima kasih atas jawabannya. Saya punya masalah dengan apa yang mungkin terjadi jika kita mempertimbangkan kasus lain (masalah dalam P menjadi NP dan sebaliknya). Saya dapat melihat dengan jelas sekarang :) .
Nassim HADDAM
1
Kami tidak melakukan perhitungan secara unary karena tujuan kami adalah menghitung sejumlah angka atau menghitung logaritma diskrit, dan kami tidak peduli bagaimana angka tersebut diwakili. Memberikannya sebagai input dalam biner atau unary tidak mempengaruhi "waktu dinding" yang diperlukan untuk menyelesaikan masalah, hanya kompleksitasnya dalam hal ukuran input (karena kami mengubah ukuran input!).
Yuval Filmus
1
Selain itu, kita tidak bisa benar-benar memiliki integer panjang 128-bit sebagai input unary untuk algoritma dunia nyata. Tidak ada cukup atom di alam semesta.
Yuval Filmus