算法合集之基于连通性状态压缩的动态规划问题.pptxVIP

引入我的论文针对其中的一类问题进行探讨和研究—— 状态中需要记录若干个元素之间的连通情况，称为基于连通性状态压缩的动态规划问题 状态压缩动态规划以集合信息为状态状态总数为指数级【例】Formula 1 (Ural1519)一个 m * n 的棋盘m, n≤12有的格子存在障碍求经过所有非障碍格子的哈密顿回路个数初步分析问题特点：数据规模小m, n≤12棋盘模型搜索?O((mn)!)划分阶段：从上到下，从左到右逐格递推√基本概念：插头，轮廓线状态压缩!基本概念插头一个格子某个方向的插头存在表示这个格子在这个方向与相邻格子相连．轮廓线已决策格子和未决策格子的分界线轮廓线上方与其相连的有n+1个插头，包括n个下插头和1个右插头．初步分析问题特点：数据规模小棋盘模型每个插头是否存在所有的非障碍格子连通插头之间的连通性!确立状态设 f (i, j, S) 表示转移完(i, j) ，轮廓线上从左到右n+1个插头是否存在以及它们的连通性为S的方案总数．无插头标记0，有插头标记一个正整数连通的插头标记相同的数字从左到右依次标记如何表示S?12201最小表示法f (3,2,{1,2,2,0,1})状态转移考虑每个格子的状态, 根据上一个状态O(n)扫描计算出新的最小表示状态．对于m = n = 12的无障碍棋盘的极限数据, 扩展状态总数为1333113 , 问题已经基本解决．本题为一个棋盘模型的简单回路问题．　针对问题的特殊性, 是否有更好的方法呢?dcab进一步分析每个非障碍格子恰好有2个插头轮廓线以上由若干条互不相交的路径构成从左到右一定不会出现4个插头a, b, c, d，a, c匹配，b, d匹配．每条路径的两端对应两个插头( ) ( ( ) ) ( ) 插头不会交叉插头两两匹配括号序列!0：无插头状态，用 # 表示1：左括号插头，用 ( 表示 2：右括号插头，用 ) 表示3进制括号表示法)()(()#(1 1 2 0 2 1 2)3状态的转移每次转移相当于轮廓线上当前决策格子的左插头改成下插头，上插头改成右插头的状态．((#(#)##))Case 1没有上插头和左插头，有下插头和右插头，相当于构成一个新的连通块． ) 插头转移时间：O(1) ( 插头(##((#()))Case 2有上插头和左插头，这种情况下相当于合并两个连通分量Case 2.1 上插头和左插头均为(插头 ( 插头 ( 插头(插头预处理每个状态每的括号所匹配的括号转移时间: O(1)((###)(#))Case 2有上插头和左插头Case 2.2 左插头为)插头，上插头为(插头 ( 插头)插头转移时间：O(1)Case 2有上插头和左插头Case 2.3 左插头为(插头，上插头为)插头)插头路径的两端连接起来形成回路 ( 插头(((())##))Case 3上插头和左插头恰好有一个，这种情况相当于延续原来的连通分量无插头)插头转移时间：O(1) ) 插头实验比较测试数据　最小表示 7Based最小表示 8Based括号表示 3Based括号表示 4Basedm = n = 10无障碍31ms15ms0ms0msm = n = 11(1,1)为障碍　187ms109ms46ms31msm = n = 12无障碍873ms499ms265ms140ms建议使用2k进制，位运算效率高拓展如果求经过所有非障碍格子的哈密顿路径的个数呢?3进制→4进制独立插头0 → 无插头状态1 → 左括号插头2 → 右括号插头3 → 独立插头广义的括号匹配括号表示法需要满足一个连通块内恰好有2个插头．如果一个连通块只有1个插头或大于2个插头呢?对于一个大于2个插头的连通块 最左边的插头标记为 ( 最右边的插头标记为 ) 中间的插头标记为)(特殊性单独为一个连通块的插头标记为 ( )广义的括号表示(())(()()广义的括号表示法左括号与右括号匹配对应的插头连通例: 最小表示法 → 广义括号表示法普适性广义的括号表示法一般性拓展特殊性3进制→4进制总结最小表示法简单回路括号表示法简单路径括号表示法的改进全文研究内容一类简单路径问题Formula 1(Ural1519)Formula 2(改编自Formula 1)一类棋盘染色问题Black White(Uva10532)一类基于非棋盘模型的问题生成树计数 (NOI2007)一类最优性问题的剪枝优化Rocket Mania (Zju2125)Thank you for listening!Questions are welcome. 棋盘染色问题 k连通块问题记录轮廓线上n个格子的连通性和染色情况．相邻的格子是否相连取决于两个格子的颜色是否相同．棋盘与非棋盘问题的共通点存在一个序，在这个序中有边相连的点的距离不超过k．