发布于 2024-07-23 静态程序分析学习笔记(2) 1086 热度 无~ 静态分析 静态程序分析学习笔记(2) 1. TIP语言语法 TIP语言是本书应用于教学的语言,基本语法如下: 基本表达式 整数和变量: Ex …
发布于 2024-07-17 静态程序分析学习笔记(1) 503 热度 无~ 未分类 静态程序分析学习笔记(1) 1. 简介 静态程序分析(静态分析)是指在不实际运行程序的情况下推理其行为的技术。 目前主要用于自动化 …
发布于 2022-04-14 acm模板-数位dp 2346 热度 无~ 未分类 数位DP #define D 10 #define L 21 int a[L]; LL dp[L][D][]…; LL dfs …
发布于 2022-04-14 acm模板-三维计算几何 2287 热度 无~ 未分类 三维计算几何 const double eps = 1e-8; const double pi = M_PI; const int …
发布于 2022-04-14 acm模板-二维计算几何 2030 热度 无~ 未分类 二维计算几何 #define double long double const double eps = 1e-12; //可根据 …
发布于 2022-04-14 acm模板-字符串 2123 热度 无~ 未分类 字符串 Hash->12种hash算法,有两到三种比较方便处理前缀hash和(BKDR和DJB已经写出) typedef u …
发布于 2022-04-14 acm模板-数据结构 1587 热度 无~ 未分类 数据结构 二维线段树(四分版) #define son0 l1, mid1, l2, mid2, rt << 2 #d …
发布于 2022-04-14 acm模板-博弈论 1908 热度 无~ 未分类 博弈论 nim游戏 定义 Nim 和 $=a_1 \oplus a_2 \oplus \ldots \oplus a_n$。 当且 …
发布于 2022-04-14 acm模板-多项式 1882 热度 无~ 未分类 多项式 多项式类 inline int add(int x, int y) { return (x + y >= MOD) …
发布于 2021-11-03 acm模板-图论 1998 热度 无~ acm 图论 强联通分量(缩点) int len_e, len_b, dfn[N], low[N], last[N], stk[N]; b …