沈光星 张卯 杨毅 卢诚波 冯琪 马克·雷诺兹

连接词 徐寅 推理 决策问题 对称r—循环阵 教授 算法 NP-完全问题 快速傅立叶变换 线性时态逻辑 论文作者 西安交通大学 排序 多目标 自然数 r—循环阵 表达力 r-循环矩阵 Hankel矩阵 快速富里叶变换 逆矩阵 矩阵相乘 逻辑学家 澳大利亚