DescriptionGiven N numbers, X1, X2, ... , XN, let us calculate the difference of every pair of numbers: ∣Xi - Xj∣ (1 ≤ i ＜ j ≤ N). We can get C(N,2) d...
分类：
其他好文 时间：
2015-09-04 19:53:04
阅读次数：
902
最近因为受到工作上的启发，还有Konrad先生的框架的启发，想要自己动手写一个javascript的框架。 现在设想的框架是mvc模型，纯javascript，加上一些预定义css界面元素。面向Cordova端移动应用开发。 名字叫XJ框架...
分类：
其他好文 时间：
2015-08-26 18:08:32
阅读次数：
141
1.题目描述：点击打开链接
2.解题思路：本题属于2-SAT问题，第一次做这种题，还是很感兴趣的。2-SAT解决的是给定m条语句，每一条语句形如“xi为真或xj为假”，问你是否可能让所有的语句都成立。那么不难发现，本题就属于一种2-SAT问题。
首先，根据题意可知，第i轮有2种出法，要么是x[i]，要么是(x[i]+1)%3。我们令xi为真表示出x[i]，xi为假表示出(x[i]+1)...
分类：
其他好文 时间：
2015-08-26 14:02:40
阅读次数：
124
我有n个式子对于每个式子，要么是xi=xj的形式，要么是xi xj的形式。现在我给出这n个式子，你要告诉我，这n个式子是否可能同时成立。【输入格式】每个测试点有多组测试数据。第一组有一个个整数T，表示测试数据的组数。对于每一组组测试数据，第一行包含一个个正整数n，表示式子的数目。接下来n 行，每行....
分类：
其他好文 时间：
2015-08-20 15:08:10
阅读次数：
225
@MappedSuperclass的用法 用在实体的继承过程中的父类上；父类Cat 1 package com.xj.model; 2 3 import javax.persistence.GeneratedValue; 4 import javax....
分类：
Web程序 时间：
2015-08-20 15:02:36
阅读次数：
134
4195: [Noi2015]程序自动分析Time Limit: 10 Sec Memory Limit: 512 MB
Submit: 294 Solved: 149
Description在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。考虑一个约束满足问题的简化版本：假设x1,x2,x3,…代表程序中出现的变量，给定n个形如xi=xj或xi≠xj的变量相等/不等的约束条...
分类：
其他好文 时间：
2015-08-13 18:06:42
阅读次数：
103
Description在实现程序自动分析的过程中,常常需要判定一些约束条件是否能被同时满足。考虑一个约束满足问题的简化版本：假设x1,x2,x3,…代表程序中出现的变量，给定n个形如xi=xj或xi≠xj的变量相等/不等的约束条件，请判定是否可以分别为每一个变量赋予恰当的值，使得上述所有约束条件同时被满足。例如，一个问题中的约束条件为：x1=x2，x2=x3，x3=x4，x1≠x4，这些约束条件显然...
分类：
其他好文 时间：
2015-08-13 15:49:29
阅读次数：
118
题意：平面上有n个点，每个点画一个正方形并且该点要落在正方形上边或者下边的中间，问满足条件的最大正方形的边长是多少。
思路：二分边长mid，建图用2-SAT作为判断条件。
i表示画在上面，~i表示画在下面
if|xi-xj|>=mid continue;
else if |yi-yj|>=2*mid continue;
else if |yi-yj|==0 then i->~j,~i->j,j->~i,~j->i;
else if |yi-yj|>0 then ~i->i,j->~j;
else |yi-y...
分类：
其他好文 时间：
2015-08-10 20:01:19
阅读次数：
159
??
题意： 面上n个点，某点到其他点的曼哈顿距离最小和，切比雪夫距离最小和。
思路：对于切比雪夫距离可以转化为哈密顿距离，方法是将每个点的坐标逆时针旋转45度然后放大sqrt（2）倍，换成坐标表示也就是（x,y）->(x-y,x+y).
对于第一个问题，求曼哈顿距离最小和，也就是sum（xj-xi）+sum(yj-yi)。
如果直接求时间复杂度无法承受。
所以我们可以先对x排序，对于从...
分类：
其他好文 时间：
2015-07-31 20:25:12
阅读次数：
156
差分约束系统中的每个约束条件是形如如下所示的简单不等式：
xj - xi
例如，求解不等式组
x1-x5≤-1
x2-x5≤1
x3-x1≤5
x4-x1≤4
x4-x3≤-1
x5-x3≤-3
x5-x4≤-3
该问题的一个解为x=(-5,-3,0,-1,-4)，另一个解y=(0,2,5,4,1)，这2个解是有联系的：y中的每个元素比x中相应的元素大5。
引理：设x=(x...
分类：
其他好文 时间：
2015-07-26 06:14:19
阅读次数：
137
