负整数对称阵可实现性问题的算法.pdfVIP

2011年 6月 高 等 学 校 计 算 数 学 学 报 第 33卷第 2期 非负整数对称阵可实现性问题的算法 孙峰 王学平 (四川师范大学数学与软件科学学院，成都610066) 0N THE REALIZABILITY PRoBLEM oF NoNNEG rIVE INTEGRAL SYM M ETRIC M ATRICES SunFeng WangXueping (CollegeofMathematicsandSoftwareScience，SichuanNormalUniversity, Chengdu610066) Abstract Inthispaper，weshow severalnecessaryandsurfficientconditionsfor therealizabilityofn—ordernonnegativeintegralsymmetricmatrices，converttheir realizabilityproblemsintothedetermination ofnonnegativeintegralsolutionsto equationsorinequalities．BasedonfindingaHilbertbasisforthesetofnonnega- tiveintegralsolutionsofasystem oflinearequationsorinequalitieswithintegral coefficients，weobtainthreealgorithmswhich notonlydeterminewhetherama- trix isrealizabebutalsogiveoneofitsrealization matrixandcontentwhenitis realizable． Key words nonnegativeintegralsymmetricmatrix，system oflinearequations orinequalitieswithintegralcoefficients，nonnegativeintegralsolution，realizable matrix，content． AMS(2000)subjectclassifications 15A23，15A36 中图法分类号 O151．21 1 引 言 设 P是有 P个元素，oj，J= 1，… ，P，的有限集，{)，i= 1，… ，n，为 P的子集 族．记 A= (aij)为 {)的关联矩阵，其中，当Oj∈Si时 aij= 1，否则 aij=0．若 国家自然科学基金 与国家教育部博士点专项基金 (20105134110002)资助项目 收稿 日期：2008-03．05． · 146 · 孙峰等：非负整数对称阵可实现性问题的算法 第 2期 AAT=B=(bij)，即b ：ln J，则 B是对称的且 bii b 0．反过来，已知n阶非负 整数对称阵B，是否存在一个礼Xm的0—1矩阵A使B=A ，以及如何计算使B= ’ 成立的最小的m(即容度)，这即是 JohnBKelly于 1968年在文献 f1】中讨论的非负整数 对称阵的可实现性问题．在该问题中，我们主要关注非负整数对称阵可实现的条件 以及可 实现时其容度的算法．当n 4时这些问题在文献 f1】中已经得到较好的解决，文献 f3】 还给出了n=3时计算容度的一个较为直观和简便的公式．至今，当n 5时，这些问题 仍未得到解决．本文主要讨论对 已知 tI阶非负整数对称阵JE}，如何判断其是否可实现，并 在 B可实现时给出B的容度 C(B)以及一个 n×C(B)的0,1矩阵 使