枚举顺序缩减
Enumeration Order Reducibility
摘要：
在本文中，我们定义了一个新的约简的基础上的枚举顺序的r.e.集.
英文摘要：
In this article we define a new reducibility based on the enumeration orders of r.e. sets.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
相关论文
r.e.中元素的序数与计数序的关系集
Relation between the Usual Order and the Enumeration Orders of Elements of r.e. Sets
在本文中，我们比较了r.e.集合基于它们的枚举顺序与图灵机。据此，我们定义了图灵机和r.e.研究了一致性与一元约简和图灵约简之间的关系。此外，我们还定义了第二类一致性概念，并研究了r.e.集合和图灵机。最后，我们介绍了一种名为图灵输出二叉搜索树的新结构，它可以帮助我们减轻一些想法。
cs.CCcs.FLmath.LO
可计算逐点约简
Computable Component-wise Reducibility
我们认为等价关系和前序完全的算术层次结构的各个级别下可计算的，组件明智的reductionary。证明了一阶逻辑中的蕴涵是$\SI 1$的完全预序，$\SI 2$的EXPTIME集上的$\le^P_m$关系以及$\SI 3$的$(\QQ,+)$的可计算子群的可嵌入性.在所有情况下，前序的对称片段对于同一水平上的等价关系是完备的。我们提出了一个表征$\PI 1$等价关系，使我们能够建立多项式时间函数的平等和包含多项式时间集是完全的$\PI 1$等价关系和前序分别。我们还表明，这是调查的限制：对于$n\geq 2$有没有$\PI n$，也没有$\DE n$ -完全等价关系。
cs.FLcs.LO
Ranked enumeration of MSO logic on words
In the last years, enumeration algorithms with bounded delay have attracted a lot of attention for several data management tasks. Given a query and the data, the task is to preprocess the data and then enumerate all the answers to the query one by one and without repetitions. This enumeration scheme is typically useful when the solutions are treated on the fly or when we want to stop the enumeration once the pertinent solutions have been found. However, with the current schemes, there is no restriction on the order how the solutions are given and this order usually depends on the techniques us…
cs.DScs.FL
