ICPC KMP 多项式 Dijkstra ST表 codeforces 图论 信号与线性系统 动态规划 杂题 数据离散化 Trie 矩阵 思维 数论