Brief Announcement: Decidable Graph Languages by Mediated Population Protocols

被引：0
|
作者：
Chatzigiannakis, Ioannis [1 ]
Michail, Othon [1 ]
Spirakis, Paul G. [1 ]
机构：
[1] Univ Patras, RACTI, CEID, Patras 26500, Greece
来源：
DISTRIBUTED COMPUTING, PROCEEDINGS | 2009年 / 5805卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We, work on an extension of the Population Protocol model of Angluin et al. [1] that allows edges of Hie communication graph, G, to have states that belong to a constant size set. In this extension, the so called Mediated Population Protocol model (NIPP) [2,3], both uniformity and anonymity are preserved. We here study a simplified version of MPP, the Graph Decision Mediated Population Protocol model (GDM), in order to capture MPP's ability to decide graph languages. We also prove some first impossibility results both for weakly connected and possibly disconnected communication graphs.
引用
收藏
页码：239 / +
页数：2
相关论文
共 41 条
  • [11] Mediated population protocols
    Michail, Othon
    Chatzigiannakis, Ioannis
    Spirakis, Paul G.
    THEORETICAL COMPUTER SCIENCE, 2011, 412 (22) : 2434 - 2450
  • [12] Mediated Population Protocols
    Chatzigiannakis, Ioannis
    Michail, Othon
    Spirakis, Paul G.
    AUTOMATA, LANGUAGES AND PROGRAMMING, PT II, PROCEEDINGS, 2009, 5556 : 363 - +
  • [13] Brief Announcement: Incentive-Compatible Distributed Greedy Protocols
    Nisan, Noam
    Schapira, Michael
    Valiant, Gregory
    Zohar, Aviv
    PODC 11: PROCEEDINGS OF THE 2011 ACM SYMPOSIUM PRINCIPLES OF DISTRIBUTED COMPUTING, 2011, : 335 - 336
  • [14] Complete Graph Identification in Population Protocols
    Kanaya, Haruki
    Sudo, Yuichi
    STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, SSS 2024, 2025, 14931 : 126 - 140
  • [15] Brief Announcement: Serial-Parallel Reciprocity in Dynamic Multithreaded Languages
    Agrawal, Kunal
    Lee, I-Ting Angelina
    Sukha, Jim
    SPAA '10: PROCEEDINGS OF THE TWENTY-SECOND ANNUAL SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES, 2010, : 186 - 188
  • [16] Brief Announcement: PASGAL: Parallel And Scalable Graph Algorithm Library
    Dong, Xiaojun
    Gu, Yan
    Sun, Yihan
    Wang, Letong
    PROCEEDINGS OF THE 36TH ACM SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES, SPAA 2024, 2024, : 439 - 441
  • [17] Brief Announcement: Deterministic Graph Connectivity in the Broadcast Congested Clique
    Montealegre, Pedro
    Todinca, Ioan
    PROCEEDINGS OF THE 2016 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'16), 2016, : 245 - 247
  • [18] Brief Announcement: Self-Assembly as Graph Grammar as Distributed System
    Sterling, Aaron
    PODC'09: PROCEEDINGS OF THE 2009 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2009, : 322 - 323
  • [19] Brief Announcement: On the Power of One Bit in Graph Exploration Without Backtracking
    Menc, Artur
    Pajak, Dominik
    Uznanski, Przemyslaw
    DISTRIBUTED COMPUTING (DISC 2015), 2015, 9363 : 651 - 652
  • [20] Brief Announcement: Accelerate CNN Inference with Zoning Graph at Dynamic Granularity
    Ma, Ruilong
    Yang, Xiang
    Qi, Qi
    Wang, Jingyu
    Zhuang, Zirui
    Wang, Jing
    Wang, Xin
    PROCEEDINGS OF THE 35TH ACM SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES, SPAA 2023, 2023, : 295 - 298
12345