Làm thế nào để đo lường sự phức tạp của vấn đề logarit rời rạc?


9

Các câu trả lời cho câu hỏi này trên Crypto Stack Exchange về cơ bản nói rằng, để đo lường mức độ phức tạp của vấn đề logarit, chúng ta phải tính đến độ dài của số đại diện cho kích thước của nhóm. Có vẻ như tùy tiện, tại sao chúng ta không chọn kích thước của nhóm làm đối số? Có một tiêu chí để biết nên chọn đối số nào? Trong thực tế, tôi biết tôi đã bỏ qua một cái gì đó quan trọng vì sự phức tạp thay đổi lớn nếu chúng ta làm điều đó theo quy mô của nhóm.


2
Câu hỏi thú vị! Tôi đã chỉnh sửa nó để nói "đo độ phức tạp", thay vì "tính toán" nó, vì câu trả lời cho cách chúng ta tính toán là ¯ \ _ () _ /. :-)
David Richerby

Tôi nghĩ rằng nó tốt hơn theo cách đó. :)
Nassim HADDAM

Câu trả lời:


5

Không quan trọng bạn chọn kích thước của nhómhoặc kích thước của số nguyên biểu thị cho nó là một tham số, vì. Có hai lý do thường là độ phức tạp được mô tả theo chứ không phải:|G|nnlog|G|n|G|

  1. n là độ dài của đầu vào (chính xác hơn là đầu vào có độ dài ) và chúng ta thường đo độ phức tạp của các thuật toán như là một hàm của độ dài đầu vào.Θ(n)

  2. Thông thường là một số nhỏ như , trong khilà một số lượng lớn, chẳng hạn như (khoảng) .n1024|G|21024


Tôi thấy quan điểm của bạn, nhưng nó không làm cho nó trở thành một vấn đề trong P nếu chúng ta chọn kích thước của nhóm làm tham số?
Nassim HADDAM

1
Bạn không thể chọn tham số trong trường hợp đó - tham số luôn là độ dài đầu vào.
Yuval Filmus

Cảm ơn câu trả lời. Tôi gặp vấn đề với những gì có thể xảy ra nếu chúng ta xem xét trường hợp khác (các vấn đề trong P trở thành NP và ngược lại). Bây giờ tôi có thể nhìn rõ rồi :) .
Nassim HADDAM

1
Chúng tôi không thực hiện phép tính đơn phương vì mục tiêu của chúng tôi là tính một số hoặc tính toán một số logarit rời rạc và chúng tôi không quan tâm đến cách số được biểu diễn. Cho nó là đầu vào ở dạng nhị phân hoặc đơn nguyên không ảnh hưởng đến "thời gian treo tường" cần thiết để giải quyết vấn đề, chỉ có độ phức tạp của nó về kích thước đầu vào (vì chúng tôi đang thay đổi kích thước đầu vào!).
Yuval Filmus

1
Ngoài ra, chúng ta thực sự không thể có một số nguyên dài 128 bit làm đầu vào đơn nhất cho thuật toán trong thế giới thực. Không có đủ nguyên tử trong vũ trụ.
Yuval Filmus
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.