计算机模拟和图上的离散动力系统.pdf

分类号 学校代码：佃055 密级 学 号：帕2248 滋l筒大学 Nankai 论文题目： jj 计算机模拟舅图壹的 摘要 摘要 奉论文的主要研究对象是几类无向图上或有向图上的离散动力系统。首先 我们介绍无向图上的贯序动力系统(SDS)的概念，它由以下几个要素构成： (1)一个有限的，用l，2，…，n顶点标号的无向图G，每个顶点都有一个状 态，设这些状态属丁某个数域D； (2)对廊图中的每一个顶点o，l≤iSn，都 有一个函数E．G：D”一舻；(3)n阶置换群晶中的一个排列7r。函数只．G根 据第z个顶点自身的状态和它邻点的状态来决定i点被更新后的状态，而并不 改变其它顶点的状态。排列”表示图中各点被更新的前后顺序。把函数E．G按 照”的顺序复合起来，就得到了一个图G上的贯序动力系统(SDS)： H矿。 F，G，7r】=B，，G最。．G…异。，G：Dn 对『，其它几类离散动力系统：无向图上的并序动力系统(PDS)，有向图 上的贯序动力系统(SDS)，有向图上的线性贯序动力系统(LSDS)，无向图 上的随机并序动力系统(RPDS)和无向图上的字贯序动力系统(SDSw)， 其定义可以类似地给m。 论文总共由五审构成。 第一章为介绍部分，陈述了课题的背景并给出了一些定义、符号及已知的 结果。 第二章研究了四种无向图上的离散动力系统：DBPDSf0R，G1，D戽SDS [0R，G，Ⅱ】，Ⅳo尼PDsIⅣ0R，G1和Ⅳ0BSDS|Ⅳ0R，G，Ⅱ1。对每一个研究对 象，部用一个等价的引理去表示它在状态向量上的作用。这种等价性在于每个 状态向量都和一个图的琐点了集一一对应。事实表明，这种方法在研究动力系 统的性质方面是实用的和有效的。这章的主要目的是用图的结构性质来刻画动 力系统本身所具有的属件。这市的主要结果有： 1．动力系统PDs【DR，G】的宽度等于图G的直径。 2．动力系统PDs fⅣ0R，G]的宽度等于l。 3，动力系统PDs【ⅣOR，G】的每一个轨道(即有限圈)都是2长的。 III 摘要 4．在动力系统PDs【Ⅳ0R，GI的像图中，状态(O，0，·、O)具有极大的入度 且此入度值等J图G的拧制集个数。 5．对r仔意的排列，r∈R，动力系统sDs[0R，G，7r】的宽度不超过图G的直 径；而且，存在一个排列口∈s：使得sDs【OJR，G，盯】的宽度等于图G的 直径。 a 6．动力系统sDs【Ⅳ0R，G，7r1的宽度等于1 7，动力系统sDs[ⅣOJR，G，7r】的周期点和图G的独立集之间是一一对应的。 第三章主要研究有向图上的线性贯序动力系统(LSDs)．我们首先介绍 了一种矩阵方法，它可以处理一般的线十牛贯序动力系统，这里的“一般”是指 琐点状态属F一般的代数，局部函数足任意的线性函数。接着，我们研究布尔 代数上的、以D兄为局部函数的线性贯序动力系统的性质。这类动力系统被称 为有向图D上的O兄一sDS，记作fDR，D，，r1。钿尔知阵理论在讨论中起到了非常 关键的作用。最后对另一种有向图上的线件贯序动力系统，PAR-SDS，也做 了一些讨论。这章的主要结果有： 8．卜．面四个结论互相等价：(a)D中不包含有向圈。(b)存在整数m≥ l使得[OR，D，”】”(x)=(0，0，…，O)对任意x∈赡都成立。(c)像 D，7r】-{(o，0，…，O)’。 9．F面血个结论互相等价：(a)动力系统f