文献

J-GLOBAL ID：202202239613547182   整理番号：22A1053051

再構成可能ブロードキャストネットワークのパラメータ化解析【JST・京大機械翻訳】

Parameterized Analysis of Reconfigurable Broadcast Networks

著者 (3件)： Balasubramanian A. R. (Technical University of Munich, Munich, Germany) ,  Guillou Lucie (ENS Rennes, Rennes, France) ,  Weil-Kennedy Chana (Technical University of Munich, Munich, Germany)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 13242  ページ： 61-80  発行年： 2022年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 再構成可能ブロードキャストネットワーク(RBN)は,エージェントが実行のコースにわたって任意に変化できるいくつかの根底にある通信トポロジーを用いてメッセージを他のエージェントに放送できる分散計算のモデルである。本論文では,RBNのパラメータ化解析を行った。各状態におけるエージェントの数に対する下限と上限の形式における立方体,(無限)集合を考察し,著者らは,PSPACEにおける立方体と立方体の可到達性集合に対するボアラン組合せを評価できることを示した。特に,立方体から他の立方体への到達性はPSPACE完全問題である。このパラメータ化解析のための上限を証明するために,著者らは,可到達性集合に関するいくつかの構造特性と,RBNの記号グラフ抽象化を証明して,それは独立した興味であるかもしれない。これらの結果の2つの応用を提供することによって,この主張を正当化する。第1に,著者らは,ほとんど確実な被覆可能性問題は,RBNのためにPSPACE完全であり,それによって,以前の論文[3]から複雑性ギャップを閉じることを示した。第2に,RBNプロトコルと呼ばれるラポピュレーションプロトコルであるRBNを用いた計算モデルを定義した。そのようなプロトコルによって計算できる述語の集合を正確に特徴付ける。Copyright The Author(s) 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 位相幾何学 ,  被覆 ,  通信 ,  モデル ,  プロトコル ,  下限 ,  構造特性 ,  計算モデル ,  パラメタリゼーション ,  *エージェント
準シソーラス用語： 述語 ,  再構成可能性 ,  複雑性 ,  六面体 ,  分散計算 , 【Automatic Indexing@JST】

著者キーワード (4件)： 放送ネットワーク ,  パラメータ化可到達性 ,  ほぼ確実な被覆可能性 ,  非同期共有メモリシステム

分類 (3件)： 計算機網  (JC03000K) ,  無線通信一般  (ND08010L) ,  符号理論  (ND02030R)

タイトルに関連する用語 (4件)： 再構成可能 ,  ブロードキャスト ,  パラメータ化 ,  解析