Квантовый алгоритм различения элементов: различия между версиями

Обобщением задачи различения элементов является задача о k-различении элементов [2], в которой нужно определить, существует ли k различных индексов <math>i_1, ..., i_k \in \{ 1, ..., N \}</math>, таких, что <math>x_{i_1} = x_{i_2} = \cdots = x_{i_k}</math>. Дальнейшим обобщением является задача нахождения k-подмножества [9], в которой задается функция <math>f(y_1, ..., y_k)</math> и нужно определить, существуют ли <math>i_1, ..., i_k \in \{ 1, ..., N \}</math>, такие, что <math>f(x_{i_1}, x_{i_2}, ..., x_{i_k}) = 1</math>.