VPSPACE与实数:新的多项式族及它们在计算复杂性理论的应用
"VPSPACE与实数:新的多项式族类及其在计算复杂性和代数复杂性理论中的应用" 在计算复杂性和代数复杂性理论的领域中,VPSPACE(Verifier in Polynomial Space)是一个重要的复杂性类,它包含了那些可以在多项式空间内验证的计算问题。VPSPACE族中的多项式意味着其计算过程所需的存储空间不超过输入大小的多项式函数。在该研究中,作者Pasal Koiran和Sylvain Perifel探讨了一种新的多项式族类——VPSPACE,并阐述了其在实数上的应用。 他们提出的主要定理指出,如果一个(一致的,无常数的)VPSPACE族可以被有效地求值,那么在实数上的决策问题类PARR(Parallel Arthur–Merlin Protocol with Randomness)可以收敛到PR(Polynomial-Time Realizable)。这里,PARR类代表的是那些在并行多项式时间内可解的决策问题,而PR则表示可以在多项式时间内真实实现的问题。这意味着,如果能够证明存在一些难以评估的VPSPACE族,那么有可能将PR从非确定性多项式时间可解问题类NPR,甚至从PARR中分离出来。 文章首先关注了代数复杂性理论中的两大问题类型:评价问题和决策问题。评价问题通常涉及计算如矩阵乘积等表达式的值,而决策问题则涉及判断一个给定的多项式是否存在实数解。例如,在Blum-Shub-Smale(BSS)模型中,判断多元多项式是否有实根是一个典型的NP完全问题,该模型允许在复数域上进行计算。 在这项研究中,作者不仅关注了BSS模型,还引入了更广泛的VPSPACE族。他们证明了多元多项式方程组的解集合构成了VPSPACE族。核心的结果是,如果VPSPACE族可以被有效地评估,那么在实数域上,某些原本属于PARR类的决策问题可以转化为在并行多项式时间内解决的PR问题。这一结论基于Grigoriev的一项组合引理,该引理在理解多项式计算的复杂性方面发挥了关键作用。 通过这种方式,Koiran和Perifel的工作深化了我们对计算复杂性的理解,尤其是在实数计算环境下的复杂性理论。他们的成果可能对未来的算法设计和复杂性理论的进一步研究产生深远影响,特别是在寻找问题的高效解决方案和复杂性类的界限划分方面。
![](https://csdnimg.cn/release/download_crawler_static/88790149/bg4.jpg)
剩余19页未读,继续阅读
![](https://img-home.csdnimg.cn/images/20210720083646.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![zip](https://img-home.csdnimg.cn/images/20210720083736.png)
![](https://profile-avatar.csdnimg.cn/default.jpg!1)
- 粉丝: 5
- 资源: 2万+
我的内容管理 展开
我的资源 快来上传第一个资源
我的收益
登录查看自己的收益我的积分 登录查看自己的积分
我的C币 登录后查看C币余额
我的收藏
我的下载
下载帮助
![](https://csdnimg.cn/release/wenkucmsfe/public/img/voice.245cc511.png)
最新资源
- 多模态联合稀疏表示在视频目标跟踪中的应用
- Kubernetes资源管控与Gardener开源软件实践解析
- MPI集群监控与负载平衡策略
- 自动化PHP安全漏洞检测:静态代码分析与数据流方法
- 青苔数据CEO程永:技术生态与阿里云开放创新
- 制造业转型: HyperX引领企业上云策略
- 赵维五分享:航空工业电子采购上云实战与运维策略
- 单片机控制的LED点阵显示屏设计及其实现
- 驻云科技李俊涛:AI驱动的云上服务新趋势与挑战
- 6LoWPAN物联网边界路由器:设计与实现
- 猩便利工程师仲小玉:Terraform云资源管理最佳实践与团队协作
- 类差分度改进的互信息特征选择提升文本分类性能
- VERITAS与阿里云合作的混合云转型与数据保护方案
- 云制造中的生产线仿真模型设计与虚拟化研究
- 汪洋在PostgresChina2018分享:高可用 PostgreSQL 工具与架构设计
- 2018 PostgresChina大会:阿里云时空引擎Ganos在PostgreSQL中的创新应用与多模型存储
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035111.png)
![](https://csdnimg.cn/release/wenkucmsfe/public/img/green-success.6a4acb44.png)