确定性和强确定性图的表示

摘要

本文通过在D-图和SD-图的顶点标签字母表中定义一对单词来表示它们。我们提出了一种算法，在给定任意集对的情况下，要么构造一个以该集对为定义对的D-图，要么告知不可能这样做。我们还提出了一个构造D-图的规范定义对的算法，并找到了该集对的一些数值估计。