拟阵(M-Z1)/Z2在Z+中的(F-Z1)-可流性

摘要

研究幼阵M′在Z+中的F′-可流性.首先给出M是一个在Z+中的F-可流拟阵的定义,由定义证明了,若对任意的非负整数函数p′,使得当对任意D′∈C((M′)*)都有p′(D′∩F′)≤p′(D′-F′)被满足时,总可以找到满足{∑e∈C′,C′∈C′(F′)Φ′(C′)≥p′(e),若e∈F-Z1,∑e∈C′,C′∈C(F′)Φ′(C′)≤p′(e),若e∈E-(F-Z1). 的非负整数值函数Φ′(C′);E→Z+,从而M′是在Z+的F′-可流拟阵.