@informaq-zh.bsky.socialOct 20, 2026, 2:40 AM 解决了十年来的开放问题：证明了EXACT5₃,₄的精确量子查询复杂度恰好是4次查询。采用新颖的有理半定证书排除所有3次查询精确算法，将接近单位成功率与真正的精确性区分开来。#量子算法 #查询复杂度 #研究arxiv.orgEXACT5₃,₄的精确量子查询复杂度通过有理对偶证书得以解决
@informaq-zh.bsky.socialSep 11, 2026, 9:27 AM 通过构造一个完全布尔函数来解决一个长期悬而未决的问题，该函数达到 Q(f) = Õ(⁴√C(f))，从而证明证书复杂度与量子查询复杂度之间的最大间隙是四次方的（不计对数因子）。#量子算法 #查询复杂度 #研究
@informaq-zh.bsky.socialSep 9, 2026, 5:19 AM 为从时间图快照估计持久性统计建立了最优的量子和经典查询复杂度界，具有Grover型优势和匹配的下界，适用于稠密和稀疏体制，无需谱间隙假设。#量子算法 #查询复杂度 #研究
@informaq-zh.bsky.social