Z3 求解2026-04-07Z3 求解 s=solver()，创建一个解的对象。 s.add(条件)，为解增加一个限制条件 s.check()，检查解是否存在，如果存在，会返回"sat" modul()，输出解得结果 …阅读全文 →
二叉树还原2026-04-07二叉树还原 这个原理确实我写的没有 https://algo.itcharge.cn/05_tree/05_01_tree_basic/ 这个大佬写的好 还是非常建议看看这个大佬写的 我就拿过来整理了一下 毕竟我们是逆向还原的 主要讲解普通 …阅读全文 →