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