判定拟阵是否为γoid的良缩放过程
组合数学
2018-07-03 v1 数据结构与算法
摘要
我们引入一个过程来解决给定拟阵M是否为γoid的判定问题。该过程由三部分组成：首先，我们引入有效拟阵表的概念，它刻画了关于所考虑拟阵相关拟阵性质的当前知识状态。其次，我们给出可用于生成有效拟阵表的一组充分规则。第三，我们引入一系列步骤，从任意有效表出发最终得到决定性表。我们论证该判定问题在并行计算模型下良缩放。
引用
@article{arxiv.1807.00594,
title = {Well-Scaling Procedure for Deciding Gammoid Class-Membership of Matroids},
author = {Immanuel Albrecht},
journal= {arXiv preprint arXiv:1807.00594},
year = {2018}
}