Balzerによる最適時間一斉射撃アルゴリズムの正当性について

• Item type: SIG Technical Reports(1)
• 公開日: 2007-12-20
• タイトル: Balzerによる最適時間一斉射撃アルゴリズムの正当性について
• タイトル / 言語: en
• タイトル: A note on Balzer's transition rule set for time-optimal firing squad synchronization algorithm
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 大阪電気通信大学大学院 工学研究科 情報工学専攻
• 著者所属: 大阪電気通信大学大学院 工学研究科 情報工学専攻
• 著者所属(英): en
• 著者所属(英): Osaka Electro-Communication Univ., Graduate School of Engineering
• 著者所属(英): en
• 著者所属(英): Osaka Electro-Communication Univ., Graduate School of Engineering
• 著者名: 上川, 直紀; 梅尾, 博司
• 著者名(英): Naoki, Kamikawa; Hiroshi, Umeo
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: セルラ・オートマトンは，John von Neumann によって考案された．自己複製機械の研究で考案されたセルラ・オートマトンであるが，現在では複雑系などの多くの分野で研究がなされている．本稿で扱う一斉射撃問題は Myhill により考案された問題である．隣接セルのみと通信可能であるセルラ・オートマトン上で，セル空間上のセルを同時に同じ内部状態に遷移させる一斉射撃問題は，多くの研究者の興味を引き，多くの研究がなされている．1次元アレイ接続のセルラ・オートマトンを最適時間で射撃に導くアルゴリズムとして，Balzer のアルゴリズムがある．Balzer のアルゴリズムはコンピュータで正当性は確認されているが，数学的な証明はなされていない．本稿では，Balzer の最適時間一斉射撃アルゴリズムについて考察し，このアルゴリズムの正当性について述べる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: A model of cellular automata (CA) was devised originally for studying self-reproduction by John von Neumann. It is now studied in many fields such as complex systems. Firing squad synchronization problem (FSSP) which this paper deals with was designed by Myhill. All cells are changed to a state called firing at the same time in FSSP. The cell communicate only with the neighborhood cell. There are some time-optimal FSSP algorithms for 1-dimensional arrays.Balzerpropose an 8-state algorithm of FSSP. In this paper, we study Balzer's transition rule set for time-optimal firing squad synchronization algorithm.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA12055912
• 書誌情報: 情報処理学会研究報告バイオ情報学（BIO）; 巻 2007, 号 128(2007-BIO-011), p. 1-4, 発行日 2007-12-20
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会