2010 Fiscal Year Annual Research Report
保存的なセル・オートマトンのプログラミングに関する研究
| Project/Area Number |
22500015
|
|---|
| Research Institution | Hiroshima University |
|---|
Principal Investigator |
今井 勝喜 広島大学, 大学院・工学研究院, 助教 (20253106)
|
|---|
| Keywords | セルオートマトン / 保存性 / 可逆性 |
|---|
| Research Abstract |
本年度は1次元かつ3近傍以下の場合について、保存的セルオートマトンの数の移動を特徴づけるフロー関数の性質を調べ、主に次の二つの結果を得た。一つ目は、2近傍の保存的セルオートマトンで、非保存な場合も含めた任意のセルオートマトンの効率的なシミュレーションが実行できることを示し、結果として、本質的万能性を有することを示した。今まで、1次元で3近傍以下の近傍サイズの保存的セルオートマトンが万能性を持つかどうかは知られていなかった。雑誌論文1に掲載している。二つ目は、保存性に加えて可逆的な性質を持つ1次元セルオートマトンについて、次の結果を得た。1次元3近傍で4状態以上の保存的セルオートマトンが可逆性も有する場合、今までの予想に反して、新たな性質を持つ規則群が存在することが計算機シミュレーションによる全探索によりわかった。指導学生との学会発表で報告した。この規則を現在までに知られている規則と組み合わせることにより、1次元3近傍の場合に4状態より大きな状態数の可逆かつ保存的セルオートマトンの規則を構成できることがわかった。現在、5状態より大きな状態数の場合の自明でない可逆かつ保存的なセルオートマトン規則を組織的に設計する手法を構成中である。一般に、4状態より大きな可逆セルオートマトン上に何らかの計算手法を埋め込んだ規則を組織的に構成する方法は分割セルオートマトンとよばれる自明な手法以外にはないが、この手法は可逆かつ保存的セルオートマトンの場合に限られるものの、新しい手法として有望である。
|
