李勇 杨元生 林晓惠 孙强

软件 管理信息系统 同构 回溯法 拉姆塞理论临界图 Ar着色 数据编码独立性 极图 度序列 图论3正则子图 染色数学) 计数 拉姆塞理论边着色 HN5临界图 期望分支数 有向图回路段 软件工具 哈密顿圈 分类数据编码 对称 无效图 正则图 软件适应性 度

大连理工大学计算机科学与工程系