用于制定混合量子-经典元求解器策略的领域特定语言

设计混合量子-经典工作流的一个关键挑战是识别量子候选者，即确定哪些特定问题可能实现量子优势。在多个候选者之间进行选择时，考虑问题特有的特征至关重要，因为这些特征可能从根本上决定量子或经典方法的成功程度。这意味着成功使用混合量子-经典工作流需要专门的专业知识。为了应对这一挑战，我们提出了一种领域特定语言（DSL），以使用易于使用和共享的通用表示来表达解决方案策略中的最佳实践。该DSL提供了一种灵活的方法来设计混合量子-经典工作流，并为广泛的问题自动化决策，支持深入到问题特定细节的决策，同时保持技术独立性。此外，我们提出了一个围绕我们的DSL构建的框架，该框架使用ProvideQ工具箱作为编排层来执行定义的工作流。本出版物的所有贡献均为开源。