摘要:
【问题描述】Linux 用户和 OS X 用户一定对软件包管理器不会陌生。通过软件包管理器,你可以通过一行命令安装某一个软件包,然后软件包管理器会帮助你从软件源下载软件包,同时自动解决所有的依赖(即下载安装这个软件包的安装所依赖的其它软件包),完成所有的配置。Debian/Ubuntu 使用的 ap... 阅读全文
摘要:
【问题描述】在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。考虑一个约束满足问题的简化版本:假设 x 1 , x 2 , x 3 , ⋯ 代表程序中出现的变量,给定 n 个形如 x i = x j 或 x i ≠ x j 的变量相等/不等的约束条件,请判定是否可以分别为每一个变... 阅读全文
摘要:
题目大意给定一个金字塔,从第二层起每一层中的数均等于下面一层左右的两个数之和。给定正整数$n(n\le10^5)$,金字塔的第一层为$1$到$n$从小到大排列而成的数列,求金字塔顶的数。数列特征从已知条件只能知道第一行为$1~N$的等差数列。假设第一行中某三个连续的数字为$a-d, a, a+d$,... 阅读全文