发布更新带页码版本，增加和修改了少量内容

Author: lr580

README.md

@@ -1,8 +1,8 @@
-**当前最新普通版发布版本为 `v1.0.5`** ，  **最新打印版发布版本为 `v1.0.0` (总词数约7.7w(含代码))**
+**当前最新普通版发布版本为 `v1.1.0`** ，  **最新打印版发布版本为 `v1.1.0` (总词数约9.0w(含代码))**
 
 成品为 `template.pdf` (移步 [releases](https://github.com/lr580/algorithm_template/releases) 查看/下载)
 
-> 因打印版 `pdf` 目录页码制作困难，因此直到版本 `v1.1.0` 之前不会更新打印版，只会更新普通发布版
+> 因打印版 `pdf` 目录页码制作困难，因此直到版本 `v1.2.0` 之前不会更新打印版，只会更新普通发布版
 
 <hr/>
 
@@ -46,6 +46,14 @@
 
 ## 更新日志
 
+- 22/10/19 - 22/10/20 (`v1.1.0`)
+
+  - 添加了哈密顿图结论
+  - 添加了划分数结论
+  - 修改了点双连通分量参考代码
+  - 添加了斐波那契数列等新的数学结论
+  - 添加了竞赛图兰道定理等结论
+  
 - 22/09/01 - 22/10/18 (`v1.0.5`)
 
   - 添加了边双连通分量例题

code/p1260_diff_constraints.cpp

@@ -11,7 +11,7 @@ signed main()
     for (ll i = 1, a, b, c; i <= m; ++i)
     {
         cin >> a >> b >> c;
-        e[a].push_back({b, c});
+        e[b].push_back({a, c});
     }
     for (ll i = 1; i <= n; ++i)
     {
@@ -29,7 +29,7 @@ signed main()
         for (auto pr : e[u])
         {
             ll v = pr.first, w = pr.second;
-            if (d[u] + w < d[v])
+            if (d[v] > d[u] + w)
             {
                 d[v] = d[u] + w;
                 if (!vis[v])
@@ -45,13 +45,14 @@ signed main()
             }
         }
     }
+    ll mi = *min_element(d + 1, d + 1 + n);
     for (ll u = 1; u <= n; ++u)
     {
-        cout << -d[u] << '\n';
+        cout << d[u] - mi << '\n';
         for (auto pr : e[u])
         {
             ll v = pr.first, w = pr.second;
-            assert(-d[u] - (-d[v]) <= w);
+            assert(d[v] <= d[u] + w);
         }
     }
     return 0;

code/p8435_ppint_biconnect.cpp

@@ -0,0 +1,66 @@
+#include <bits/stdc++.h>
+using namespace std;
+using ll = long long;
+const ll mn = 5e5 + 10;
+ll n, m, dfn[mn], low[mn], st, stk[mn], stop, cn;
+vector<ll> c[mn], g[mn];
+void tarjan(ll u, ll fa)
+{
+    ll son = 0;
+    dfn[u] = low[u] = ++st;
+    stk[++stop] = u;
+    for (auto v : g[u])
+    {
+        if (!dfn[v])
+        {
+            ++son;
+            tarjan(v, u);
+            low[u] = min(low[u], low[v]);
+            if (low[v] >= dfn[u])
+            {
+                c[++cn].push_back(u);
+                for (ll w = 0; w != v;)
+                {
+                    w = stk[stop--];
+                    c[cn].push_back(w);
+                }
+            }
+        }
+        else
+        {
+            low[u] = min(low[u], dfn[v]);
+        }
+    }
+    if (!fa && !son)
+    {
+        c[++cn].push_back(u);
+    }
+}
+signed main()
+{
+    cin.tie(0)->ios::sync_with_stdio(false);
+    cin >> n >> m;
+    for (ll i = 1, u, v; i <= m; ++i)
+    {
+        cin >> u >> v;
+        g[u].push_back(v), g[v].push_back(u);
+    }
+    for (ll i = 1; i <= n; ++i)
+    {
+        if (!dfn[i])
+        {
+            stop = 0, tarjan(i, 0);
+        }
+    }
+    cout << cn << '\n';
+    for (ll i = 1; i <= cn; ++i)
+    {
+        cout << c[i].size() << ' ';
+        for (auto u : c[i])
+        {
+            cout << u << ' ';
+        }
+        cout << '\n';
+    }
+    return 0;
+}