摘要: 1、创建新文件并加入项目 打开CMakeList.txt,加入这样的一段话,随后点击图中的Reload changes 2、文件重命名,移动,复制,移除项目 右击要更名的文件 > Refactor >Rename 右击要移动的文件 > Refactor >Move File 右击要复制的文件 >Re 阅读全文
posted @ 2019-08-23 23:16 winter-bamboo 阅读(3274) 评论(0) 推荐(0) 编辑
摘要: (点击此处查看原题) 题意分析 给出n个结点,m条管道,每条管道存在最小流量和最大流量,而且每个结点的流入量等于流出流出量,问这n个结点和m条管道能否形成流量循环 解题思路 经典的无源汇有上下边界的可行流问题,因为每条边存在最低流量low和最大流量up,所以每条边都至少有low流量,我们为每个边都设 阅读全文
posted @ 2019-08-23 22:44 winter-bamboo 阅读(173) 评论(0) 推荐(0) 编辑
摘要: (点击此处查看原题) 什么是2-SAT问题 sat 即 Satisfiability,意思为可满足,那么2-SAT表示一些布尔变量只能取true或者false,而某两个变量之间的值存在一定的关系(如:只要a为真,b一定为假;如果a为假,b也为假),我们需要在满足所有这样的关系的情况下,求出每个变量的 阅读全文
posted @ 2019-08-23 22:11 winter-bamboo 阅读(334) 评论(0) 推荐(0) 编辑