×
彼得·迪金森。;雷尼尔·德泽尤

利用稳定集问题生成不可约共正矩阵。 （英语） Zbl 1462.05218号

离散应用程序。数学。 296, 103-117 (2021).
摘要：本文研究了如何利用图生成共正矩阵，并给出了这些生成的矩阵对于半正定加非负矩阵集是不可约的充要条件。这是通过将稳定集问题的众所周知的共正公式与最近关于共正矩阵不可约的充分必要条件的结果相结合来实现的。通过应用这个结果，发现了数万个新的阶数小于或等于13的不可约共正矩阵。然后测试这些矩阵是否为极端共正矩阵，发现除三种情况外，其他所有情况都是如此。本文还证明，这些矩阵为测试共正锥近似提供了困难的实例。

引用于2文件

MSC公司：

05元50分 图和线性代数（矩阵、特征值等）
05C69号 具有特殊属性的顶点子集（支配集、独立集、团等）
15个B48 正矩阵及其推广；矩阵的锥

关键词：

\（阿尔法）-关键;共正矩阵;极端共正矩阵;稳定数

软件：

SDPT3系统;SageMath公司;YALMIP公司;Matlab公司;鹦鹉螺;GeoGebra公司;数学软件;踪迹;倍频程
PDF格式BibTeX公司 XML格式引用
\textit{P.J.C.Dickinson}和\textit{R.de Zeeuw}，离散应用。数学。296103--117（2021年；Zbl 1462.05218）
全文： 内政部 链接

参考文献：

[1] 安德烈·阿福宁（Andrey Afonin）；罗兰德·希尔德布兰德；Dickinson，Peter J.C.，《（6乘6）共正锥的极端射线》（2019），预印本
[2] 鲍默特，伦纳德D。，极端共正二次型，太平洋数学杂志。，19, 197-204 (1966) ·Zbl 0145.25501号
[3] 鲍默特，伦纳德D。，极端共正二次型，II，太平洋数学杂志。，1967年1月20日至20日·Zbl 0189.32904号
[4] Bomze，Immanuel M.，关于标准二次优化问题，J.Global Optim。，13, 4, 369-387 (1998) ·Zbl 0916.90214号
[5] 伊曼纽尔·博姆策。；马可·布迪尼奇；帕诺斯·帕达洛斯（Panos M.Pardalos）。；Pellillo，Marcello，最大团问题，（Du，Ding-Zhu；Pardalos，Panos M.，《组合优化手册：补充卷a（1999）》，Springer US），1-74·Zbl 1253.90188号
[6] 伊曼纽尔·博姆策。；杜尔，米尔贾姆；艾蒂安·德克勒克；Roos、Cornelis；阿里·基斯特（Arie J.Quist）。；Terlaky，Tamás，《关于共正规划和标准二次优化问题》，J.Global Optim。，18, 301-320 (2000) ·Zbl 0970.90057号
[7] 伊曼纽尔·博姆策。；沃纳·沙钦格（Werner Schachinger）；Uchida，Gabriele，认为共同（完全）积极！矩阵属性、示例和关于共正优化的集群书目，J.Global Optim。，52, 3, 423-445 (2012) ·Zbl 1268.90051号
[8] 邦迪，约翰·阿德里安；Murty，U.S.R.，图论及其应用（1976），麦克米伦出版社·Zbl 1226.05083号
[9] 詹姆斯·J·布尔（James J.Bull）。；Pease，Craig M.，《组合数学与交配型系统的多样性》，《进化》，43，3，667-671（1988）
[10] 马诺埃尔坎佩洛；科里亚，里卡多·C·。；Phabro F.S.莫拉。；马西奥·桑托斯（Marcio C.Santos），《关于网和反网的最佳k倍着色》（On optimal k fold colorings of webs and anti-webs），离散应用。数学。，161, 1, 60-70 (2013) ·Zbl 1296.05068号
[11] Eddie Cheng；de Vries，Sven，稳定集多面体上的Antiweb-wheel不等式及其分离问题，数学。程序。，92, 1, 153-175 (2002) ·兹比尔1154.90604
[12] Diananda，Palahenedi H.，关于实变量中的非负形式，其中一些或全部是非负的，数学。程序。外倾角。菲尔学会，58，17-25（1962）·Zbl 0108.04803号
[13] Dickinson，Peter J.C.，共正锥和完全正锥的几何，J.Math。分析。申请。，380, 377-395 (2011) ·Zbl 1229.90195号
[14] Dickinson，Peter J.C.，《共正锥、完全正锥及其推广》（2013），格罗宁根大学（博士论文）
[15] 彼得·迪金森（Peter J.C.Dickinson）。；迪尔，米尔贾姆；卢克·吉本；Hildebrand，Roland，共面锥的不可约元素，线性代数应用。，439, 6, 1605-1626 (2013) ·Zbl 1305.15074号
[16] 彼得·迪金森（Peter J.C.Dickinson）。；Hildebrand，Roland，《考虑局部共正性》，J.Math。分析。申请。，437, 2, 1184-1195 (2016) ·Zbl 1382.15048号
[17] 董洪波；Anstreicher，Kurt，分离双非负矩阵和完全正矩阵，数学。程序。，137, 1-2, 131-153 (2013) ·Zbl 1263.90064号
[18] Dür，Mirjam，Copositive programming-a survey，（Diehl，Moritz；Glineur，Francois；Jarlberg，Elias；Michiels，Wim，Recent Advances in Optimization and Its Applications in Engineering（2010），Springer Berlin Heidelberg），3-20
[19] 约翰·W·伊顿（John W.Eaton）。；大卫·贝特曼；瑟伦·豪伯格；Wehbring，Rik，GNU Octave 4.2.2版手册：数值计算的高级交互语言（2018）
[20] 保罗·埃尔德什；Gallai，Tibor，关于表示图边的最小顶点数，Publ。数学。Inst.Hungar公司。阿卡德。科学，6，18，1-203（1961）·Zbl 0101.41001号
[21] Ira M.Gessel。；李，季，点确定图的计数，J.Combin。A、 118、2、591-612（2011）·Zbl 1238.05136号
[22] 马丁·格里切尔（Martin Grötschel）；Lovász，László；Schrijver，Alexander，《几何算法与组合优化》（1988），施普林格出版社：施普林格出版社，柏林·Zbl 0634.05001号
[23] 马歇尔霍尔；纽曼，莫里斯，同正和完全正二次型，数学。程序。外倾角。Phil.Soc.，59，329-339（1963）·Zbl 0124.25302号
[24] 希尔德布兰德（Hildebrand），罗兰（Roland），共正锥的极值射线，线性代数应用。，437, 7, 1538-1547 (2012) ·Zbl 1259.15045号
[25] 希尔德布兰德，罗兰，共正矩阵的极小零点，线性代数应用。，459, 154-174 (2014) ·兹比尔1309.15050
[26] Hiriart-Urruti，Jean-Baptiste；Seeger，Alberto，《共正矩阵的变分方法》，SIAM Rev.，52，4，593-629（2010）·Zbl 1207.15037号
[27] 阿兰·霍夫曼。；Pereira，Francisco，《关于-1,0,1项的共正矩阵》，J.Combin.理论，14，3，302-309（1973）·Zbl 0273.15019号
[28] Hohenwarter，Markus，GeoGebra:Ein Softwaresystem für dynamicsche Geometrie und Algebra der Ebene（2002），巴黎罗德伦大学：奥地利萨尔茨堡巴黎罗德隆大学（硕士论文）
[29] Kilibarda，Goran，无标记交配图的计数，图组合，23，2，183-199（2007）·Zbl 1116.05038号
[30] 艾蒂安·德克勒克；Pasechnik，Dmitrii V.，用共正规划逼近图的稳定数，SIAM J.Optim。，12, 4, 875-892 (2002) ·Zbl 1035.90058号
[31] Lofberg，Johan，YALMIP:MATLAB中建模和优化的工具箱，284-289（2004），IEEE
[32] Lovasz，László，关于图的Shannon容量，IEEE Trans。通知。理论，25，1，1-7（1979）·Zbl 0395.94021号
[33] MATLAB，9.4版（R2018a）（2018），The MathWorks Inc.：The MathWorks Inc.马萨诸塞州纳蒂克
[34] Brendan D.McKay，组合数据。http://users.cecs.anu.edu.au/bdm/data/graphs.html·Zbl 0663.0002号
[35] McKay，Brendan D.，实用图同构，Congr。数字。，30, 45-87 (1981) ·Zbl 0521.05061号
[36] Brendan D.McKay，Adolfo Piperno，Nauty痕迹。http://pallini.di.uniroma1.it。
[37] 麦凯，布伦丹·D。；佩佩诺，阿道夫，实用图同构，II，J.符号计算。，60, 94-112 (2014) ·Zbl 1394.05079号
[38] 西奥多·莫茨金。；Straus，Ernst G.，Maxima，图和Turán定理的新证明，Canad。数学杂志。，17, 533-540 (1965) ·Zbl 0129.39902号
[39] Palubeckis，Gintaras，图着色多面体的面诱导网和反网不等式，离散应用。数学。，1582075-2080（2010年）·Zbl 1215.05073号
[40] 佩尼亚，哈维尔·F·。；胡安·维拉（Juan C.Vera）。；Zuluaga，Luis F.，通过线性和半定规划计算图的稳定数，SIAM J.Optim。，18, 1, 87-105 (2007) ·Zbl 1176.90611号
[41] Michael D.Plummer，《关于线临界图家族》，Monatsh。数学。，71, 1, 40-48 (1967) ·Zbl 0166.19903号
[42] 罗纳德·塞德里克（Ronald Cedric Read），《配对图的计数》（1989），滑铁卢大学数学系
[43] 爱德华·苏厄尔（Edward C.Sewell）。；Trotter，Leslie E.，稳定性临界图和K4的偶数细分，J.组合理论。B、 59、1、74-84（1993）·Zbl 0793.05133号
[44] 斯莫尔，本杰明·卢克，《阿尔法临界图及其构造》（2015），华盛顿州立大学（博士论文）
[45] 大卫·P·萨姆纳，《图中点的确定》，《离散数学》。，5, 2, 179-187 (1973) ·Zbl 0265.05124号
[46] Sage Developers，Sagemath，Sage数学软件系统（版本8.2）（2018）
[47] Toh，Kim-Chuan；迈克尔·托德（Michael J.Todd）。；TüTüncü，Reha H.，关于sdpt3的实现和使用，sdpt3是一个用于半定二次线性编程的matlab软件包，4.0版，（Anjos，Miguel F。；Lasserre，Jean B.，《半定、二次曲线和多项式优化手册》。《半定、二次曲线和多项式优化手册》，运筹学和管理科学国际系列（2012），美国斯普林格出版社，715-754·Zbl 1334.90117号
[48] Trotter，Leslie E.，顶点填充多面体的一类面生成图，离散数学。，373-388年12月4日（1975年）·Zbl 0314.05111号
[49] Wessel，Walter，关于确定给定图是否是边临界图的问题，（Erdös，Paul；Rényi，Alfréd；sós，Vera T.，组合理论及其应用，第三卷。组合理论及其应用，第三卷，社会数学讨论会János Bolyai，第4卷（1970）），1123-1139·Zbl 0204.57006号
[50] Wolfram Research，Inc.，Mathematica，11.3版（2018），伊利诺伊州香槟
[51] de Zeeuw，Reinier，哪些图产生不可约共正矩阵？（2018），特温特大学，（学士论文）
[52] Zykov，Alexander Aleksandrovich，《关于线性络合物的一些性质》，Mat.Sb.，66，2，163-188（1949）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。