paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Stashing And Parallelization Pentagons

Stashing 与并行化五边形
LMCS vol.Volume 17, Issue 42021匹配度 1/10 · 该论文研究 Weihrauch 格中的并行化、stashing 与不连续问题的可计算性理论,属于纯逻辑/可计算性基础,与用户画像核心的静态分析、浮点程序分析、贝叶斯程序分析以及 LLM/Agent 交叉均无直接关系。引用 1 inbox
Vasco Brattka
crossref: 2026-09-10

AI 速览

一句话:引入与并行化对偶的 stashing 操作,证明其在 Weihrauch 格中至多产生五类度数并形成五边形,并刻画不连续问题。

论文研究 Weihrauch 格中问题的代数操作。并行化把问题提升为序列问题,要求每个分量都是实例解,并在 Weihrauch 格中形成闭包算子。作者引入对偶 stashing:同样提升为序列问题,但只要求某个分量为实例解,从而诱导内部算子。文章分析二者生成的幺半群在格上的作用,证明至多产生五个不同度数,最大情形组织成五边形;还引入用上 Turing 锥替代解的内部算子,并证明在可并行化度数上它对应 stashing。由此,同时可并行化且可 stashing 的问题有可计算性理论刻画。最后应用于不连续问题:它是若干 LLPO 变体的 stashing,其并行化得到不可计算性问题,支持“不可计算性是并行化的不连续性”。

问题
并行化是 Weihrauch 格中将问题提升到序列问题的闭包算子;本文寻找其对偶操作,并理解二者生成的代数结构。
方法
引入 stashing 内部算子及用上 Turing 锥替代解的内部算子,分析 stashing/并行化幺半群在 Weihrauch 格上的作用,并应用于不连续问题。
评估
通过格论与可计算性理论证明度数至多五个并组织成五边形,给出可并行化且可 stashing 问题的可计算性刻画,以及不连续问题的对应结果。
原文摘要(Abstract)

Parallelization is an algebraic operation that lifts problems to sequences in a natural way. Given a sequence as an instance of the parallelized problem, another sequence is a solution of this problem if every component is instance-wise a solution of the original problem. In the Weihrauch lattice parallelization is a closure operator. Here we introduce a dual operation that we call stashing and that also lifts problems to sequences, but such that only some component has to be an instance-wise solution. In this case the solution is stashed away in the sequence. This operation, if properly defined, induces an interior operator in the Weihrauch lattice. We also study the action of the monoid induced by stashing and parallelization on the Weihrauch lattice, and we prove that it leads to at most five distinct degrees, which (in the maximal case) are always organized in pentagons. We also introduce another closely related interior operator in the Weihrauch lattice that replaces solutions of problems by upper Turing cones that are strong enough to compute solutions. It turns out that on parallelizable degrees this interior operator corresponds to stashing. This implies that, somewhat surprisingly, all problems which are simultaneously parallelizable and stashable have computability-theoretic characterizations. Finally, we apply all these results in order to study the recently introduced discontinuity problem, which appears as the bottom of a number of natural stashing-parallelization pentagons. The discontinuity problem is not only the stashing of several variants of the lesser limited principle of omniscience, but it also parallelizes to the non-computability problem. This supports the slogan that "non-computability is the parallelization of discontinuity".

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@article{paperbot1254,
  title = {Stashing And Parallelization Pentagons},
  author = {Vasco Brattka},
  journal = {Logical Methods in Computer Science},
  volume = {Volume 17, Issue 4},
  year = {2021},
  doi = {10.46298/lmcs-17(4:20)2021}
}