Đến nội dung chính

Canuc80kThuật toán

Lộ trình Bài tập Tài liệu

Lộ trình

B0C++ Template B1cin and cout B2if and else B3for and while B4Functions B5Arrays

00Brute Force 01Ad Hoc 02Prefix Sum 03Sorting 04Greedy 05Binary Search 06Two Pointers 07Backtracking 08Arithmetic 09C++ STL

10Meet in the Middle 11Divide and Conquer 12Dynamic Programming 13Digit DP 14Bitwise Operations 15Bitmask DP 16Fenwick Tree 17Segment Tree 18Matrix Multiplication 19Hashing

20Trie 21KMP 22Sparse Table 23Disjoint Set Union 24Sqrt Decomposition 25Mo's Algorithm 26Advanced DP 27Bitset 28Interactive Problems 29Constructive Algorithms

30DFS and BFS 31Euler Tour 32Topological Sort 33Rerooting DP 34Shortest Paths 35Binary Lifting 36Lowest Common Ancestor 37Minimum Spanning Tree 38DFS Tree 39Sweep Line

40Lexicographic DP 41Divide and Conquer DP and Knuth 42Convex Hull Trick 43Open and Close Interval Trick 44Broken Profile DP 452D Fenwick Tree 46SOS DP 47Extended Euclidean Algorithm 48Z Function 49Network Flow

50Eulerian Path 51Parallel Binary Search 52Ad Hoc Game Theory 53Sprague Grundy Theorem 54Chinese Remainder Theorem 55Probability 56Randomized Algorithms 57Ternary Search 58Heavy Light Decomposition 59Persistent Segment Tree

60CDQ Divide and Conquer 61XOR Basis 62Suffix Structures 63Gaussian Elimination 64Matching 65Balanced Binary Search Tree 66Segment Tree Beats 67Centroid Decomposition 68FFT and NTT 69Geometry

70Möbius Function 71Lagrange Interpolation 72Advanced Math 73Aho Corasick 74Rollback 75Li Chao Tree 76Advanced Trees 772-SAT 78Aliens Trick 79Slope Trick

Lộ trình/Chương 7/Bài 77/canuc80k7712

canuc80k7712·13/39

Dựng Phép Gán Cho Công Thức Hai-CNF

Nộp bài trên LQDOJ

Bài 77 · 2-SAT

Bài tập chỉ dành cho người đăng ký gói CP Pro.

Bài trướcKiểm Tra Công Thức Hai-CNF Bài sau Dãy Công Thức Liên Tiếp

Thuật toán Canuc80k

Bài tập Tài liệu Góp ý Quyền riêng tư