机构名称：
¥ 1.0
网络验证的广义定义是证明由网络配置产生的某些属性的正确性，无法通过传统硬件上的蛮力有效解决。先前的研究已经开发出各种可扩展的方法，这些方法通过观察搜索空间中的结构，然后评估由该结构引起的类别来实现。然而，即使是这些分类机制也有其局限性。在本文中，我们考虑了一种完全不同的方法：应用量子计算更有效地解决网络验证问题。我们概述了如何将验证问题的变体映射到非结构化搜索问题中，这些问题可以通过量子计算以二次加速解决，从而使该方法在理论上可行，适用于输入大小两倍的问题。新兴的量子系统还不能解决实际问题，但硬件和算法开发的快速发展使现在成为开始考虑其应用的好时机。考虑到这一点，我们探索了量子计算可以解决网络验证问题作为非结构化搜索的问题规模极限。
将量子计算应用于网络验证
主要关键词
相关文件推荐
