澳门理工大学研究团队解开高德纳经典数学迷题(部份图片来源:《The Art of Computer Programming》)
澳门理工大学研究团队成功解开由着名电脑科学家高德纳(Donald Knuth)于2011年提出的经典数学迷题。研究成果成功入选全球计算机科学领域顶级学术会议—ACM-SIAM离散算法研讨会(SODA 2026),填补了图论与组合算法领域的空白,展现澳理大的卓越科研实力。
在澳理大校长严肇基及应用科学学院院长林灿堂的指导下,副教授黄智谦联同计算机应用技术博士研究生柳博文组成的研究团队,提出首个完全图生成树的枢轴格雷码(Pivot Gray code for spanning trees of complete graphs),成功解答了高德纳于经典巨着《电脑程式设计艺术》(The Art of Computer Programming)提出的公开习题─“有没有简单的格雷码把完全图 K_n 的所有 n^{n-2} 个生成树列出来?”。该习题被评为难度46分(满分50),被视为图论与组合算法领域最具挑战性的谜题之一。
澳理大研究团队设计了一种简单高效的递归算法,其特点是列出的每两个相邻生成树之间仅有一条边发生变化,成功生成完全图生成树的格雷码。同时,研究团队提出了一种崭新的方式来证明Cayley公式(即完全图的生成树数量为n^(n-2))。研究成果具创新性与实用价值,更入选计算机科学领域顶级学术会议SODA 2026,充分彰显澳理大科研实力的国际化水平。
ACM-SIAM离散算法研讨会(SODA, ACM-SIAM Symposium on Discrete Algorithms)由计算机协会(ACM, Association for Computing Machinery)与工业与应用数学学会(SIAM, Society for Industrial and Applied Mathematics)联合主办,是全球计算机科学与离散算法领域最具声望的顶级学术会议之一,被中国计算机学会(CCF)评定为A类会议、CORE评为A*类会议,是理论计算机科学领域最具影响力的学术盛会之一。该会议历年来汇聚众多图灵奖得主参与,彰显其在学术界的崇高地位。
澳理大应用科学学院积极推动人工智能技术发展,开设电脑学理学士学位课程、人工智能理学士学位课程、大数据与物联网硕士课程、环境智能硕士课程、运动科技与创新硕士课程、计算机应用技术博士学位课程、人工智能药物发现博士学位课程、教育技术与创新博士学位课程,构建本硕博全人才的培养模式。开展多项科技、环境科学、医学、教育、运动等领域的跨学科交叉融合,推动科研创新,为全球科学发展作出贡献。
