Euclideaness and final polynomials in oriented matroid theory
Euclideaness and final polynomials in oriented matroid theory
复制标题
定向拟阵理论中的欧几里得性和最终多项式
DOI：
10.1007/bf01202352
复制
发表时间：
1993
期刊：
影响因子：
1.1
通讯作者：
Jürgen Richter
中科院分区：
文献类型：
--
作者：
Jürgen Richter
本文讨论了一类定向拟阵代数不可实现性证明的几何构造。作为主要结果，我们得到了一个算法，它产生一个（双二次）最终多项式[3]，[5]的任何非欧定向拟阵。本文应用Edmonds，Fukuda和Mandel [6]，[7]关于非欧定向拟阵中线性规划的非退化循环的结果。
This paper deals with a geometric construction of algebraic non-realizability proofs for certain oriented matroids. As main result we obtain an algorithm which generates a (bi-quadratic) final polynomial [3], [5] for any non-euclidean oriented matroid. Here we apply the results of Edmonds, Fukuda and Mandel [6], [7] concerning non-degenerate cycling of linear programs in non-euclidean oriented matroids.