Theorem specifying how all minimal cut (path) vectors to level j can be obtained from all minimal path (cut) vectors to level j in any multistate monotone system is proven. Characterizations of binary type multistate monotone systems and binary type multistate strongly coherent systems by minimal cut and path vectors and corresponding to them, binary type cut and path sets are also demonstrated.

中文翻译：

---

分析多状态单调系统中的最小路径和割向量，并将其用于检测二进制类型的多状态单调系统

证明了定理，该定理说明了如何在任何多状态单调系统中从所有达到j级的最小路径（cut）向量中获得到j级的所有最小割（路径）矢量。还演示了通过最小割和路径矢量以及与之相对应的二进制类型割和路径集来表征二进制类型多态单调系统和二进制类型多态强相干系统。