×

异步图动力学系统的极限集可达性。 (英语) Zbl 1260.68248号

Bournez,Olivier(编辑)等人,《可达性问题》。2009年9月23日至25日,法国帕莱索,RP 2009第三届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04419-9/pbk)。计算机科学课堂讲稿5797217-232(2009)。
摘要:利用序列动态系统(SDS)这一异步图动态系统的框架,我们展示了可达性和稳定性的概念是如何负相关的。具体地说,我们证明了某些阈值SDS表现出更新序列的不稳定性:在某些图类上,存在初始配置,在不同的更新序列下,从初始配置可以达到指数级的多个不动点,即(ω)极限集具有大小(θ(2^{|V|})。我们首先对树宽有界图建立了这个模型,然后对Erdős-Rényi的(G(n,p))模型中的随机图建立了一个大范围的(p)。我们还表明,在稠密图中不存在这种更新序列不稳定性,这表明稀疏性和树状结构对系统的稳定性起着重要作用。这些动态系统出现在功能基因注释等应用中,其中阈值SDS用于通过基于初始状态(预测)和更新序列的非遗传选择的定点计算预测基因功能。本文的结果应被视为在构建和应用此类算法时的警告性建议。本文也为研究更新序列随机SDS提供了一个起点。
关于整个系列,请参见[Zbl 1175.68005号].

MSC公司:

68克80 细胞自动机(计算方面)
05C85号 图形算法(图形理论方面)
05C90年 图论的应用
37B15号机组 细胞自动机的动力学方面
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 纽曼:复杂网络的结构和功能。SIAM评论4(2003)·Zbl 1029.68010号 ·doi:10.1137/S003614450342480
[2] Ilachinski,A.:元胞自动机:一个离散的宇宙。世界科学出版公司,剑桥(2001)·兹比尔1031.68081 ·doi:10.1142/4702
[3] Barrett,C.L.,Hunt III,H.B.,Marathe,M.V.,Ravi,S.S.,Rosenkrantz,D.J.,Stearns,R.E.:具有阈值函数的序列动力系统的可达性问题。西奥。计算。科学。 295, 41–64 (2003) ·Zbl 1045.68062号 ·doi:10.1016/S0304-3975(02)00395-X
[4] Barrett,C.L.,Mortveit,H.S.,Reidys,C.M.:模拟理论的要素III,sds的等价性。应用数学与计算122、325–340(2001)·Zbl 1050.68161号 ·doi:10.1016/S0096-3003(00)00042-4
[5] Mortveit,H.S.:顺序动力系统。挪威科技大学博士论文(2000年)·Zbl 1004.05056号
[6] Mortveit,H.S.,Reidys,C.M.:序贯动力系统导论。Universitext公司。斯普林格,海德堡(2007)·Zbl 1135.37009号
[7] Kornis,G.、Novotny,M.A.、Guclu,H.、Toroczkai,Z.、Rikvold,P.A.:在并行离散事件模拟中抑制虚拟时间的粗糙度。《科学》299、677–679(2003)·doi:10.1126/science.1079382
[8] 贝萨格,J.:关于脏照片的统计分析。《皇家统计学会杂志》B辑48,259-302(1986)·Zbl 0609.62150号
[9] Karaoz,U.、Murali,T.、Letovsky,S.、Zheng,Y.、Ding,C.、Cantor,C.R.、Kasif,S.:使用功能连锁网络中的证据整合进行全基因组注释。摘自:《美国国家科学院院刊》,第101卷,第2888–2893页(2004年)·doi:10.1073/pnas.0307326101
[10] Gillespie,D.T.:耦合化学反应的精确随机模拟。《物理化学杂志》81,2340–2361(1977)·doi:10.1021/j100540a008
[11] Alon,N.,Spencer,J.:概率方法。奇切斯特·威利(2000)·doi:10.1002/0471722154
[12] Yamaguchi,A.、Aoki,K.、Mamitsuka,H.:生物途径中化合物的图形复杂性。基因组信息学14,376–377(2003)
[13] Atkins,K.,Chen,J.,Kumar,V.S.A.,Marathe,A.:电网的结构特性。《国际关键基础设施杂志》(2007)
[14] H.L.Bodlaender:一名穿越树干的导游。《控制论学报》11,1–22(1993)·Zbl 0804.68101号
[15] Barrett,C.L.,Hunt III,H.B.,Marathe,M.V.,Ravi,S.S.,Rosenkrantz,D.J.,Stearns,R.E.:关于序列动力系统的一些特殊类别。组合数学年鉴7381–408(2003)·Zbl 1060.68136号 ·doi:10.1007/s00026-003-0193-z
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。