摘要：
前言 一些约定：∨\lor∨ 表示逻辑或，∧\land∧ 表示逻辑与，¬x\neg x¬x 表示 xxx 取 000，xxx 表示 xxx 取 111。 2-SAT 就是形如 A=a∨B=b∣a,b=[0,1]A=a\lor B=b|a,b=[0,1]A=a∨B=b∣a,b=[0,1] 的问题。 假 阅读全文
posted @ 2024-07-23 22:01
cjrqwq
阅读(7)
评论(0)
推荐(0)
摘要：
观察题目，发现只知道开始和结束是星期几，但是不知道过了几个星期，其实这就是在模意义下的线性方程组。设处理第 iii 条记录时，工人工作了 bib_ibi 天，第 jjj 种零件做了 aja_jaj 个，第 iii 种零件的制作时间是 xix_ixi 天，将其表示一下： {a1,1x1+a1,2 阅读全文
posted @ 2024-07-23 21:23
cjrqwq
阅读(10)
评论(0)
推荐(0)
摘要：
前言 对于一个二元一次方程。可以把 yyy 用 xxx 表示出来，再代入到另一个式子，就可以知道 xxx，再通过 xxx 可以算出 yyy。 流程 这个过程就是高斯消元法。下面是算法流程。 设每个式子都形如 a1x1+a2x2⋯+an−1xn−1+anxn=Sia_1x_1+a_2x_2\dots+ 阅读全文
posted @ 2024-07-23 17:53
cjrqwq
阅读(7)
评论(0)
推荐(0)
浙公网安备 33010602011771号