Merge pull request #1328 from PonderKoKo/master

Add potential TLE testcases for two_sat

Author: maspypy

other/two_sat/gen/long_chain.cpp

@@ -0,0 +1,24 @@
+#include "random.h"
+#include <iostream>
+
+using namespace std;
+
+// 1 -> 2, 2 -> 3, ..., n-1 -> n, n -> -n.
+// Leads to quadratic runtime when attempting to set variables to true in ascending order.
+// Also generates symmetrical testcases that flip each variable or the order.
+int main(int, char* argv[]) {
+
+    long long seed = atoll(argv[1]);
+
+    int n = 500'000;
+    auto flip = [&] (int i) {
+        if (seed & 1) i *= -1;
+        // Map n <-> 1, n - 1 <-> 2, ..., -n <-> -1, -(n - 1) <-> -2, ...
+        if (seed & 2) i = (i > 0 ? 1 : -1) * (n + 1) - i;
+        return i;
+    };
+    printf("p cnf %d %d\n", n, n);
+    for (int i = 1; i <= n; i++)
+        printf("%d %d 0\n", flip(-i), flip(i == n ? -n : i + 1));
+    return 0;
+}

other/two_sat/hash.json

@@ -17,6 +17,14 @@
   "max_random_03.out": "ec1f6fbaa5a28ccced08db81ec28e54837b023d01d07306d238c8e251c2d1730",
   "max_random_04.in": "89b06ca430c85621fefa5646bdb530499a693ee1b65a77615ff13255e15c983f",
   "max_random_04.out": "afa233a49d2e5feacdba78c0b9ce71e5ae415bf516b3503d1697424f68783cfa",
+  "long_chain_00.in": "f962b54cff18f6cbfb7bcf32ebe2ecac8c09553dccd169037e8c7886086feb3e",
+  "long_chain_00.out": "f618525e84f0b7c761c566128e8fe6f28471b9d9150594b50ceff4ff976a36a5",
+  "long_chain_01.in": "1618a29daa67db152d46739a23eb072dee00ebe384352254983bb6bb91f84171",
+  "long_chain_01.out": "9433dad1a560921b3fda167802d86bf3fdb77125a063765ef84b235edec7555b",
+  "long_chain_02.in": "c9fad21bd9b8e594990bb48abb5d7fd34d295229fc70b0fe7f42a04487dc0c66",
+  "long_chain_02.out": "f618525e84f0b7c761c566128e8fe6f28471b9d9150594b50ceff4ff976a36a5",
+  "long_chain_03.in": "4e0c7c6cc9464c22917812731d5e4a4becc51e09b5d6790fc51501560a42e6a9",
+  "long_chain_03.out": "9433dad1a560921b3fda167802d86bf3fdb77125a063765ef84b235edec7555b",
   "random_00.in": "a029f1e87b4932652a66ce0190cc21cd3d883f8c2e4d6d294294ae00b364d7a5",
   "random_00.out": "bde6e1eede96772c07c8ce29fd18088863815bd043aa59a06f11f5838cf8a162",
   "random_01.in": "3b705485df2b13619ead244c10c9f9d58c8b9a9dcfea85d7aea1460e6a40fdd3",

other/two_sat/info.toml

@@ -14,3 +14,6 @@ forum = "https://github.com/yosupo06/library-checker-problems/issues/26"
 [[tests]]
     name = "cycle_unsat.cpp"
     number = 2
+[[tests]]
+    name = "long_chain.cpp"
+    number = 4