问题的首阶部分的代数性质

在本文中，我们研究计算问题的首阶部分这一概念，该概念由 Dzhafarov、Solomon 和 Yokoyama 首次引入，其捕捉“与 $f$ Weihrauch 可归约的、陪域为 $\mathbb{N}$ 的最强计算问题”。该算子在证明分离结果时非常有用，尤其是在 Weihrauch 格的较高层次。我们探讨了首阶部分与文献中已知的若干其他算子之间的关系。我们还引入了一个称为无界有限并行化的新算子，它在刻画可并行化问题的首阶部分中起着重要作用。我们展示了所获结果如何用于显式刻画若干已知问题的首阶部分。