反拟阵两种算法刻画间的对应

已知的拟阵与反拟阵的算法刻画之间的基本区别在于：对反拟阵而言元素的次序至关重要。虽然反拟阵也可刻画为集合系统，但是否存在用集合与集合函数对反拟阵作算法描述这一问题曾在一段时间内悬而未决。本文选择性地考察了关于反拟阵算法刻画的经典材料，即有序版本，以及一个新的无序版本。此外我们正式强调了这两个版本之间的对应。