量子退火中的Ising模型公式化的Petri网建模
摘要：量子退火是一种用于组合优化的新兴平台，需要一个Ising模型来进行优化问题的公式化。这种公式化可能成为这一创新在日常生活的广泛领域推广的关键障碍。我们的研究旨在提出一种Petri网建模方法来进行Ising模型的公式化。虽然所提出的方法要求用户使用Petri网对他们的优化问题进行建模，但如果我们知道目标问题和简单的Petri网建模规则，这个过程可以相对直接地进行。利用我们的方法，目标优化问题中的约束和目标函数被表示为Petri网模型的基本特性，从Petri网模型中系统抽取出来，然后转化为等效的二次二元网络（即Ising模型）。所提出的方法可以极大地降低Ising模型公式化的难度。
作者：Morikazu Nakamura, Kohei Kaneshima, Takeo Yoshida
论文ID：2107.04304
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2021-08-20