2-SAT

标签

CodeForces 题目小结

2020年12月12日 Marvolo 0条评论

ACM
题解

# 683 Div 1 C 题意

2-SAT Codeforces DP Trie树数学最短路

[NOI2017][BZOJ4945][LOJ2305]游戏

2019年8月2日 Marvolo 0条评论

ACM
题解

已知有3种赛车和4种车道，其中三种普通车道可以通行两种赛车，一种特殊车道可以通行三种赛车。另有一些限制条件，格 […]

2-SAT BZOJ LOJ NOI

2-SAT学习笔记

2019年8月1日 Marvolo 0条评论

定义每个方程含有n个未知数的布尔方程组称为n-SAT问题，当n大于2的时候该问题为NP-Hard问题。当n等 […]

2-SAT ACM 学习笔记

已跳转到上次阅读的位置，从头阅读？否是

更换主题