面向命令式栈程序概率多项式时间的多项式时间复杂度分析器
计算机科学中的逻辑
2013-04-12 v1 计算复杂性
摘要
我们推出了 iSAPP（Imperative Static Analyser for Probabilistic Polynomial Time，概率多项式时间命令式静态分析器），这是一种针对概率多项式时间 (PP) 复杂度类具有可靠性且外延完备的复杂度验证工具。iSAPP 适用于栈机的命令式编程语言。关于多项式性的证书可以相对于所用栈的数量在多项式时间 (polytime) 内构建。
引用
@article{arxiv.1304.3249,
title = {A polytime complexity analyser for Probabilistic Polynomial Time over imperative stack programs},
author = {Jean-Yves Moyen and Paolo Parisen Toldin},
journal= {arXiv preprint arXiv:1304.3249},
year = {2013}
}