首页    期刊浏览 2024年07月06日 星期六
登录注册

文章基本信息

  • 标题:Understanding PPA-Completeness
  • 本地全文:下载
  • 作者:Xiaotie Deng ; Zhe Feng ; Zhengyang Liu
  • 期刊名称:Electronic Colloquium on Computational Complexity
  • 印刷版ISSN:1433-8092
  • 出版年度:2015
  • 卷号:2015
  • 出版社:Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
  • 摘要:

    The search complexity classes PPA and PPAD were proposed by Papadimitriou twenty years ago for characterizing the computational difficulties of many interesting natural search problems. While many members in the complete class of PPAD, PPAD-complete, are established in the past twenty years, the understanding of the PPA-complete class falls far behind. We consider the problem of finding a fully colored base triangle on the 2-dimensional M\"obius band under the standard boundary condition, proving it to be PPA-complete. It completes the locally planar PPA-complete characterization approach known ten years ago for less natural non-orientable surfaces. Our 2D simple M\"obius band PPA-complete work establishes an eternal result in that direction. The proof is based on a construction for the DPZP problem, that of finding a zero point under a discrete version of continuity condition. It further derives PPA-complete for versions on the M\"obius band of the following problems: the Sperner problem; the Tucker problem, finding an edge such that if the value of one end vertex is x , the other is − x , given an appropriate boundary condition. More generally, this applies to other non-orientable spaces. We derive a variety of the other models, including the projective plane and the Klein bottle. However, since those models have a closed boundary, we rely on a version of the PPA that states it as to find another fixed point giving a fixed point. This model also makes it presentationally simple for an extension to a high dimensional discrete fixed point problem on a non-orientable (nearly) hyper-grid with a constant side length.

  • 关键词:Fixed Point Computation ; PPA-Completeness
国家哲学社会科学文献中心版权所有