Site

cmachsocket · Jun 13, 2024 · ce01d20 · ce01d20
1 parent 71870c9
commit ce01d20
Show file tree

Hide file tree

Showing 29 changed files with 2,831 additions and 851 deletions.
diff --git a/2024/06/13/2-SAT-md/index.html → 2024/06/13/2-SAT/index.html b/2024/06/13/2-SAT-md/index.html → 2024/06/13/2-SAT/index.html
@@ -21,20 +21,21 @@
     <meta name="description" content="cmach_socket 自建博客，放放自己的记录">
     <meta name="description" content="思路类似于差分约束,将数学问题转化为图论问题 也是判环来判断可行性 建图+tarjan 为什么不用spfa判环? tarjan算法更优秀 $O(n+m)$ ,并且tarjan序就是反拓扑序,方便求解 2-sat问题指每一个变量存在两种状态(2),这些变量需要满足一些条件(sat) 这些条件是逻辑条件:or,xor,and 2-sat问题转化所有的逻辑关系都可以转化为这样的形式:选择了A,则必须选择">
 <meta property="og:type" content="article">
-<meta property="og:title" content="2-SAT.md">
-<meta property="og:url" content="http://cmach_socket.github.io/2024/06/13/2-SAT-md/">
+<meta property="og:title" content="2-SAT">
+<meta property="og:url" content="http://cmach_socket.github.io/2024/06/13/2-SAT/">
 <meta property="og:site_name" content="cmach_socket的博客">
 <meta property="og:description" content="思路类似于差分约束,将数学问题转化为图论问题 也是判环来判断可行性 建图+tarjan 为什么不用spfa判环? tarjan算法更优秀 $O(n+m)$ ,并且tarjan序就是反拓扑序,方便求解 2-sat问题指每一个变量存在两种状态(2),这些变量需要满足一些条件(sat) 这些条件是逻辑条件:or,xor,and 2-sat问题转化所有的逻辑关系都可以转化为这样的形式:选择了A,则必须选择">
 <meta property="og:locale" content="zh_CN">
 <meta property="article:published_time" content="2024-06-13T14:40:05.000Z">
-<meta property="article:modified_time" content="2024-06-13T14:40:11.505Z">
+<meta property="article:modified_time" content="2024-06-13T23:44:21.675Z">
 <meta property="article:author" content="cmach_socket">
+<meta property="article:tag" content="code">
 <meta name="twitter:card" content="summary">
     <meta http-equiv="Cache-control" content="no-cache">
     <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
     <link rel="icon" href="/assets/octopi.svg">
 
-    <title>2-SAT.md · Cmach_socket&#39;s Blog</title>
+    <title>2-SAT · Cmach_socket&#39;s Blog</title>
     <!-- /*! loadCSS. [c]2017 Filament Group, Inc. MIT License */
 /* This file is meant as a standalone workflow for
 - testing support for link[rel=preload]
@@ -265,7 +266,7 @@
                 <a href="/">Cmach_socket&#39;s Blog</a>
             </div>
             <div class="post-title header-element">
-                <a href="#" class="post-name">2-SAT.md</a>
+                <a href="#" class="post-name">2-SAT</a>
             </div>
         </div>
 
@@ -311,7 +312,7 @@
         <h1 class="intro-title">
             <!-- 主页  -->
 
-                2-SAT.md
+                2-SAT
             <!-- 404 -->
 
         </h1>
@@ -331,6 +332,8 @@ <h1 class="intro-title">
                     <div class= post-intro-tags >
 
 
+        <a class="post-tag" href="javascript:void(0);" data-tags="code">code</a>
+
 </div>
 
 
@@ -517,9 +520,9 @@ <h2 id="2-sat的一种解"><a href="#2-sat的一种解" class="headerlink" title
 
         <div class="license-wrapper">
             <p>原文作者：<a href="http://cmach_socket.github.io">cmach_socket</a>
-            <p>原文链接：<a href="http://cmach_socket.github.io/2024/06/13/2-SAT-md/">http://cmach_socket.github.io/2024/06/13/2-SAT-md/</a>
-            <p>发表日期：<a href="http://cmach_socket.github.io/2024/06/13/2-SAT-md/">June 13th 2024, 10:40:05 pm</a>
-            <p>更新日期：<a href="http://cmach_socket.github.io/2024/06/13/2-SAT-md/">June 13th 2024, 10:40:11 pm</a>
+            <p>原文链接：<a href="http://cmach_socket.github.io/2024/06/13/2-SAT/">http://cmach_socket.github.io/2024/06/13/2-SAT/</a>
+            <p>发表日期：<a href="http://cmach_socket.github.io/2024/06/13/2-SAT/">June 13th 2024, 10:40:05 pm</a>
+            <p>更新日期：<a href="http://cmach_socket.github.io/2024/06/13/2-SAT/">June 14th 2024, 7:44:21 am</a>
             <p>版权声明：本文采用<a rel="license noopener" target="_blank" href="http://creativecommons.org/licenses/by-nc/4.0/">知识共享署名-非商业性使用 4.0 国际许可协议</a>进行许可</p>
         </div>
 
@@ -528,16 +531,16 @@ <h2 id="2-sat的一种解"><a href="#2-sat的一种解" class="headerlink" title
         <li class="next">
 
                 <div class="nextSlogan">Next Post</div>
-                <a href="/2024/06/13/%E5%9B%BE%E4%B8%8A%E4%BA%8C%E5%88%86-md/" title="图上二分.md">
-                    <div class="nextTitle">图上二分.md</div>
+                <a href="/2024/06/13/%E5%9B%BE%E4%B8%8A%E4%BA%8C%E5%88%86/" title="图上二分">
+                    <div class="nextTitle">图上二分</div>
                 </a>
 
         </li>
         <li class="previous">
 
                 <div class="prevSlogan">Previous Post</div>
-                <a href="/2024/06/13/%E5%B7%AE%E5%88%86%E7%BA%A6%E6%9D%9F%E7%B3%BB%E7%BB%9F-md/" title="差分约束系统.md">
-                    <div class="prevTitle">差分约束系统.md</div>
+                <a href="/2024/06/13/%E5%B7%AE%E5%88%86%E7%BA%A6%E6%9D%9F%E7%B3%BB%E7%BB%9F/" title="差分约束系统">
+                    <div class="prevTitle">差分约束系统</div>
                 </a>
 
         </li>
@@ -588,6 +591,21 @@ <h2 id="2-sat的一种解"><a href="#2-sat的一种解" class="headerlink" title
 
     <!-- Mathjax -->
 
+
+    <script>
+        MathJax = {
+            tex: {
+                inlineMath: [['$', '$'], ['\\(', '\\)']],
+                skipTags: ['script', 'noscript', 'style', 'textarea', 'pre', 'code']
+            }
+        };
+    </script>
+
+    <script src="https://polyfill.io/v3/polyfill.min.js?features=es6"></script>
+    <script id="MathJax-script" async src="https://cdn.jsdelivr.net/npm/[email protected]/es5/tex-mml-chtml.js"></script>
+
+
+
 </main>
 
                 <!-- profile -->
@@ -901,91 +919,91 @@ <h2 id="2-sat的一种解"><a href="#2-sat的一种解" class="headerlink" title
 
         <li class="archive-post-item">
             <span class="archive-post-date">06/14</span>
-            <a class="archive-post-title" href="/2024/06/14/demogen-%E5%AE%B9%E6%96%A5-md/">demogen/容斥.md</a>
+            <a class="archive-post-title" href="/2024/06/14/demogen-%E5%AE%B9%E6%96%A5/">demogen/容斥</a>
         </li>
 
 
         <li class="archive-post-item">
             <span class="archive-post-date">06/14</span>
-            <a class="archive-post-title" href="/2024/06/14/%E4%B8%80%E4%BA%9B%E5%A4%A7%E8%BF%90%E7%AE%97-md/">一些大运算.md</a>
+            <a class="archive-post-title" href="/2024/06/14/%E4%B8%80%E4%BA%9B%E5%A4%A7%E8%BF%90%E7%AE%97/">一些大运算</a>
         </li>
 
 
         <li class="archive-post-item">
             <span class="archive-post-date">06/14</span>
-            <a class="archive-post-title" href="/2024/06/14/%E6%89%A9%E5%B1%95CRT-md/">扩展CRT.md</a>
+            <a class="archive-post-title" href="/2024/06/14/%E6%89%A9%E5%B1%95CRT/">扩展CRT</a>
         </li>
 
 
         <li class="archive-post-item">
             <span class="archive-post-date">06/13</span>
-            <a class="archive-post-title" href="/2024/06/13/2-SAT-md/">2-SAT.md</a>
+            <a class="archive-post-title" href="/2024/06/13/2-SAT/">2-SAT</a>
         </li>
 
 
         <li class="archive-post-item">
             <span class="archive-post-date">06/13</span>
-            <a class="archive-post-title" href="/2024/06/13/FHQ-Treap-md/">FHQ-Treap.md</a>
+            <a class="archive-post-title" href="/2024/06/13/FHQ-Treap/">FHQ-Treap</a>
         </li>
 
 
         <li class="archive-post-item">
             <span class="archive-post-date">06/13</span>
-            <a class="archive-post-title" href="/2024/06/13/hash-md/">hash.md</a>
+            <a class="archive-post-title" href="/2024/06/13/hash/">hash</a>
         </li>
 
 
         <li class="archive-post-item">
             <span class="archive-post-date">06/13</span>
-            <a class="archive-post-title" href="/2024/06/13/%E4%B8%80%E8%88%AC%E5%90%AF%E5%8F%91%E5%BC%8F%E5%90%88%E5%B9%B6-md/">一般启发式合并.md</a>
+            <a class="archive-post-title" href="/2024/06/13/%E4%B8%80%E8%88%AC%E5%90%AF%E5%8F%91%E5%BC%8F%E5%90%88%E5%B9%B6/">一般启发式合并</a>
         </li>
 
 
         <li class="archive-post-item">
             <span class="archive-post-date">06/13</span>
-            <a class="archive-post-title" href="/2024/06/13/%E4%BC%97%E6%95%B0%E4%BA%8C%E8%BF%9B%E5%88%B6%E6%8B%86%E5%88%86-md/">众数二进制拆分.md</a>
+            <a class="archive-post-title" href="/2024/06/13/%E4%BC%97%E6%95%B0%E4%BA%8C%E8%BF%9B%E5%88%B6%E6%8B%86%E5%88%86/">众数二进制拆分</a>
         </li>
 
 
         <li class="archive-post-item">
             <span class="archive-post-date">06/13</span>
-            <a class="archive-post-title" href="/2024/06/13/%E5%9B%BE%E4%B8%8A%E4%BA%8C%E5%88%86-md/">图上二分.md</a>
+            <a class="archive-post-title" href="/2024/06/13/%E5%9B%BE%E4%B8%8A%E4%BA%8C%E5%88%86/">图上二分</a>
         </li>
 
 
         <li class="archive-post-item">
             <span class="archive-post-date">06/13</span>
-            <a class="archive-post-title" href="/2024/06/13/%E5%B7%AE%E5%88%86%E7%BA%A6%E6%9D%9F%E7%B3%BB%E7%BB%9F-md/">差分约束系统.md</a>
+            <a class="archive-post-title" href="/2024/06/13/%E5%B7%AE%E5%88%86%E7%BA%A6%E6%9D%9F%E7%B3%BB%E7%BB%9F/">差分约束系统</a>
         </li>
 
 
         <li class="archive-post-item">
             <span class="archive-post-date">06/13</span>
-            <a class="archive-post-title" href="/2024/06/13/%E6%8E%92%E5%88%97%E4%B8%8E%E7%BB%84%E5%90%88-md/">排列与组合.md</a>
+            <a class="archive-post-title" href="/2024/06/13/%E6%8E%92%E5%88%97%E4%B8%8E%E7%BB%84%E5%90%88/">排列与组合</a>
         </li>
 
 
         <li class="archive-post-item">
             <span class="archive-post-date">06/13</span>
-            <a class="archive-post-title" href="/2024/06/13/%E6%95%B4%E9%99%A4%E5%88%86%E5%9D%97-md/">整除分块.md</a>
+            <a class="archive-post-title" href="/2024/06/13/%E6%95%B4%E9%99%A4%E5%88%86%E5%9D%97/">整除分块</a>
         </li>
 
 
         <li class="archive-post-item">
             <span class="archive-post-date">06/13</span>
-            <a class="archive-post-title" href="/2024/06/13/%E6%A0%91%E5%9E%8BDP%E5%92%8C%E7%BC%A9%E7%82%B9%E5%90%8E%E6%A0%91%E5%9E%8BDP-md/">树型DP和缩点后树型DP.md</a>
+            <a class="archive-post-title" href="/2024/06/13/%E6%A0%91%E5%9E%8BDP%E5%92%8C%E7%BC%A9%E7%82%B9%E5%90%8E%E6%A0%91%E5%9E%8BDP/">树型DP和缩点后树型DP</a>
         </li>
 
 
         <li class="archive-post-item">
             <span class="archive-post-date">06/13</span>
-            <a class="archive-post-title" href="/2024/06/13/%E6%A0%B9%E5%8F%B7%E7%AE%97%E6%B3%95%E7%9B%B8%E5%85%B3-md/">根号算法相关.md</a>
+            <a class="archive-post-title" href="/2024/06/13/%E6%A0%B9%E5%8F%B7%E7%AE%97%E6%B3%95%E7%9B%B8%E5%85%B3/">根号算法相关</a>
         </li>
 
 
         <li class="archive-post-item">
             <span class="archive-post-date">06/13</span>
-            <a class="archive-post-title" href="/2024/06/13/%E7%9F%A9%E9%98%B5%E4%B9%98%E6%B3%95-md/">矩阵乘法.md</a>
+            <a class="archive-post-title" href="/2024/06/13/%E7%9F%A9%E9%98%B5%E4%B9%98%E6%B3%95/">矩阵乘法</a>
         </li>