克里斯汀·吕托夫；弗朗索瓦·马戈特 最小非理想矩阵的目录。 （英语） Zbl 0928.15011号 数学。方法操作。物件。 47，第2期，221-241（1998）. 本文描述了非退化射影平面的非同构最小非理想矩阵计数的回溯算法。将该算法应用于（n \leq 12），得到20个这样的矩阵，在已知的基础上加上5个矩阵。对于更大的维数，（n=14）和（n=17），给出了13个新矩阵。对于非方矩阵，描述了38个新的最小非理想矩阵。审核人：G.Bonanno（戴维斯） 引用于2评论引用于14文件 MSC公司： 15B36型 整数矩阵 关键词：非理想矩阵；回溯算法；枚举 软件：cdd（光盘） PDF格式BibTeX公司 XML格式引用 \textit｛C.Lütolf｝和\textit｛F.Margot｝，数学。方法操作。第47号决议，第2号，221--241（1998年；Zbl 0928.15011） 全文： 内政部 参考文献： [1] Cornuejols G，Novick B（1994）理想0，1矩阵。J.库姆。理论Ser。乙60:145-157·Zbl 0794.05077号 ·doi:10.1006/jctb.1994.1009 [2] 丁庚（1993）杂乱无章？2=2{\（\ cdot\）}？。离散。数学。115分141秒至152秒·Zbl 0771.05003号 [3] 福田K？cdd.c？：枚举顶点和极端射线的C代码。可通过匿名ftp从iforl3.ethz.ch目录pub/fukuda/cdd获得。 [4] Fukuda K（1995）私人通信。 [5] Fukuda K，Matsui T（1994）在二部图中寻找所有完美匹配。申请。数学。莱特。7:15-18 ·Zbl 0792.68129号 ·doi:10.1016/0893-9659（94）90045-0 [6] Garey MR、Johnson DS（1979）《计算机与难处理性》，NP-完备性理论指南。弗里曼·Zbl 0411.68039号 [7] Johnson DS（1982）《NP完整性专栏》，持续指南。J.算法3:288-300·Zbl 0494.68050号 ·doi:10.1016/0196-6774（82）90026-8 [8] 雷曼（Lehman A）（1979）《论宽长不平等》。Mimeographic notes（1965），数学。程序。17: 403-417 ·Zbl 0418.90040号 ·doi:10.1007/BF01588263 [9] Lehman A（1990）关于宽长不等式和退化投影平面。收录：Cook W，Seymour PD（编辑）《多面体组合学》。离散数学和计算机科学DIMACS系列，第1卷，美国。数学。Soc.，第101-105页·Zbl 0747.05063号 [10] Luks EM（1980）有界价同构可以在多项式时间内进行测试。程序。福克斯21:42-49 [11] McKay BD（1996）无同构穷举生成。堪培拉澳大利亚国立大学研究报告 [12] Nemhauser G，Wolsey L（1988）整数与组合优化。威利·兹比尔0652.90067 [13] Novick B（1990）理想0,1矩阵。宾夕法尼亚州匹兹堡卡内基梅隆大学博士论文 [14] Padberg MW（1993）Lehman对理想0-1矩阵的禁止次要表征。离散。数学。111:409-420 ·Zbl 0798.05010号 ·doi:10.1016/0012-365X（93）90178-V [15] Qi L（1989）《关于覆盖多面体和MFMC-clutter的集合》。南威尔士大学数学学院 [16] 阅读RC（1981）《图形生成技术综述》。收录于：组合数学VIII，数学课堂讲稿884，施普林格，第77-89页 [17] Seymour PD（1977）具有最大流量最小切割特性的拟阵。J.库姆。理论Ser。乙23:189-222·Zbl 0375.05022号 ·doi:10.1016/0095-8956（77）90031-4 [18] Seymour PD（1990）《雷曼兄弟的宽长特征》。收录：Cook W，Seymour PD（编辑）《多面体组合学》。离散数学和计算机科学DIMACS系列，第1卷，美国。数学。Soc.，第107-117页·Zbl 0747.05066号 [19] Valiant LG（1979）枚举和可靠性问题的复杂性。SIAM J.计算。8点410分-421分·Zbl 0419.68082号 ·数字对象标识代码：10.1137/0208032 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。