划水_小星

未归档

python代码实例学习(2) 基础算法小结(5) 爬虫学习(14) 题解(11)

/ 注册

全部文章 / 未归档（共3篇）

Day07

2-SAT SAT是适定性(Satisfiability)问题的简称。一般形式为k-适定性问题简称 k-SAT。可以证明，当k>2时，k-SAT是NP完全的.因此一般讨论的是k=2的情况，即2-SAT问题适定性问题数学术语适定性问题来自于哈达玛所给出的定义。他认为物理现象中的数学模型应该具...

最小生成树最大流强连通分量网络流 2-SAT Trajan

2021-01-04

0 785

Tarjan算法求强连通分量（SCC缩点）

#include<iostream> #include<algorithm> #include<cstring> #include<stack> using namespace std; struct ss{ int v; int ...

Tarjan SCC缩点强连通分量

2021-01-01

0 643

github命令行

…or create a new repository on the command line echo "# hello" >> README.md git init git add README.md git commit -m "first commi...

2020-11-11

0 438