arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2406.12840quant-phcs.ET
收藏

构建用量子计算机求解优化问题的自动框架

Towards an Automatic Framework for Solving Optimization Problems with Quantum Computers

Deborah Volpe, Nils Quetschlich, Mariagrazia Graziano, Giovanna Turvani, Robert Wille

AI总结:

针对量子求解器需QUBO专业知识门槛的问题,提出一个自动转换常规优化问题为QUBO的全面框架,保留常规接口并提供求解与分析工具,对比实验与用例验证了其完整性与高效性。

摘要:

优化目标函数有望通过利用量子计算机获得显著收益,承诺在未来为各种应用领域提供更高的求解质量。然而,要发挥量子求解器的潜力,必须根据二次无约束二值优化(QUBO)模型来表述问题,这要求具备量子计算和QUBO建模的大量专业知识。这一专业门槛限制了对量子求解方案的使用。幸运的是,将常规优化问题自动转换为QUBO建模为提升量子求解器的可及性提供了一种解决方案。本文针对目前尚未满足的需求,提出了一个全面的自动框架,以协助用户在使用量子求解器执行优化任务的同时,保留与常规优化实践高度相似的接口。该框架提示用户指定变量、优化准则以及有效性约束,随后允许他们选择所需的求解器。接着,它会自动将问题描述转换为与所选求解器兼容的格式,并提供最终解。此外,该框架还提供了用于分析解的有效性和质量的工具。通过与文献中现有库和工具的对比分析,突显了所提框架的全面性。文中考虑了两个用例(背包问题和线性回归),以展示该框架在现实应用中的完整性与高效性。最终,所提出的框架在自动化量子计算解决方案以及为更广泛用户拓宽量子优化途径方面迈出了重要一步。

英文摘要:

Optimizing objective functions stands to benefit significantly from leveraging quantum computers, promising enhanced solution quality across various application domains in the future. However, harnessing the potential of quantum solvers necessitates formulating problems according to the Quadratic Unconstrained Binary Optimization (QUBO) model, demanding significant expertise in quantum computation and QUBO formulations. This expertise barrier limits access to quantum solutions. Fortunately, automating the conversion of conventional optimization problems into QUBO formulations presents a solution for promoting accessibility to quantum solvers. This article addresses the unmet need for a comprehensive automatic framework to assist users in utilizing quantum solvers for optimization tasks while preserving interfaces that closely resemble conventional optimization practices. The framework prompts users to specify variables, optimization criteria, as well as validity constraints and, afterwards, allows them to choose the desired solver. Subsequently, it automatically transforms the problem description into a format compatible with the chosen solver and provides the resulting solution. Additionally, the framework offers instruments for analyzing solution validity and quality. Comparative analysis against existing libraries and tools in the literature highlights the comprehensive nature of the proposed framework. Two use cases (the knapsack problem and linear regression) are considered to show the completeness and efficiency of the framework in real-world applications. Finally, the proposed framework represents a significant advancement towards automating quantum computing solutions and widening access to quantum optimization for a broader range of users.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑