layout: post title: 训练指南 UVALive 3211 （2 SAT + 二分） author: "luowentaoaa" catalog: true mathjax: true tags: 2 SAT 图论 训练指南 Now or later "UVALive 3211" 题 ...
分类：
其他好文 时间：
2019-01-31 20:57:04
阅读次数：
218
layout: post title: 训练指南 UVALive 3713 （2 SAT） author: "luowentaoaa" catalog: true mathjax: true tags: 2 SAT 图论 训练指南 Astronauts "UVALive 3713 " 题意 有A,B ...
分类：
其他好文 时间：
2019-01-31 20:50:26
阅读次数：
189
# -*- coding: utf-8 -*-"""Created on Sat Jan 19 16:59:35 2019 @author: Administrator""" import tensorflow as tf from numpy.random import RandomState b ...
分类：
其他好文 时间：
2019-01-19 18:41:30
阅读次数：
257
1997: [Hnoi2010]Planar 链接 分析： 首先在给定的那个环上考虑进行操作，如果环内有有两条边相交，那么可以把其中的一条放到环的外面去。所以转换为2-sat问题。 像这样，由于1-4和2-3在环内相交了，所以可以把1-4放到环外，就变成了下图。 代码： ...
分类：
其他好文 时间：
2019-01-19 12:11:12
阅读次数：
186
Katu Puzzle 链接 题意： 有n个变量（每个变量只能是0或者1），m个等式，每个等式形如$x_i \ op \ x_j = c, \ op \in["and","or","xor"],c \in [0,1]$，问能否给n个变量赋值，满足所有等式。 分析： 2-sat问题。 注意一下a&b= ...
分类：
其他好文 时间：
2019-01-18 19:50:58
阅读次数：
139
先推两篇dalao资料： https://wenku.baidu.com/view/afd6c436a32d7375a41780f2.html https://blog.csdn.net/jarjingx/article/details/8521690 好像还有https://wenku.baidu ...
分类：
其他好文 时间：
2018-12-23 12:45:38
阅读次数：
149
ECharts官网示例： 1 option = { 2 xAxis: { 3 type: 'category', 4 data: ['Mon', 'Tue', 'Wed', 'Thu', 'Fri', 'Sat', 'Sun'] 5 }, 6 yAxis: { 7 type: 'value' 8 } ...
分类：
数据库 时间：
2018-12-02 22:38:53
阅读次数：
273
When Kefa came to the restaurant and sat at a table, the waiter immediately brought him the menu. There were n dishes. Kefa knows that he needs exactl ...
分类：
其他好文 时间：
2018-11-25 01:21:45
阅读次数：
161
两个钥匙a,b是一对，隐含矛盾a->!b。b->!a 一个门上的两个钥匙a,b，隐含矛盾!a->b，!b->a（看数据不大，我是直接枚举水的，要打开当前门，没选a的话就一定要选b打开。没选b的话，就一定要选a打开） #include<iostream> #include<cstdio> #inclu ...
分类：
其他好文 时间：
2018-11-12 18:33:40
阅读次数：
130
题意：中文题，裸的SAT 思路：推荐一个聚聚关于SAT的讲解（传送门），poj也有类似的板子题，谁知道poj挂了 代码： ...
分类：
其他好文 时间：
2018-11-09 18:19:34
阅读次数：
159
