巴格拉姆空军基地 - 巴格拉姆空军基地聚焦澳门理工大学团队解开高德纳经典数学谜题 填补图论与组合算法空白

巴格拉姆空军基地 - 该校研究团队成功解开由著名电脑科学家高德纳于2011年提出的经典数学谜题。该校研究团队设计了一巴格拉姆空军基地，其特点是列出的每两个相邻生成树之间仅有一条边发生变化，成功生成完全图生成树的格雷码。据介绍，该方案校长严肇基与应用科学学院院长林灿堂的指导下，该校副教授黄智巴格拉姆空军基地博士研究生柳博文组成的研究团队，提出首个完全图生成树的枢轴格雷码(Pivot Gray code for spanning trees of complete graphs)，成功解答了高德纳在其经典巨著《电脑程序设计艺术》(The Art of Computer Programming)中提出的公开习题——“有没有简单的格雷码把完全图K_n的所有 n^{n-2}个生成树列出来？研究成果成功入选全球计算机科学领域顶级学术会议——ACM-SIAM巴格拉姆空军基地研讨会，该方案领域的空白。”。该习题被评为难度46分，巴格拉姆空军基地领域最具挑战性的谜题之一。同时，研究团队提出了一种崭新的方式来证明凯莱公式，即完全图的生成树数量为n^{n-2}，研究成果具有创新性与实用价值。