瓷砖的便利性

P. E. Boas
{"title":"瓷砖的便利性","authors":"P. E. Boas","doi":"10.1201/9780429187490-12","DOIUrl":null,"url":null,"abstract":"Tiling problems provide for a very simple and transparent mechanism for encod ing machine computations This gives rise to rather simple master reductions showing various versions of the tiling problem complete for various complexity classes We in vestigate the potential for using these tiling problems in subsequent reductions showing hardness of the combinatorial problems that really matter We ilustrate our approach by means of three examples a short reduction chain to the Knapsack problem followed by a Hilbert reduction using similar ingredients Finally we reprove the Deterministic Exponential Time lowerbound for satis ablility in Propositional Dynamic Logic The resulting reductions are relatively simple they do however infringe on the principle of orthogonality of reductions since they abuse extra structure in the in stances of the problems reduced from which results from the fact that these instances were generated by a master reduction previously","PeriodicalId":420984,"journal":{"name":"complexity, logic, and recursion theory","volume":"63 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"61","resultStr":"{\"title\":\"The Convenience of Tilings\",\"authors\":\"P. E. Boas\",\"doi\":\"10.1201/9780429187490-12\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Tiling problems provide for a very simple and transparent mechanism for encod ing machine computations This gives rise to rather simple master reductions showing various versions of the tiling problem complete for various complexity classes We in vestigate the potential for using these tiling problems in subsequent reductions showing hardness of the combinatorial problems that really matter We ilustrate our approach by means of three examples a short reduction chain to the Knapsack problem followed by a Hilbert reduction using similar ingredients Finally we reprove the Deterministic Exponential Time lowerbound for satis ablility in Propositional Dynamic Logic The resulting reductions are relatively simple they do however infringe on the principle of orthogonality of reductions since they abuse extra structure in the in stances of the problems reduced from which results from the fact that these instances were generated by a master reduction previously\",\"PeriodicalId\":420984,\"journal\":{\"name\":\"complexity, logic, and recursion theory\",\"volume\":\"63 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-05-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"61\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"complexity, logic, and recursion theory\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1201/9780429187490-12\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"complexity, logic, and recursion theory","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1201/9780429187490-12","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 61

摘要

平铺问题为编码机器计算提供了一种非常简单和透明的机制,这就产生了相当简单的主约简,显示了各种复杂类型的平铺问题的各种版本。我们研究了在后续的约简中使用这些平铺问题的潜力,显示了真正重要的组合问题的硬度。我们通过三个例子来说明我们的方法最后,我们对命题动态逻辑中满足能力的确定性指数时间下界进行了反驳。所得到的约简相对简单,但确实违反了约简的正交性原则,因为它们在约简问题的情况下滥用了额外的结构,这些问题的结果是这些实例是由先前的主约简产生的
本文章由计算机程序翻译,如有差异,请以英文原文为准。
The Convenience of Tilings
Tiling problems provide for a very simple and transparent mechanism for encod ing machine computations This gives rise to rather simple master reductions showing various versions of the tiling problem complete for various complexity classes We in vestigate the potential for using these tiling problems in subsequent reductions showing hardness of the combinatorial problems that really matter We ilustrate our approach by means of three examples a short reduction chain to the Knapsack problem followed by a Hilbert reduction using similar ingredients Finally we reprove the Deterministic Exponential Time lowerbound for satis ablility in Propositional Dynamic Logic The resulting reductions are relatively simple they do however infringe on the principle of orthogonality of reductions since they abuse extra structure in the in stances of the problems reduced from which results from the fact that these instances were generated by a master reduction previously
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
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学术文献互助群
群 号:604180095
Book学术官方微信