若能更快就加快：不透明性验证的条件下界
形式语言与自动机理论
2023-04-21 v1 系统与控制
系统与控制
摘要
不透明性是隐私与安全应用的一种属性，询问给定系统模型时，对系统行为进行在线观测的被动入侵者能否确定系统的某些“秘密”信息。判定不透明性是PSpace完全问题，因此在假设PSpace不同于PTime的前提下，不存在验证不透明性的多项式时间算法。然而，该假设引出一个问题：现有指数时间算法是否已达最优，还是存在更快的子指数时间算法。我们表明，在（强）指数时间假设下，不存在比现有算法显著更快的算法。作为副产物，我们获得了关于非确定有限自动机普遍性（以及包含性和等价性）判定时间复杂度的新条件下界。
引用
@article{arxiv.2304.09920,
title = {Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification},
author = {Jiří Balun and Tomáš Masopust and Petr Osička},
journal= {arXiv preprint arXiv:2304.09920},
year = {2023}
}