LSTA用于量子电路验证的复杂度边界被证明
热点事件观察中
LSTA用于量子电路验证的复杂度边界被证明
1 篇报道1 个报道来源2 天前更新
先了解这件事
AI 综述
Michael Blondin等在arXiv论文（2610.25138）中证明：无环层级同步树自动机（LSTA）的非空性判定为NP-complete，其语言包含判定为Π₂^P-complete，而一般语言包含判定为EXPSPACE-complete。基于论文摘要。 作者还证明在固定量子比特顺序下，单个量子门会导致LSTA表示规模固有二次增长，并提出一种保持层级同步性质的相邻量子比特重排序构造以应对该问题。
AI 根据报道生成 · 2 天前更新
最新进展10月20日 12:00
论文证明层级同步树自动机用于量子电路验证的复杂度边界报道时间线
沿着报道，了解事件的不同侧面。
10月20日
- arXiv · quant-ph论文证明层级同步树自动机用于量子电路验证的复杂度边界
基于论文摘要，作者证明无环层级同步树自动机的非空性判定为 NP-complete、语言包含判定为 Π₂^P-complete，而一般语言包含判定为 EXPSPACE-complete。作者还证明固定量子比特顺序下单个量子门会导致表示规模固有二次增长，并提出保持层级同步的相邻量子比特重排序构造。
本事件热度走势
- 可比范围当前
- 3
- 可比范围峰值
- 610月21日 06:00
- 近 24 小时变化
- -49%
0246
06:0012:0018:0010月22日06:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。