文献

J-GLOBAL ID：201702234778810500   整理番号：17A1548384

有向グラフにおける同期Boole有限動的システムの計算の複雑さの研究【Powered by NICT】

Computational complexity studies of synchronous Boolean finite dynamical systems on directed graphs

著者 (2件)： Ogihara Mitsunori (Department of Computer Science, University of Miami, 1365 Memorial Drive, Coral Gables, FL 33146-4245, USA) ,  Uchizawa Kei (Graduate School of Science and Engineering, Yamagata University, Jonan 4-3-16, Yonezawa, Yamagata, 992-8510, Japan)
資料名： Information and Computation  (Information and Computation)
巻： 256  ページ： 226-236  発行年： 2017年 
JST資料番号： D0449A  ISSN： 0890-5401  CODEN： INFCEC  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 有限力学系は,状態としていくつかの領域からの値に,の初期化後のオブジェクトの状態が他のオブジェクトの状態とある種の更新スケジュールに従って自身に基づいて更新される物体のいくつかの有限数のからなるシステムである。同期Boole有限力学系(同期BFDS)有限動的システムのサブクラスを研究し,状態はBooleと状態更新は離散時間とすべてのオブジェクトに対して同じで行われる。状態更新関数(または局所状態遷移関数)をブール関数Bの有限基底から選択される同期BFDSの,収束経路交差および周期長,三つの問題を検討した。論文の結果は,その計算複雑性を特性化した。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： *計算量 ,  基底 ,  力学系 ,  キャラクタリゼーション ,  *有向グラフ ,  *動的系 ,  Boole関数
準シソーラス用語： 状態遷移 , 【Automatic Indexing@JST】

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (4件)： 有向グラフ ,  動的システム ,  計算の複雑さ ,  研究