The Kemeny Rank Aggregation (KRA) problem is a well-studied problem in the field of Social Choice with a variety of applications in many different areas like databases and search engines. Intuitively, given a set of votes over a set of candidates, the problem asks to find an aggregated ranking of candidates that minimizes the overall dissatisfaction concerning the votes. Recently, a diverse version of KRA was considered which asks for a sufficiently diverse set of sufficiently good solutions. The framework of diversity of solutions is a young and thriving topic in the field of artificial intelligence. The main idea is to provide the user with not just one, but with a set of different solutions, enabling her to pick a sufficiently good solution that satisfies additional subjective criteria that are hard or impossible to model. In this work, we use a quantum annealer to solve the KRA problem and to compute a representative set of solutions. Quantum annealing is a meta search heuristic that does not only show promising runtime behavior on currently existing prototypes but also samples the solutions space in an inherently different way, making use of quantum effects. We describe how KRA instances can be solved by a quantum annealer and provide an implementation as well as experimental evaluations. As existing quantum annealers are still restricted in their number of qubits, we further implement two different data reduction rules that can split an instance into a set of smaller instances. In our evaluation, we compare classical heuristics that allow to sample multiple solutions such as simulated annealing and local search with quantum annealing performed on a physical quantum annealer. We compare runtime, quality of solution, and diversity of solutions, with and without applying preceding data reduction rules.
翻译:Kemey Rank 聚合( KRA) 问题在社会选择领域是一个研究周全的物理问题, 包括数据库和搜索引擎等许多不同领域的多种应用。 直观地说, 如果对一组候选人有一组不同的选票, 问题需要找到一个综合的候选人排名, 从而最大限度地减少对投票的总体不满。 最近, KRA 的不同版本被考虑, 要求一套足够多样的、 足够好的解决方案。 解决方案的多样性框架在人工智能领域是一个年轻和繁荣的话题。 主要的理念是不仅为用户提供一套, 而且还提供一套不同的解决方案, 使用户能够选择一个足够好的解决方案, 使她能够选择一个足够好的解决方案, 满足另外一套难以或不可能建模的主观标准。 在这项工作中, 我们使用一个量的麻醉器来解决 KRA 问题, 并且用一个数量化的测试, 将一个数量化的数据, 将一个数量化的运行到一个我们现有的数量化, 将一个数量化的实验, 将一个数量化为一个数量化的数据, 。