{"title":"非常规计算中的非常规复杂性类别(扩展摘要)","authors":"Antonio E. Porreca","doi":"arxiv-2405.16896","DOIUrl":null,"url":null,"abstract":"Many unconventional computing models, including some that appear to be quite\ndifferent from traditional ones such as Turing machines, happen to characterise\neither the complexity class P or PSPACE when working in deterministic\npolynomial time (and in the maximally parallel way, where this applies). We\ndiscuss variants of cellular automata and membrane systems that escape this\ndichotomy and characterise intermediate complexity classes, usually defined in\nterms of Turing machines with oracles, as well as some possible reasons why\nthis happens.","PeriodicalId":501024,"journal":{"name":"arXiv - CS - Computational Complexity","volume":"42 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Unconventional complexity classes in unconventional computing (extended abstract)\",\"authors\":\"Antonio E. Porreca\",\"doi\":\"arxiv-2405.16896\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Many unconventional computing models, including some that appear to be quite\\ndifferent from traditional ones such as Turing machines, happen to characterise\\neither the complexity class P or PSPACE when working in deterministic\\npolynomial time (and in the maximally parallel way, where this applies). We\\ndiscuss variants of cellular automata and membrane systems that escape this\\ndichotomy and characterise intermediate complexity classes, usually defined in\\nterms of Turing machines with oracles, as well as some possible reasons why\\nthis happens.\",\"PeriodicalId\":501024,\"journal\":{\"name\":\"arXiv - CS - Computational Complexity\",\"volume\":\"42 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-05-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - CS - Computational Complexity\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2405.16896\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - CS - Computational Complexity","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2405.16896","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
摘要
许多非常规计算模型,包括一些看似与图灵机等传统计算模型大相径庭的模型,在确定性多项式时间内工作时(以及在最大并行方式适用的情况下),恰好可以描述复杂度类别 P 或 PSPACE 的特征。我们讨论了细胞自动机和膜系统的变体,这些变体摆脱了这种二分法,并具有中间复杂度等级的特征,通常是以带有算子的图灵机来定义的,我们还讨论了出现这种情况的一些可能原因。
Unconventional complexity classes in unconventional computing (extended abstract)
Many unconventional computing models, including some that appear to be quite
different from traditional ones such as Turing machines, happen to characterise
either the complexity class P or PSPACE when working in deterministic
polynomial time (and in the maximally parallel way, where this applies). We
discuss variants of cellular automata and membrane systems that escape this
dichotomy and characterise intermediate complexity classes, usually defined in
terms of Turing machines with oracles, as well as some possible reasons why
this happens.