Thuật toán tìm kiếm của Grover có những ứng dụng nào?


14

Thuật toán Tìm kiếm của Grover thường được nói về việc tìm kiếm một mục được đánh dấu trong cơ sở dữ liệu chưa được sắp xếp. Đây là một hình thức tự nhiên cho phép nó được áp dụng trực tiếp để tìm kiếm giải pháp cho các vấn đề NP (nơi một giải pháp tốt dễ dàng được nhận ra).

Tôi đã quan tâm để tìm hiểu về các ứng dụng khác của tìm kiếm Grover để tìm mức tối thiểu, trung bình và trung bình của một bộ số. Điều đó khiến tôi tự hỏi liệu có bất kỳ ứng dụng ít rõ ràng nào khác về tìm kiếm của Grover (hoặc các ứng dụng khái quát hóa của nó như khuếch đại biên độ) đã được biết đến không? Bất kỳ cái nhìn sâu sắc ngắn gọn về cách này được thực hiện sẽ được đánh giá cao.

Câu trả lời:


7

Ngoài những ứng dụng bạn đã đề cập, một ứng dụng khác của thuật toán Grover (đã được sửa đổi) mà tôi biết là đang giải quyết vấn đề Va chạm trong lý thuyết phức tạp, điện toán lượng tử và toán học tính toán . Nó cũng được gọi là thuật toán BHT .

Giới thiệu :

Vấn đề va chạm thường được đề cập nhất là phiên bản 2 trên 1 được Scott Aaronson mô tả trong luận án tiến sĩ của ông. Cho rằng là chẵn và một hàm f : { 1 , . . . , n } { 1 , . . . , n } chúng tôi biết trước rằng f là 1 trên 1 hoặc 2 trên 1. Chúng tôi chỉ được phép thực hiện các truy vấn về giá trị của f ( i ) cho bất kỳ i { 1 , 2 ,nf:{1,...,n}{1,...,n}ff(i) . Sau đó, vấn đề sẽ hỏi có bao nhiêu truy vấn chúng ta cần thực hiện để xác định chắc chắn liệu f là 1 đối 1 hay 2 đối 1.i{1,2,...,n}f

Việc giải quyết phiên bản 2 trên 1 một cách nhất định đòi hỏi các truy vấn và nói chung, việc phân biệt các hàm r-to-1 với các hàm 1 đến 1 đòi hỏi các truy vấn n / r + 1 .n/2+1n/r+1

Giải pháp cổ điển quyết định :

Đây là một ứng dụng đơn giản của nguyên tắc pigeonhole: nếu một hàm là r-to-1, thì sau các truy vấn chúng tôi được đảm bảo đã tìm thấy xung đột. Nếu một hàm là 1-1, thì không có xung đột nào tồn tại. Nếu chúng ta không may mắn thì các truy vấn n / r có thể trả về các câu trả lời riêng biệt. Vì vậy, truy vấn n / r + 1 là cần thiết.n/r+1n/rn/r+1

Giải pháp cổ điển ngẫu nhiên :

Nếu chúng ta cho phép ngẫu nhiên, vấn đề sẽ dễ dàng hơn. Bằng cách nghịch lý ngày sinh nhật, nếu chúng ta chọn (riêng biệt) các truy vấn một cách ngẫu nhiên, sau đó với xác suất cao, chúng tôi tìm thấy một vụ va chạm trong bất kỳ cố định 2-to-1 chức năng sau truy vấn.Θ(n)

Giải pháp BHT lượng tử :

Theo trực giác, thuật toán kết hợp việc tăng tốc căn bậc hai từ nghịch lý sinh nhật bằng cách sử dụng ngẫu nhiên (cổ điển) với tăng tốc căn bậc hai từ thuật toán của Grover (lượng tử).

Thứ nhất, đầu vào cho e được lựa chọn một cách ngẫu nhiên và f được truy vấn ở tất cả trong số họ. Nếu có xung đột giữa các đầu vào này, thì chúng ta trả về cặp đầu vào va chạm. Mặt khác, tất cả các đầu vào này ánh xạ tới các giá trị riêng biệt bởi f . Sau đó, thuật toán của Grover được sử dụng để tìm đầu vào mới cho f va chạm. Vì chỉ có n 2 / 3 đầu vào như vậy để f , Thuật toán Grover có thể tìm thấy một (nếu nó tồn tại) bằng cách làm cho chỉ O ( n1/3ffffn2/3ftruy vấn đểf.O(n2/3)=O(n1/3)f

Nguồn:

  1. https://en.wikipedia.org/wiki/Collision_propet

  2. https://en.wikipedia.org/wiki/BHT_alacticm

  3. Thuật toán lượng tử cho vấn đề va chạm - Gilles Brassard, Peter Hoyer, Alain Tapp


Một số ý kiến về các giải pháp BHT (tôi không tìm thấy bài viết wikipedia rất giác ngộ): Đầu tiên, chọn đầu vào cho bài kiểm tra e một cách ngẫu nhiên. Giả sử họ không va chạm. Sắp xếp các giá trị x theo f ( x ) . Bây giờ, nếu f ( x ) là 2-to-1, có n 1 / 3 giá trị xn1/3fxf(x)f(x)n1/3x chưa kiểm tra mà va chạm với những thử nghiệm. Vì vậy, hãy xác định một chức năng kiểm tra "chưa được kiểm tra và va chạm". Điều này xác định các mục được đánh dấu. Va chạm rất dễ kiểm tra với danh sách giá trị được sắp xếp . Biết chính xác số lượng mục được đánh dấu (nếu 2 trên 1), Grover (gần như) đảm bảo một giải pháp. f(x)
DaftWullie

@DaftWullie Vâng, điều đó chắc chắn có ý nghĩa. Thuật toán của Grover không đảm bảo giải pháp nhưng có xác suất cao cung cấp giải pháp chính xác. Nhưng không phải điều đó khá rõ ràng từ chính mô tả Wikipedia sao? Tôi không chắc là tôi hiểu quan điểm hay sự phản đối mà bạn đang đưa ra. Tui bỏ lỡ điều gì vậy?
Sanchaya Dutta

Tất cả những gì tôi có thể nói là nó không rõ ràng đối với tôi . Trong lần đọc đầu tiên, tôi đã hiểu (một cách sai lầm) rằng đối với Grover, thay vì chuẩn bị sự chồng chất của tất cả các trạng thái có thể, nó chỉ chuẩn bị một sự chồng chất lên những trạng thái chưa được thử nghiệm. Nhưng điều đó dường như rất quan trọng đối với cách tăng tốc được giải thích. Ngoài ra, ban đầu tôi lo lắng về cách kiểm tra va chạm: cặp nào đang được kiểm tra va chạm và cách va chạm có thể được tính toán hiệu quả như thế nào?
DaftWullie

@DaftWullie À, được rồi. Tôi nhận được quan điểm của bạn. Wikipedia không đi sâu vào chi tiết của thuật toán. Bạn luôn có thể tham khảo bài viết gốc ( arxiv.org/abs/quant-ph/9705002 ) để biết chi tiết (mà tôi đoán bạn đã làm). Sau đó, tôi sẽ cố gắng mở rộng câu trả lời này để bao gồm tất cả các chi tiết. Tôi vẫn đang đọc báo.
Sanchaya Dutta

1
Trừ khi các qubit và cổng lượng tử hóa ra rẻ hơn không thể tin được so với bit và cổng cổ điển, bất kỳ cuộc thảo luận nào về BHT nên bao gồm sự cảnh báo rằng chi phí vượt quá tìm kiếm va chạm cổ điển hiện đại với máy Wiener van Oorschot. Xem cr.yp.to/ con.html # collisioncost hoặc blog.cr.yp.to/20171017-collutions.html để biết chi tiết. (Phần sau là phản hồi cho một cải tiến được cho là trên BHT, tuyên bố là hiệu quả hơn so với tìm kiếm va chạm cổ điển.)
Squeamish Ossifrage

4

Thuật toán của Grover cũng được sử dụng rộng rãi trong mật mã học lượng tử. Nó có thể được sử dụng để giải quyết các vấn đề như Bài toán logarit siêu việt, Bài toán tìm gốc đa thức, v.v.


Bạn có quan tâm để xây dựng một chút? Những vấn đề này là gì? Tôi có thể đọc thêm về họ ở đâu?
DaftWullie

1
ieeexplore.ieee.org/document/7016940 Đây là một bài báo ieee tìm cách phát triển một thuật toán lượng tử để giải quyết vấn đề tìm kiếm gốc đa thức. Bạn có thể đọc thêm về nó ở đó
da281

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.