搜索结果
查询Tags标签： Rightarrow，共有 40条记录-
【生信分析】生物分子网络构建基础——单调动力系统
单调动力系统 单调动力系统1. 单调动力系统基础2. 单调动力系统的动态与分解参考资料单调动力系统 在生物系统中，通过化学动力学原理所建立的生物网络数学模型往往具有一些特定数学性质，尤其是生物调控网络。动力系统理论上把这类系统称为单调动力系统。 1. 单调动力系统…
2021/12/1 23:06:49 人评论 次浏览 -
染色（贪心+堆）
tyy 模拟赛 T2，打了 20 分暴力滚粗。 题目内容 .md 文件不在手边，明天再放上来。 解题思路 如果像我一样按题意模拟：枚举染色方案 \(\rightarrow\) 构造序列 \(a\rightarrow\) 比较字典序，那只能得 20 分了。实际上，所谓 \((t_i,i)\) 从大到小排序，就是让多的尽量多…
2021/11/15 23:41:11 人评论 次浏览 -
染色（贪心+堆）
tyy 模拟赛 T2，打了 20 分暴力滚粗。 题目内容 .md 文件不在手边，明天再放上来。 解题思路 如果像我一样按题意模拟：枚举染色方案 \(\rightarrow\) 构造序列 \(a\rightarrow\) 比较字典序，那只能得 20 分了。实际上，所谓 \((t_i,i)\) 从大到小排序，就是让多的尽量多…
2021/11/15 23:41:11 人评论 次浏览 -
2-SAT
\(2-SAT\) 来自 \(\text{OI-WIKI}\) 和 \(\text{Anguei}\) 的题解 定义： 将两个部分拆开，分为 \(2\) 和 \(SAT\) ，有一串 \(bool\) 类型的变量，对每个元素赋值，要求满足要求。 定义 \(\neg\) 表示不行，\(\vee\) 表示 或，\(\wedge\) 表示 与，这是布尔方程的定义。 …
2021/11/4 23:09:58 人评论 次浏览 -
2-SAT
\(2-SAT\) 来自 \(\text{OI-WIKI}\) 和 \(\text{Anguei}\) 的题解 定义： 将两个部分拆开，分为 \(2\) 和 \(SAT\) ，有一串 \(bool\) 类型的变量，对每个元素赋值，要求满足要求。 定义 \(\neg\) 表示不行，\(\vee\) 表示 或，\(\wedge\) 表示 与，这是布尔方程的定义。 …
2021/11/4 23:09:58 人评论 次浏览 -
XXI Open Cup named after E.V. Pankratiev. Grand Prix of Korea
C 知道这个定理： Theorem. A graph \(G\) is strongly connected if and only if it can be constructed using the following procedure:Start with \(N\) isolated vertices. Pick any vertex \(v\), and let \(S = \{v\}\). Repeat the following until \(S = V(G)\):…
2021/9/10 6:04:12 人评论 次浏览 -
XXI Open Cup named after E.V. Pankratiev. Grand Prix of Korea
C 知道这个定理： Theorem. A graph \(G\) is strongly connected if and only if it can be constructed using the following procedure:Start with \(N\) isolated vertices. Pick any vertex \(v\), and let \(S = \{v\}\). Repeat the following until \(S = V(G)\):…
2021/9/10 6:04:12 人评论 次浏览 -
编译原理 笔记3 语法分析
写的时候复制到笔记2那里去了...晕，这个点还不睡就是不行啦 CFG 上下文无关语法(Context Free Grammar)，或者说BNF(Backus Naur Form)，是用于描述一类语言的法则，也即是语法 语法包括：终结符号(terminal)集 \(T\) 非终结符号(nonterminal)集 \(N\) 推导规则(rule of …
2021/9/1 6:06:25 人评论 次浏览 -
编译原理 笔记3 语法分析
写的时候复制到笔记2那里去了...晕，这个点还不睡就是不行啦 CFG 上下文无关语法(Context Free Grammar)，或者说BNF(Backus Naur Form)，是用于描述一类语言的法则，也即是语法 语法包括：终结符号(terminal)集 \(T\) 非终结符号(nonterminal)集 \(N\) 推导规则(rule of …
2021/9/1 6:06:25 人评论 次浏览 -
关于状压DP枚举子集的方法与理解
我们现在要枚举状压集合 \(S\) 的子集，代码实现： for (int S1=S;S1!=0;S1=(S1-1)&S) {S2=S^S1; }其中 \(S_1\) 就是我们枚举得到的子集，\(S_2\) 是当前子集 \(S_1\) 在 \(S\) 内的补集，即 \(S_1 \bigoplus S_2 = S\) \[{\because S_2 = S \bigoplus S_1} \]\[{\th…
2021/8/30 6:06:42 人评论 次浏览 -
关于状压DP枚举子集的方法与理解
我们现在要枚举状压集合 \(S\) 的子集，代码实现： for (int S1=S;S1!=0;S1=(S1-1)&S) {S2=S^S1; }其中 \(S_1\) 就是我们枚举得到的子集，\(S_2\) 是当前子集 \(S_1\) 在 \(S\) 内的补集，即 \(S_1 \bigoplus S_2 = S\) \[{\because S_2 = S \bigoplus S_1} \]\[{\th…
2021/8/30 6:06:42 人评论 次浏览 -
二项式反演入门
对于序列 \(\{f_n\}\) 和 \(\{g_n\}\)，通过 \(f\) 计算出 \(g\) 叫做正演，通过 \(g\) 计算出 \(f\) 叫做反演。 形式 二项式反演讲的是： \[g_n=\sum_{i=0}^n\binom{n}{i}f_i \Leftrightarrow f_n=\sum_{i=0}^n(-1)^{n-i}\binom{n}{i}g_i \]证明 将组合数展开得到： \[\…
2021/8/8 23:39:06 人评论 次浏览 -
二项式反演入门
对于序列 \(\{f_n\}\) 和 \(\{g_n\}\)，通过 \(f\) 计算出 \(g\) 叫做正演，通过 \(g\) 计算出 \(f\) 叫做反演。 形式 二项式反演讲的是： \[g_n=\sum_{i=0}^n\binom{n}{i}f_i \Leftrightarrow f_n=\sum_{i=0}^n(-1)^{n-i}\binom{n}{i}g_i \]证明 将组合数展开得到： \[\…
2021/8/8 23:39:06 人评论 次浏览 -
【whk向】解题报告：常见不等式的简单运用
题面 已知： $a,b,c \in \mathbb{R} $ 求证 ：$a^{2} + b^{2} + c^{2} \ge \frac{\left ( a+b+c \right ) ^2}{3} $ 法一 考虑数形结合。 前置知识 平面 \(\alpha : Ax+By+Cz+D=0\) 球：\(\left ( x-a \right ) ^2+\left ( y-b \right ) ^2+\left ( z-c \right ) ^2=…
2021/8/7 6:07:51 人评论 次浏览 -
【whk向】解题报告：常见不等式的简单运用
题面 已知： $a,b,c \in \mathbb{R} $ 求证 ：$a^{2} + b^{2} + c^{2} \ge \frac{\left ( a+b+c \right ) ^2}{3} $ 法一 考虑数形结合。 前置知识 平面 \(\alpha : Ax+By+Cz+D=0\) 球：\(\left ( x-a \right ) ^2+\left ( y-b \right ) ^2+\left ( z-c \right ) ^2=…
2021/8/7 6:07:51 人评论 次浏览
