摘要： 前言：最近重新看Glucose源码，看到.h文件中有很多static inline 函数，那么static inline 函数和 inline函数有什么区别呢？ 首先是inline 关键字，实际上inline仅仅是建议内联而不是强制内联，gcc中O0优化时是不内联的，即使O2以上，但如该函数被作为函 阅读全文

摘要： Kernighan-Lin算法通过迭代改进进行划分，1970年提出，用于求解所有节点都有相同权重的二分图。该算法可以扩展到多元（k-way）且元胞可以是任意大小。 算法简介 KL算法用于电路所表征的图上，其中节点代表元胞，边代表元胞之间的链接。形式上，让图G(V,E)有|V| = 2n个节点，所有节 阅读全文

摘要： 定义概览 Floyed算法是一种解决所有点对最短路径的算法。虽然Dijkstra算法和Bellman-ford算法解决同样可以解决所有点对最短路径（Dijkstra算法时间复杂度为O(VElogE)，但是不能处理负权边。Bellman-Ford算法时间复杂度为O(V*V*E)），但是Floyed的时 阅读全文

摘要： 定义 Bellman-Ford算法比Dijkstra算法更具有普遍性，因为它对边没有要求，可以处理负权边并可以判断是否存在负权环。缺点是时间复杂度过高，为O（VE），v-1轮松弛操作。 问题描述：在无向有权图G = （V，E）中，假设每条边E[i]的长度是w[i],找到由顶点V0到其余各点的最短路径 阅读全文

摘要： 什么是？解决什么问题？缺点？ 问题描述：在无向有权图G = （V，E）中，假设每条边E[i]的长度是w[i],找到由顶点V0到其余各点的最短路径。 Dijkstra算法是典型的单源最短路径算法，用于计算一个节点到其他节点的最短距离。主要特点是以起始点为中心向外层扩展，直到扩展到终点为止，与BFS有几 阅读全文

摘要： 转载：https://blog.csdn.net/luomingjun12315/article/details/47438607 以下是最小生成树+并查集 【HDU】1213 How Many Tables 基础并查集★1272 小希的迷宫 基础并查集★1325&&poj1308 Is It A 阅读全文

摘要： CUDD(Colorado University Decision Diagram)是一种操纵决策图的软件开发包，它提供函数来操纵二元决策图（BDDs）,代数决策图（ADDs）和零压缩二元决策图（ZDDs）。CUDD包定义了决策图的数据结构和一些列操作决策图的算法：决策图的建立，遍历，排序，互相转换 阅读全文

摘要： 给定一个包含 n 个整数的数组 nums 和一个目标值 target，判断 nums 中是否存在四个元素 a，b，c 和 d ，使得 a + b + c + d 的值与 target 相等？找出所有满足条件且不重复的四元组。 注意：答案中不可以包含重复的四元组。 示例 1： 输入：nums = [1 阅读全文

摘要： 给定一个包括 n 个整数的数组 nums 和 一个目标值 target。找出 nums 中的三个整数，使得它们的和与 target 最接近。返回这三个数的和。假定每组输入只存在唯一答案。 示例： 输入：nums = [-1,2,1,-4], target = 1输出：2解释：与 target 最接近 阅读全文

摘要： 给你 n 个非负整数 a1，a2，...，an，每个数代表坐标中的一个点 (i, ai) 。在坐标内画 n 条垂直线，垂直线 i 的两个端点分别为 (i, ai) 和 (i, 0) 。找出其中的两条线，使得它们与 x 轴共同构成的容器可以容纳最多的水。 说明：你不能倾斜容器。 输入：[1,8,6,2 阅读全文