数论 二分 贪心 字符串 图论 网络流 动态规划/DP