该研究团队在文献[chen2025srkbp]基础上,通过分析k-块正性测试算法的复杂度进行了拓展研究。本文探讨了一种基于矩形杨图(rectangular Young diagrams)的对称性约简方案。通过将复杂度与U(d)群不可约表示的维度相关联,研究人员推导出了复杂度的显式公式,该公式同时阐明了为何半定规划层次结构在k=d情况下会坍缩。