Là sự giảm bớt trong thuật toán của Shor ban đầu được phát hiện bởi Shor?


79

Đây là một "câu hỏi lịch sử" hơn là một câu hỏi nghiên cứu, nhưng liệu sự giảm thiểu cổ điển đối với việc tìm kiếm thứ tự trong thuật toán của Shor để nhân tố hóa ban đầu được Peter Shor phát hiện ra, hay nó đã được biết đến trước đây? Có một bài viết mô tả sự giảm bớt trước ngày Shor, hay nó chỉ đơn giản là một "kết quả dân gian?" Hay nó chỉ đơn giản là một bước đột phá khác trong cùng một bài báo?

Câu trả lời:


139

Tôi phải thừa nhận (đáng ngạc nhiên là nó có vẻ) rằng tôi không biết câu trả lời thực sự. Tôi đã tự mình khám phá hoặc khám phá lại sự giảm này.

Tôi đã phát hiện ra thuật toán nhật ký rời rạc trước tiên và thuật toán bao thanh toán thứ hai, vì vậy tôi biết từ nhật ký rời rạc rằng tính tuần hoàn là hữu ích. Tôi biết rằng bao thanh toán tương đương với việc tìm hai số không bằng nhau có bình phương bằng nhau (mod N) - đây là cơ sở cho thuật toán sàng bậc hai. Tôi cũng đã thấy giảm bao thanh toán cho việc tìm hàm Euler , khá giống nhau.ϕ

Mặc dù tôi đã đưa ra cách giảm câu hỏi này để tìm kiếm đơn hàng, nhưng điều đó không khó, vì vậy tôi sẽ không ngạc nhiên nếu có một bài viết khác mô tả sự giảm này có trước tôi. Tuy nhiên, tôi không nghĩ rằng đây có thể là một "kết quả dân gian" được biết đến rộng rãi. Ngay cả khi ai đó đã phát hiện ra nó, trước khi tính toán lượng tử, tại sao mọi người lại quan tâm đến việc giảm bao thanh toán cho câu hỏi tìm kiếm đơn hàng (có thể chứng minh theo cấp số nhân trên một máy tính cổ điển)?

EDIT: Lưu ý rằng việc tìm kiếm đơn hàng có thể được chứng minh theo cấp số nhân trong một cài đặt tiên tri; thứ tự tìm modulo tương đương với bao thanh toán , và điều này đã được Heather Woll chứng minh trước đó, như câu trả lời khác chỉ ra.NN


92
Hmm, tôi không chắc điều này có đủ thẩm quyền hay không
chbaker0

5
@mthing: Làm cho một Skeptics tốt.SE post = P
Mehrdad

26
Vậy ... Shor không chắc chắn?
OrangeDog

1
Trên thực tế, pdf giấy 1994 gốc của bạn có chứa câu Có một sự giảm ngẫu nhiên từ bao thanh toán đến thứ tự của một phần tử [23], trong đó [23] lại là một tham chiếu đến Miller 1976 pdf . Tuy nhiên, lướt qua bài báo này không cho phép tôi tìm mức giảm tương ứng, nhưng mức giảm xuống.
Frédéric Grosshans

2
@ Frédéric Grosshans: Thật ra, tôi nghĩ rằng rất có thể Andrew Odlyzko đã chỉ ra tài liệu tham khảo đó cho tôi.
Peter Shor

55

Việc giảm ngẫu nhiên từ nhân tố hóa sang tìm kiếm đơn hàng (mod N) rất nổi tiếng đối với những người làm việc trong các thuật toán lý thuyết số vào cuối những năm 1970 và đầu những năm 1980. Thật vậy, nó xuất hiện trong một bài báo của Heather Woll, Giảm trong số các vấn đề lý thuyết số, Thông tin và Tính toán 72 (1987) 167-179 , và Eric Bach và tôi biết điều đó trước đó.

Tôi đang bối rối tại sao Peter Shor nói rằng việc tìm kiếm đơn hàng là "có thể theo cấp số nhân trên một máy tính cổ điển". Nếu một người biết hệ số của N và cả (cả hai đều có thể tính toán theo thời gian theo cấp số nhân) và một công việc được điều chỉnh theo từng công suất chính, người ta có thể tìm thấy các đơn đặt hàng. φ(N)


14
Tìm kiếm đơn hàng cho một hàm tiên tri mà tất cả những gì bạn có thể làm là: đã cho , tìm có thể được chứng minh theo cấp số nhân. Đây là tất cả những gì bạn cần để sử dụng trên một máy tính lượng tử. k,nfk(n)
Peter Shor

14
Tôi nghi ngờ bạn có một mô hình tính toán hạn chế hơn nhiều trong tâm trí. Nhưng - như tôi chắc chắn bạn biết - vấn đề cụ thể của việc tìm kiếm đơn hàng mod N khá khác nhau. Vì vậy, trên thực tế, mọi người khá có lý sẽ nghĩ về việc giảm bớt vấn đề cụ thể này và từ bao thanh toán.
Jeffrey Shallit

Heather Woll trích dẫn [1] là nguồn để giảm từ yếu tố hóa sang tìm kiếm đơn hàng, nhưng cả thư viện kỹ thuật Princeton và khoa học máy tính Princeton đều không có bản sao. (Tôi muốn tìm một, btw) [1] LONG. D. (1981) Tương đương ngẫu nhiên của tính toán và tính toán đơn đặt hàng, Báo cáo kỹ thuật của Bỉ, Đại học Princeton, Khoa Kỹ thuật điện và Khoa học máy tính, tháng 4.
Frédéric Grosshans

2
Tôi có một bản sao và có thể gửi nó cho bạn nếu bạn gửi cho tôi địa chỉ e-mail của bạn.
Jeffrey Shallit
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.