补充材料定理证明定理3证明如下本文先证明同步更新的情况给定.docVIP

补充材料：定理证明 定理3证明如下： 本文先证明同步更新的情况。给定无向含权网络，由含权的函数的定义出发，任给节点和整数,都有且成立。 当时，成立；假设当时，成立，则当时，由含权的函数的定义有 而根据含权函数又有 即， (a) 由此可知，序列单调不增，且都不小于0，因此该序列必存在一个不小于0的极限。不妨记为其极限。 接下来引入两个关系式。首先设,由函数定义，显然有：对于任意节点和整数，都有 QUOTE \* MERGEFORMAT ，其中下标强调是定义在图上的。又记为图中节点的最小强度，则对于任意节点和任意整数，总存在 (b) (b) 式证明如下： 任给节点，当时，成立；设当时，成立；则当时，由含权函数的定义有 由于以上假设对于任意节点也成立，即,，也就是说函数中的所有值都不小于，且函数中的元素个数 所以由定义可知，(b)式得证。 中节点的含权核数记为。设为图的含权-核,显然。且在中，(为中的最小强度)，结合上面公式(b)及含权函数定义知： (c) 另记为所有在中满足 QUOTE \* MERGEFORMAT 条件的节点组成的子图，注意到节点自身也满足该条件。对于中任意节点，有 因此，对于任意节点,既然在上满足即是说节点最少有个邻居，且这些邻居的值都不小于，这也就是说这些节点的邻居节点也都满足的定义，由此可知，中所有节点的值都不小于，换句话说，是的一个含权-核。由于为节点的含权-壳值，所以 (d) 综合式(c)(d)，根据夹逼定理得序列的极限为。 QUOTE \* MERGEFORMAT 同步更新情况下，定理证毕。 接下来，继续证明异步更新的情况。 为了方便证明，引进系统时间步指标。初始的时候，给定无向含权网络对任意节点，定义。以后每一个时间步，任意选择一个节点用算子进行操作。如在时刻选择了节点，则有。省略时间上标的项指最近更新的项(具有最大的时间指标的项，显然，括号中每一个被省略的上标都严格小于)，在实际计算中，只需要保留最近的更新。注意，对于任意给定的二元组，不一定存在，除非节点在时间步正好更新了一次。 对于任意节点，如果该节点在和两个时刻进行了更新，且，则有。显然，在时刻，不论是何节点被选中更新，都有。利用数学归纳法，假设在的情况下上述关系成立，下面证明在的时候成立。记时刻被选中更新的节点为，而其任意一次更早更新的时间步为。两次更新不妨记为：和。显然，对于任意，都有。由归纳假设可知，再由函数定义可知。对于任意节点，记其更新的时间步依次为，则序列是一个单调不增函数，且都不小于0，因此有不小于0的极限，至此，可定义为序列的极限值。 首先证明对任意，有。用反证法，若上式不成立，则记为所有满足的节点中最早更新到小于值的节点，对应的更新时刻为，亦即，且在此时刻前，对于所有的节点，都有(注意，时间上标忽略了，代表在时间步前最后一次更新后的值)，故 由定理3同步更新证明过程可知，，即，也就是 (e) 与假设矛盾，得证。 与定理3同步更新证明过程类似，收敛后，对于任意节点，所有满足的节点(包括本身)构成了一个-核。由于为节点的含权核数，由含权核数定义知： (f) 这是因为含权核数定义为所有核数大于等于的节点构成-核，换句话说-核中节点的核数必须都不小于。 综合公式(e)(f)，根据夹逼定理得序列的极限为。 异步更新情况下，定理证毕。