Chính xác là một lời sấm?

Chính xác là một " oracle "? Wikipedia nói rằng một nhà tiên tri là một " hộp đen ", nhưng tôi không chắc điều đó có nghĩa là gì.

Ví dụ, trong Thuật toán Deutsch-Jozsa ,
$\hspace{85px}$ ,
là lời tiên tri chỉ là hộp có nhãn hay đó là tất cả mọi thứ giữa phép đo và đầu vào (bao gồm cả cổng Hadamard)? $`` U_f " ,$

Và để đưa ra lời tiên tri, tôi cần phải viết $U_f$ ở dạng ma trận hay dạng cô đọng: $U_f$ cho $y \rightarrow y \oplus f(x)$ và $x \rightarrow x$ có đủ đối với định nghĩa của một nhà tiên tri không?

quantum-information terminology oracles

— StarBucK
nguồn

Microsoft có tài liệu hay về các nhà tiên tri lượng tử .

— Sanchaya Dutta

Một nhà tiên tri (ít nhất là trong bối cảnh này) chỉ đơn giản là một hoạt động có một số tài sản mà bạn không biết và đang cố gắng tìm hiểu. Thuật ngữ "hộp đen" được sử dụng tương đương, để truyền đạt ý tưởng rằng đó chỉ là một hộp mà bạn không thể nhìn thấy bên trong, và do đó bạn không biết nó đang làm gì. Tất cả những gì bạn biết là bạn có thể cung cấp đầu vào và nhận đầu ra. Trong sơ đồ mạch bạn mô tả, nó chỉ là hộp . Mọi thứ khác là những thứ bạn đang thêm vào để giúp thẩm vấn nhà tiên tri và khám phá các thuộc tính của nó. $U_f$

Để đưa ra lời tiên tri, bạn có thể viết nó dưới bất kỳ hình thức hợp lệ nào xác định bản đồ từ tất cả các đầu vào có thể thành đầu ra. Đây có thể là một ma trận (có thể có một tham số không xác định) hoặc có thể là bản đồ (đúng, ), vì được cung cấp một trong hai mô tả, bạn có thể tìm ra mô tả khác. $U:(x,y)\mapsto (x,y\oplus f(x))$ $\forall x,y\in\{0,1\}$

— DaftWullie
nguồn

Bạn có thể làm rõ những gì bạn có nghĩa bằng cách nghiêm túc trong câu cuối cùng?

— Aritra Das

@tparker không thực sự - mục đích của các hình thức tiên tri như vậy thường là nó cho phép mô tả không chỉ về thuật toán, mà còn cho sự tối ưu của thuật toán. Điều đó được đo đơn giản là một số lượng sử dụng của nhà tiên tri. Không quan trọng là nhà tiên tri mất bao lâu để chạy. Vì vậy, đối với Grover, điều đó đòi hỏi căn bậc hai của số lượng các cuộc gọi sấm mà người cổ điển thực hiện.

— DaftWullie

Bạn đúng; Nhận xét của tôi rất kém. Điều tôi muốn nói là nếu bạn muốn một kết quả tiên tri đưa ra bất kỳ cái nhìn sâu sắc nào về thời gian chạy "thế giới thực", bạn cần phải giả định (ngoài giả định hộp đen) rằng bất kỳ chương trình con nào bạn đang chạy để thực hiện cuộc gọi oracle chi phối thời gian chạy của thuật toán, do đó số lượng cuộc gọi orory thực sự tỷ lệ thuận với thời gian chạy thực tế. Nhưng đó là một giả định bổ sung cho sự phù hợp của "thế giới thực", không phải là một phần cần thiết trong định nghĩa của một nhà tiên tri.

— tparker