随笔分类 -  图论-2-sat

随笔分类 -  图论-2-sat

随笔分类 -  图论-2-sat

该文被密码保护。
posted @ 2021-05-03 20:58 suxxsfe 阅读(2) 评论(0) 推荐(0) 编辑
摘要:记录一些做过的 2 sat 题目 P4171 [JSOI2010]满汉全席 "洛谷 P4171" , "bzoj 1823" 很裸的 2 sat 题意:n 种食材,每种可以按照满式或汉式来烹饪,有 m 个要求,每个要求所有做出的菜品中,必须有指定的两个 满式/汉式 烹饪的第 x 种食材 阅读全文
posted @ 2020-05-05 22:28 suxxsfe 阅读(1195) 评论(0) 推荐(0) 编辑
摘要:k sat sat 是 Satisfiability 的缩写,就是对一串 bool 量进行赋值,使其满足布尔方程 具体来说,k sat 就是给出若干个限制: ap1ap2apk=x 求的一组满足所有限制合法解,\o 阅读全文
posted @ 2020-05-04 21:04 suxxsfe 阅读(148) 评论(0) 推荐(0) 编辑

This blog has running: 1856 days 2 hours 0 minutes 43 seconds

Copyright © 2025 suxxsfe
Powered by .NET 9.0 on Kubernetes
点击右上角即可分享
微信分享提示