阵列不可计算度上cl -约化性的扩展

IF 0.8 4区 计算机科学 Q3 COMPUTER SCIENCE, THEORY & METHODS
Nan Fang , Wolfgang Merkle
{"title":"阵列不可计算度上cl -约化性的扩展","authors":"Nan Fang ,&nbsp;Wolfgang Merkle","doi":"10.1016/j.ic.2024.105258","DOIUrl":null,"url":null,"abstract":"<div><div>Given a function <em>f</em>, <em>f</em>-bounded-Turing (<em>f</em>-bT-) reducibility is the Turing reducibility with use function bounded by <em>f</em>. In the special case where <span><math><mi>f</mi><mo>=</mo><mrow><mi>id</mi></mrow><mo>+</mo><mi>c</mi></math></span> (with id being the identity function and <em>c</em> a constant), this is referred to as cl-reducibility. In a work by Barmpalias, Fang, and Lewis-Pye, it was proven that there exist two left-c.e. reals such that no left-c.e. real <span><math><mo>(</mo><mrow><mi>id</mi></mrow><mo>+</mo><mi>g</mi><mo>)</mo></math></span>-bT-computes both of them whenever <em>g</em> is computable, nondecreasing, and satisfies <span><math><msub><mrow><mo>∑</mo></mrow><mrow><mi>n</mi></mrow></msub><msup><mrow><mn>2</mn></mrow><mrow><mo>−</mo><mi>g</mi><mo>(</mo><mi>n</mi><mo>)</mo></mrow></msup><mo>=</mo><mo>∞</mo></math></span>. Moreover, such maximal pairs exist precisely within every array noncomputable degree. This result generalizes a prior result on cl-reducibility, which states that there exist two left-c.e. reals such that no left-c.e. real cl-computes both of them. An open question remained as to whether a similar extension could apply to another result on cl-reducibility, which asserts that there exists a left-c.e. real not cl-reducible to any random left-c.e. real. We answer this question affirmatively, providing a simpler proof compared to previous works. Additionally, we streamline the proof of the initial extension.</div></div>","PeriodicalId":54985,"journal":{"name":"Information and Computation","volume":"303 ","pages":"Article 105258"},"PeriodicalIF":0.8000,"publicationDate":"2024-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Extending CL-reducibility on array noncomputable degrees\",\"authors\":\"Nan Fang ,&nbsp;Wolfgang Merkle\",\"doi\":\"10.1016/j.ic.2024.105258\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>Given a function <em>f</em>, <em>f</em>-bounded-Turing (<em>f</em>-bT-) reducibility is the Turing reducibility with use function bounded by <em>f</em>. In the special case where <span><math><mi>f</mi><mo>=</mo><mrow><mi>id</mi></mrow><mo>+</mo><mi>c</mi></math></span> (with id being the identity function and <em>c</em> a constant), this is referred to as cl-reducibility. In a work by Barmpalias, Fang, and Lewis-Pye, it was proven that there exist two left-c.e. reals such that no left-c.e. real <span><math><mo>(</mo><mrow><mi>id</mi></mrow><mo>+</mo><mi>g</mi><mo>)</mo></math></span>-bT-computes both of them whenever <em>g</em> is computable, nondecreasing, and satisfies <span><math><msub><mrow><mo>∑</mo></mrow><mrow><mi>n</mi></mrow></msub><msup><mrow><mn>2</mn></mrow><mrow><mo>−</mo><mi>g</mi><mo>(</mo><mi>n</mi><mo>)</mo></mrow></msup><mo>=</mo><mo>∞</mo></math></span>. Moreover, such maximal pairs exist precisely within every array noncomputable degree. This result generalizes a prior result on cl-reducibility, which states that there exist two left-c.e. reals such that no left-c.e. real cl-computes both of them. An open question remained as to whether a similar extension could apply to another result on cl-reducibility, which asserts that there exists a left-c.e. real not cl-reducible to any random left-c.e. real. We answer this question affirmatively, providing a simpler proof compared to previous works. Additionally, we streamline the proof of the initial extension.</div></div>\",\"PeriodicalId\":54985,\"journal\":{\"name\":\"Information and Computation\",\"volume\":\"303 \",\"pages\":\"Article 105258\"},\"PeriodicalIF\":0.8000,\"publicationDate\":\"2024-11-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Information and Computation\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0890540124001238\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"COMPUTER SCIENCE, THEORY & METHODS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Information and Computation","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0890540124001238","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 0

摘要

给定一个函数f, f-有界图灵(f- bt -)可约性是用函数f为界的图灵可约性。在f=id+c (id为恒等函数,c为常数)的特殊情况下,称为cl-可约性。在Barmpalias, Fang和Lewis-Pye的工作中,证明了存在两个左-c。真实如此,没有留下c.e.。real (id+g)- bt -当g是可计算的,非递减的,且满足∑n2−g(n)=∞时,计算两者。而且,这种极大对精确地存在于每一个不可计算度的数组中。这个结果推广了先前关于cl-可约性的一个结果,即存在两个左-c - e。真实如此,没有留下c.e.。真正的计算机可以同时计算它们。一个悬而未决的问题是,类似的推广是否可以应用于另一个关于cl-可约性的结果,该结果断言存在一个左-c - e。实不可约为任意任意左-c。真实的。我们肯定地回答了这个问题,提供了一个比以前的作品更简单的证明。此外,我们简化了初始扩展的证明。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Extending CL-reducibility on array noncomputable degrees
Given a function f, f-bounded-Turing (f-bT-) reducibility is the Turing reducibility with use function bounded by f. In the special case where f=id+c (with id being the identity function and c a constant), this is referred to as cl-reducibility. In a work by Barmpalias, Fang, and Lewis-Pye, it was proven that there exist two left-c.e. reals such that no left-c.e. real (id+g)-bT-computes both of them whenever g is computable, nondecreasing, and satisfies n2g(n)=. Moreover, such maximal pairs exist precisely within every array noncomputable degree. This result generalizes a prior result on cl-reducibility, which states that there exist two left-c.e. reals such that no left-c.e. real cl-computes both of them. An open question remained as to whether a similar extension could apply to another result on cl-reducibility, which asserts that there exists a left-c.e. real not cl-reducible to any random left-c.e. real. We answer this question affirmatively, providing a simpler proof compared to previous works. Additionally, we streamline the proof of the initial extension.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
Information and Computation
Information and Computation 工程技术-计算机:理论方法
CiteScore
2.30
自引率
0.00%
发文量
119
审稿时长
140 days
期刊介绍: Information and Computation welcomes original papers in all areas of theoretical computer science and computational applications of information theory. Survey articles of exceptional quality will also be considered. Particularly welcome are papers contributing new results in active theoretical areas such as -Biological computation and computational biology- Computational complexity- Computer theorem-proving- Concurrency and distributed process theory- Cryptographic theory- Data base theory- Decision problems in logic- Design and analysis of algorithms- Discrete optimization and mathematical programming- Inductive inference and learning theory- Logic & constraint programming- Program verification & model checking- Probabilistic & Quantum computation- Semantics of programming languages- Symbolic computation, lambda calculus, and rewriting systems- Types and typechecking
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信