你好，劳里;马蒂·Järvisalo;安蒂·库西斯托;朱哈纳·劳林哈尔朱;托莫Lempiäinen;科科·洛斯托;朱卡·索米拉;乔尼·维特玛 分布式计算的弱模型，与模态逻辑有关。 （英语） Zbl 1322.68075号 分布计算。 28，第1期，31-53（2015）。 摘要：这项工作对分布式计算的弱模型进行了分类。我们专注于确定性分布式算法，并研究计算模型，这些模型是广泛研究的端口编号模型的较弱版本。在端口编号模型中，度为（d）的节点通过输入端口接收消息，并通过输出端口发送消息，这两个端口都用（1,2，…，d）编号。在这项工作中{VV}_{\mathsf c}\）是所有图形问题这可以在标准端口编号模型中解决。我们研究了\（\mathsf的以下子类{VV}_{\mathsf c}\）：{}{}\（\mathsf{VV}\）：输入端口\（i\）和输出端口\（i \）不一定连接到同一个邻居。{}{}\（\mathsf{MV}\）：输入端口没有编号；算法接收多组消息。{}{}\（\mathsf{SV}\）：输入端口没有编号；算法接收一组消息。{}{}\（\mathsf{VB}\）：输出端口没有编号；算法向所有输出端口发送相同的消息。{}{}\（\mathsf{MB}\）：\（\mathf{MV}\）和\（\mathsf{VB}\）的组合。{}{}\（\mathsf{SB}\）：\（\mathf{SV}\）和\（\mathsf{VB}\）的组合。{}现在我们有许多琐碎的包含关系，例如\（\mathsf{SB}\subseteq\mathsf{MB}\subesteq\mathsf{VB}\substeq\mathsf{VV}\subteseq\mathsf{VV}_{\mathsf c}\），但如果\（\mathsf{VB}\subseteq\mathsf2{SV}\）或\。然而，事实证明，我们可以识别线性顺序在这些课程上。我们证明了\（\mathsf｛SB｝\subsetneq\mathsf｛MB｝=\mathsf｛VB｝\subsetneq\mathsf｛SV｝=\mathsf｛MV｝=\mathsf｛VV｝\subsetneq\mathsf{VV}_｛\mathsf c｝\）。这些类的固定时间版本也是如此。我们还表明，这些类的恒定时间变体可以通过相应的模态逻辑因此，本文中确定的线性顺序对模态逻辑的可表达性研究具有直接意义。相反，可以使用模态逻辑中的工具来研究这些类。 引用于2评论引用于13文件 MSC公司： 2005年第68季度 计算模型（图灵机等）（MSC2010） 03B45号 模态逻辑（包括规范的逻辑） 03B70号 计算机科学中的逻辑 64岁以下 分布式系统 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 68宽15 分布式算法 关键词：分布式计算;局部算法;模态逻辑;计算模型 PDF格式BibTeX公司 XML格式引用 \textit{L.Hella}等人，分布计算。28、第1号、第31-53号（2015；Zbl 1322.68075） 全文： 内政部 链接 参考文献： [1] Afek，Y.，Alon，N.，Bar-Joseph，Z.，Cornejo，A.，Haeupler，B.，Kuhn，F.：寻找最大独立集。摘自：《第25届分布式计算国际研讨会论文集》（DISC 2011），《计算机科学讲义》，第6950卷，第32-50页。施普林格（2011）。doi:10.1007/978-3-642-24100-03·Zbl 1311.68023号 [2] Angluin，D.：处理器网络中的局部和全局属性。摘自：第十二届ACM计算机理论研讨会论文集（STOC 1980），第82-93页。ACM出版社（1980）。doi:10.1145/800141.804655 [3] Au strand，M.，Floréen，P.，Polishchuk，V.，Rybicki，J.，Suomela，J.和Uitto，J.：顶点覆盖问题的局部2-近似算法。摘自：第23届分布式计算国际研讨会论文集（DISC 2009），《计算机科学讲义》，第5805卷，第191-205页。施普林格（2009）。doi:10.1007/978-3-642-04355-021·Zbl 1261.68161号 [4] Au strand，M.、Polishchuk，V.、Rybicki，J.、Suomela，J.和Uitto，J.：（弱）着色图中的局部算法（2010）。arXiv:1002.0125·Zbl 1261.68161号 [5] Au strand，M.，Suomela，J.：匿名网络中顶点覆盖和集合覆盖的快速分布式近似算法。摘自：第22届ACM算法和架构并行性研讨会论文集（SPAA 2010），第294-302页。ACM出版社（2010）。doi:10.145/1810479.1810533 [6] Attiya，H.，Snir，M.，Warmuth，M.K.：匿名环上的计算。J.ACM 35（4），845-875（1988）。doi:10.11145/48014.48247·Zbl 0662.68035号 ·数字对象标识代码：10.1145/48014.48247 [7] Benthem，J.v.：模态对应理论。荷兰阿姆斯特丹大学Logica en Grondslagenderzoek van de Exacte Wetenschappen研究所博士论文（1977年） [8] Blackburn，P.，Benthem，J.v.，Wolter，F.（编辑）：模态逻辑手册，逻辑和实践推理研究，第3卷。Elsevier，阿姆斯特丹（2007）·Zbl 1114.03001号 [9] Blackburn，P.，Rijke，M.d.，Venema，Y.：模态逻辑，剑桥理论计算机科学丛书，第53卷。剑桥大学出版社，英国剑桥（2001）·Zbl 0988.03006号 [10] Boldi，P.，Shammah，S.，Vigna，S.、Codenotti，B.、Gemmell，P.、Simon，J.：匿名网络特征中的对称破缺。摘自：《第四届以色列计算与系统理论研讨会论文集》（ISTCS 1996），第16-26页。IEEE（1996）·Zbl 0951.03018号 [11] Boldi，P.，Vigna，S.：在匿名网络上计算向量函数。摘自：《第四届结构信息与通信复杂性学术讨论会论文集》（SIROCCO 1997），第201-214页。Carleton Scientific（1997）·Zbl 0874.68013号 [12] Boldi，P.，Vigna，S.：使用任意知识进行匿名计算。摘自：第18届ACM分布式计算原理研讨会论文集（PODC 1999），第181-188页。ACM出版社（1999）。doi:10.1145/301308.301355·Zbl 1321.68064号 [13] Boldi，P.，Vigna，S.：匿名网络中可计算性的有效表征。摘自：第十五届分布式计算国际研讨会（DISC 2001），计算机科学讲稿，第2180卷，第33-47页。斯普林格（2001）。doi:10.1007/3-540-45414-43·Zbl 1024.68508号 [14] Bondy，J.A.，Murty，U.S.R.：图论及其应用。纽约州北霍兰德市（1976年）·Zbl 1226.05083号 [15] Chalopin，J.：算法分布，计算局部和同态图。波尔多第一大学LaBRI博士论文（2006年）·Zbl 1253.68360号 [16] Chalopin，J.、Das，S.、Santoro，N.：匿名网络中的分组和配对。载：《第20届分布式计算国际研讨会论文集》（DISC 2006），《计算机科学讲义》，第4167卷，第105-119页。斯普林格（2006）。doi:10.1007/11864219_8·兹比尔1155.68327 [17] Conradie，W.：可定义性和变化的视角：模态逻辑三种扩展的beth属性。阿姆斯特丹大学逻辑、语言和计算研究所硕士论文（2002年） [18] Cornejo，A.，Kuhn，F.：部署带有哔哔声的无线网络。摘自：《第24届分布式计算国际研讨会论文集》（DISC 2010），《计算机科学讲义》，第6343卷，第148-162页。施普林格（2010）。doi:10.1007/978-3-642-15763-9_15·Zbl 1290.68020号 [19] Czygrinow，A.，Hanch kowiak，M.，Krzywdziñski，K.，Szymanáska，E.，Wawrzyniak，W.：简要声明：半匹配问题的分布近似。摘自：《第25届分布式计算国际研讨会论文集》（DISC 2011），《计算机科学讲义》，第6950卷，第200-201页。施普林格（2011）。doi:10.1007/978-3-642-24100-0_18·Zbl 1350.68278号 [20] Czygrinow，A.，Hanch kowiak，M.，Wawrzyniak，W.：平面图中的快速分布近似。摘自：第22届分布式计算国际研讨会论文集（DISC 2008），《计算机科学讲义》，第5218卷，第78-92页。施普林格（2008）。doi:10.1007/978-3-540-87779-06·Zbl 1161.68865号 [21] Diestel，R.：图论，第4版。施普林格，柏林（2010）。http://diestel-graph-theory.com/ ·Zbl 1204.05001号 [22] Diks，K.，Kranakis，E.，Malinowski，A.，Pelc，A.：匿名无线环。西奥。计算。科学。145(1-2), 95-109 (1995). doi:10.1016/0304-3975（94）00178-L·Zbl 0874.68013号 ·doi:10.1016/0304-3975（94）00178-L [23] Emek，Y.，Smula，J.，Wattenhofer，R.：石器时代分布式计算（2012）。arXiv:1202.1186号·Zbl 1323.68270号 [24] 好吧，K。：在这么多可能的世界里。《圣母院J.形式逻辑》13（4），516-520（1972）。数字对象标识代码：10.1305/ndjfl/1093890715·Zbl 0205.30306号 ·数字对象标识代码：10.1305/ndjfl/1093890715 [25] Flocchini，P.，Roncato，A.，Santoro，N.：在具有方向感的匿名网络上进行计算。西奥。计算。科学。301(1-3), 355-379 (2003). doi:10.1016/S0304-3975（02）00592-3·Zbl 1028.68050号 ·doi:10.1016/S0304-3975（02）00592-3 [26] Floréen，P.、Hassinen，M.、Kaasinen，J.、Kaski，P.，Musto，T.、Suomela，J.：极大极小和极小极大线性规划的局部逼近性。理论计算。系统。49(4), 672-697 (2011). doi:10.1007/s00224-010-9303-6·Zbl 1253.68360号 ·doi:10.1007/s00224-010-9303-6 [27] Floréen，P.、Hassinen，M.、Kaski，P.和Suomela，J.：一类0/1极大极小线性规划的局部近似算法（2008）。arXiv:0806.0282·Zbl 1253.68360号 [28] Floréen，P.、Hassinen，M.、Kaski，P.和Suomela，J.：max-min线性规划的紧局部近似结果。参见：第四届无线传感器网络算法方面国际研讨会论文集（Algosensors 2008），《计算机科学讲义》，第5389卷，第2-17页。施普林格（2008）。doi:10.1007/978-3-540-92862-12。arXiv:0804.4815·Zbl 1028.68050号 [29] Floréen，P.、Kaasinen，J.、Kaski，P.和Suomela，J.：最大-最小线性规划的最优局部近似算法。摘自：《第21届ACM算法和架构并行性研讨会论文集》（SPAA 2009），第260-269页。ACM出版社（2009）。doi:10.1145/1583991.1584058。arXiv:0809.1489·Zbl 0662.68035号 [30] Floréen，P.、Kaski，P.，Musto，T.、Suomela，J.：用局部算法逼近最大最小线性程序。摘自：第22届IEEE国际并行和分布式处理研讨会论文集（IPDPS 2008）。IEEE（2008）。doi:10.1109/IPDPS.2008.4536235。arXiv:0710.1499·Zbl 1253.68360号 [31] Floréen，P.、Kaski，P.，Polishchuk，V.、Suomela，J.：通过截断Gale-Shapley算法实现几乎稳定的匹配。《算法》58（1），102-118（2010）。doi:10.1007/s00453-009-9353-9。arXiv:0812.4893·Zbl 1204.68144号 [32] Gös，M.，Hirvonen，J.，Suomela，J.：局部近似的下限。摘自：第31届ACM分布式计算原理研讨会论文集（PODC 2012），第175-184页。ACM出版社（2012）。doi:10.1145/2332432.2332465。arXiv：1201.6675·Zbl 1301.68147号 [33] Halpern，J.Y.，Moses，Y.：分布式环境中的知识和公共知识。《美国临床医学杂志》37（3），549-587（1990）。doi:10.1145/79147.79161·兹比尔0699.68115 ·doi:10.1145/79147.79161 [34] Hella，L.、Järvisalo，M.、Kuusisto，A.、Laurinharju，J.、Lempiäinen，T.、Luosto，K.、Suomela，J.和Virtema，J.：分布式计算的弱模型，与模态逻辑相关。摘自：第31届ACM分布式计算原理研讨会论文集（PODC 2012），第185-194页。ACM出版社（2012）。doi:10.1145/2332432.2332466。arXiv:12025.2051·Zbl 1301.68120号 [35] Immerman，N.：描述复杂性。计算机科学研究生课程。柏林施普林格（1999）·Zbl 0918.68031号 ·doi:10.1007/978-1-4612-0539-5 [36] Kuhn，F.：局部性的代价：探索分布式协调原语的复杂性。苏黎世理工学院博士论文（2005年）·Zbl 0845.68006号 [37] Kuhn，F.，Moscibroda，T.，Wattenhofer，R.：近视的代价。In：程序。第17届ACM-SIAM离散算法年会（SODA 2006），第980-989页。ACM出版社（2006）。doi:10.1145/1109557.1109666·Zbl 1192.68044号 [38] Kuhn，F.，Wattenhofer，R.：关于分布图着色的复杂性。第25届ACM分布式计算原理年会（PODC 2006），第7-15页。ACM出版社（2006）。doi:10.1145/1146381.1146387·Zbl 1314.68161号 [39] Lenzen，C.：分布式系统中的同步和对称破坏。苏黎世理工学院博士论文（2011年） [40] Lenzen，C.，Oswald，Y.A.，Wattenhofer，R.：什么可以局部近似？TIK报告331，苏黎世ETH，计算机工程和网络实验室（2010年）。ftp://ftp.tik.ee.ethz.ch/pub/publications/tik-Report-331.pdf ·Zbl 1253.68360号 [41] Lenzen，C.，Wattenhofer，R.：有界荫度图中的最小支配集近似。摘自：《第24届分布式计算国际研讨会论文集》（DISC 2010），《计算机科学讲义》，第6343卷，第510-524页。施普林格（2010）。文件编号：10.1007/978-3-642-15763-9_48·Zbl 1290.68130号 [42] Linial，N.：分布式图算法中的局部性。SIAM J.计算。21(1), 193-201 (1992). doi:10.1137/0221015·Zbl 0787.05058号 ·doi:10.1137/0221015 [43] Mayer，A.，Naor，M.，Stockmeyer，L.：静态和动态图的局部计算。摘自：《第三届以色列计算与系统理论研讨会论文集》（ISTCS 1995），第268-278页。IEEE（1995）。doi:10.1109/ISTCS.1995.377023 [44] Moran，S.，Warmuth，M.K.：分布式计算的间隙定理。SIAM J.计算。22(2), 379-394 (1993). doi:10.1137/0222028·Zbl 0768.68026号 [45] Moscibroda，T.：位置、调度和自私：高度分散网络的算法基础。苏黎世理工学院博士论文（2006年） [46] Naor，M.，Stockmeyer，L.：什么可以在本地计算？SIAM J.计算。24(6), 1259-1277 (1995). doi:10.1137/S0097539793254571·Zbl 0845.68006号 ·doi:10.1137/S0097539793254571 [47] Norris，N.：对匿名网络进行分类：两个网络何时可以计算同一组向量值函数？摘自：《结构信息与通信复杂性第一次学术讨论会论文集》（SIROCCO 1994），第83-98页。卡尔顿大学出版社（1995） [48] Norris，N.：部分无线网络上的计算功能。摘自：《结构信息和通信复杂性第二次学术讨论会论文集》（SIROCCO 1995），第53-64页。卡尔顿大学出版社（1996）·Zbl 0699.68115号 [49] Peleg，D.：分布式计算：一种对位置敏感的方法。SIAM离散数学与应用专著。费城工业和应用数学学会（2000年）·Zbl 0959.68042号 [50] Petersen，J.：监管图理论。数学学报。15(1), 193-220 (1891). doi:10.1007/BF202392606·doi:10.1007/BF02392606 [51] Polishchuk，V.，Suomela，J.：顶点覆盖的一种简单的局部3-逼近算法。通知。过程。莱特。109(12), 642-645 (2009). doi:10.1016/j.ipl.2009.02.017。arXiv公司：0810.2175·Zbl 1214.68468号 [52] de Rijke，M.：关于分级模态逻辑的注释。螺柱日志。64(2), 271-283 (2000). doi:10.1023/A:1005245900406·Zbl 0951.03018号 ·doi:10.1023/A:1005245900406 [53] Sangiorgi，D.：关于互模拟和共归纳的起源。ACM事务处理。程序。语言系统。31（4），第15条（2009年）。doi:10.1145/1516507.1516510·Zbl 1285.68112号 [54] Suomela，J.：边缘支配集的分布式算法。摘自：第29届ACM分布式计算原理研讨会论文集（PODC 2010），第365-374页。ACM出版社（2010）。数字对象标识代码：10.1145/1835698.1835783·Zbl 1315.68276号 [55] Suomela，J.：局部算法综述。ACM计算。Surv公司。45(2), 24:1-40 (2013). doi:10.1145/2431211.2431223。http://www.cs.helsinki.fi/local-survey/ ·Zbl 1293.68306号 [56] Wiese，A.，Kranakis，E.：位置对位置感知单元磁盘图的影响。算法1，2-29（2008）。doi:10.3390/a1010002·Zbl 1445.90053号 ·doi:10.3390/a1010002 [57] Wolfram，S.：细胞自动机的统计力学。修订版Mod。物理学。55(3), 601-644 (1983). doi:10.1103/RevModPhys.55.601·Zbl 1174.82319号 [58] Yamashita，M.，Kameda，T.：当处理器标识号不明确时选举领导者（扩展摘要）。摘自：《第三届分布式算法国际研讨会论文集》（WDAG 1989），《计算机科学讲义》，第392卷，第303-314页。施普林格（1989）。doi:10.1007/3-540-51687-552 [59] Yamashita，M.，Kameda，T.：异步匿名网络上的计算功能。数学。系统。理论29（4），331-356（1996）。doi:10.1007/BF01192691·兹比尔0848.68007 ·doi:10.1007/BF01192691 [60] Yamashita，M.，Kameda，T.：匿名网络上的计算：第一部分描述可解情况。IEEE传输。平行配送系统。7(1), 69-89 (1996). 数字对象标识代码：10.1109/71.481599·数字对象标识代码：10.1109/71.481599 [61] Yamashita，M.，Kameda，T.：匿名网络上的计算：第二部分-决策和成员问题。IEEE传输。平行配送系统。7(1), 90-96 (1996). doi:10.1109/71.481600·doi:10.1109/71.481600 [62] Yamashita，M.，Kameda，T.：处理器标识号不明确的网络上的领导人选举问题。IEEE传输。平行配送系统。10(9), 878-887 (1999). doi:10.1109/71.798313·doi:10.1109/71.798313 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。