dingdi3021
dingdi3021

Hdu--3062（2-SAT）

2014-10-15 23:46:02

思路：2-SAT 启蒙题，很裸很粗暴。直接敲，基本思路：把每个家庭的妻子和丈夫各看做一个点，链前向星建图，一条关系建两条边，然后循环一遍Dfs所有点，每个点Dfs两次（分别指派这个点为真和假），只要发现某次Dfs能成功遍历完一圈那么说明这个真值指派是可行的，即可退出。如果两次Dfs均失败，那么2-sat图不可建。

 1 /*************************************************************************
 2     > File Name: 3062.cpp
 3     > Author: Nature
 4     > Mail: [email protected] 
 5     > Created Time: Wed 15 Oct 2014 11:22:36 PM CST
 6 ************************************************************************/
 7 
 8 #include 
 9 #include 
10 #include 
11 #include 
12 #include 
13 #include 
14 #include <set>
15 #include 
16 #include 
17 #include 
18 #include 
19 using namespace std;
20 #define lp (p << 1)
21 #define rp (p << 1|1)
22 #define getmid(l,r) (l + (r - l) / 2)
23 #define MP(a,b) make_pair(a,b)
24 typedef long long ll;
25 const int INF = 1 << 30;
26 const int maxn = 2010;
27 
28 int n,m,cnt;
29 int first[maxn],next[maxn * maxn],ver[maxn * maxn],ecnt;
30 int S[maxn];
31 bool mark[maxn];
32 
33 void Init(){
34     memset(first,-1,sizeof(first));
35     memset(mark,false,sizeof(mark));
36     ecnt = 0;
37     cnt = 0;
38 }
39 
40 void Add_edge(int u,int v){
41     next[++ecnt] = first[u];
42     ver[ecnt] = v;
43     first[u] = ecnt;
44 }
45 
46 bool Dfs(int p){
47     if(mark[p ^ 1]) return false;
48     if(mark[p]) return true;
49     mark[p] = true; //标记真值
50     S[cnt++] = p; //入队
51     for(int i = first[p]; i != -1; i = next[i]){
52         int v = ver[i];
53         if(!Dfs(v)) return false;
54     }
55     return true;
56 }
57 
58 bool Two_sat(){
59     int top = 2 * n;
60     for(int i = 0; i < top; i += 2){
61         if(!mark[i] && !mark[i + 1]){
62             if(!Dfs(i)){
63                 while(cnt > 0) mark[S[--cnt]] = false;
64                 if(!Dfs(i + 1)) return false;
65             }
66         }
67     }
68     return true;
69 }
70 
71 int main(){
72     int a1,a2,c1,c2;
73     while(scanf("%d%d",&n,&m) != EOF){
74         Init();
75         for(int i = 0; i < m; ++i){
76             scanf("%d%d%d%d",&a1,&a2,&c1,&c2);
77             int u,v;
78             u = a1 * 2 + c1;
79             v = a2 * 2 + c2;
80             Add_edge(u ^ 1,v);
81             Add_edge(v ^ 1,u);
82         }
83         if(Two_sat()) printf("YES\n");
84         else printf("NO\n");
85     }
86     return 0;
87 }

 

转载于:https://www.cnblogs.com/naturepengchen/articles/4027746.html

你可能感兴趣的:(Hdu--3062（2-SAT）)

  • 【UVALive】6776 2014WorldFinal G Metal Processing Plant【2-sat——bitset优化kosaraju求scc】 poursoul 2-sat强连通【SCC】双指针bitset
    题目链接：MetalProcessingPlantbitset优化kosaraju，复杂度O(n^2/64)，总复杂度O(n^4/64)。#includeusingnamespacestd;typedeflonglongLL;typedefpairpii;typedefunsignedlonglongULL;#defineclr(a,x)memset(a,x,sizeofa)constintMAX
  • 2021年济南站icpc（2-SAT未补） C_eeking ACM训练2021贪心思维图论
    2021年济南站icpc导语涉及的知识点题目CEKM参考文献导语问就是后悔，说不定能拿银，至少能铜的，矩阵那个题，欲哭无泪，以后得算一下样例再看涉及的知识点搜索，组合数学，二维前缀和，dp，计算几何，2-SAT链接：The2021ICPCAsiaJinanRegionalContest题目C题目大意：有n件物品，第i件的价值为a[i]。A和B轮流取物品，A先手。每个玩家都要最大化自己取到的物品的价
  • 2-SAT问题合集-ybtoj Mint-hexagram 模板图论强连通分量C++算法图论2_sat强联通
    所谓2-SAT问题，就是有两个SAT的问题（误SAT是适定性（Satisfiability）问题的简称。一般形式为k-适定性问题，简称k-SAT。而当k>2k>2k>2时该问题为NP完全的。所以我们只研究k=1k>2k>2k>2的情况。一、2-SAT问题的定义：2-SAT，简单的说就是给出nnn个集合，每个集合有两个元素，已知若干个，表示aaa与bbb矛盾（其中aaa与bbb属于不同的集合）。然后
  • SCAU2021春季个人排位赛第四场 （部分题解） 晁棠 题解
    预设应该有：简单题：AD中等题：BCF较难题：EGA：二分B：状压DPC：最短路+二分D：单调栈E：后缀数组/后缀自动机F：贪心+堆G：2-SAT状压不会，最短路有些许忘记，先写了其中已经改了的题解先。A题CodeForces-371CPolycarpusloveshamburgersverymuch.Heespeciallyadoresthehamburgershemakeswithhisown
  • 2-sat 问题* N个集团，每个集团2个人，现在要想选出尽量多的人， 千秋TʌT 图论深度优先算法
    |2-sat问题*N个集团，每个集团2个人，现在要想选出尽量多的人，*且每个集团只能选出一个人。如果两人有矛盾，他们不能同时被选中*问最多能选出多少人\*==================================================*/constintMAXN=3010;intn,m;intg[3010][3010],ct[3010],f[3010];intx[3010],y
  • HDU1814 Peaceful Commission(2-SAT输出字典序最小的解) 我他喵的 图论
    题目链接题意现在有n个党派，每个党派拥有两个候选代表，第i个党派的候选代表为2i-1和2i，两个党派候选人只会有一个去参加会议，此外还有m对候选人互相看不顺眼，只能去其中一个，求字典序最小的代表人选。思路一个比较明显的2-SAT问题，但是需要输出最小解，所以似乎不可以用传统的拓扑排序寻找可行解，于是采取了DFS解法，复杂度O(nm)，其能选取出最小解的原因应该是采取了顺序的遍历方式。代码#incl
  • 2023“钉耙编程”中国大学生算法设计超级联赛（3） 秦三码 多校真题ICPC区域赛真题算法ICPC区域赛
    ChaosBegin贪心/凸包OutofControlDP，递推OperationHope贪心/2-sat与二分8-bitZoom二维前缀NoblesseCode轨迹哈希，字典序，差分Problem-73032n个点，分为两组，使得第一组整体偏移相同方向和距离能够得到第二组。考虑，对x降序排序，x相同则y降序排序。然后固定第一个点为第一个集合。暴力枚举与之配对的第二集合的一点，获得dx,dy。然后
  • 2-SAT 学习笔记 静谧幽蓝_ 洛谷题库题目洛谷【模板】c++
    Introduction\raisebox{-15pt}{\Large\texttt{Introduction}}Introduction2-SAT是用来解决多个类似A为true/false或者B为true/false的约束之类的问题。比如说有两个约束：A=true或B=false和B=true或C=true，此时就可以这样：A=true,B=true,C=true。Beforeyouread\r
  • 做题记录 To 2019.2.13 weixin_30621919 数据结构与算法
    2019-01-184543:[POI2014]Hotel加强版：长链剖分+树形dp。3653:谈笑风生：dfs序+主席树。POJ3678KatuPuzzle：2-sat问题，给n个变量赋值（0/1），满足所有等式。POJ3683PriestJohn'sBusiestDay：2-sat问题，输出方案。2019-01-191997:[Hnoi2010]Planar：2-sat问题，存在哈密顿路径的图
  • Codeforces Round #812 (Div. 2) lovesickman #codeforcesdiv2c++算法数据结构图论
    CodeforcesRound#812(Div.2)E.CrossSwapping（扩展域并查集解决2-SAT）引用一段关于扩展域并查集的总结：并查集分两种：带边权和扩展域带边权：带边权的并查集维护的是相对关系，也就是相对于根的关系，能用并查集来做个核心思想有两点，第一点就是关系具有传递性，也就是说，如果已知x,yx,yx,y的关系也知道y,zy,zy,z的关系，那么必然知道x,zx,zx,z的关
  • 2-SAT lovesickman 图论#Luogu图论算法
    2-SAT给nnn个命题，每个命题只有两个变量，每个变量要么是111(真)要么是000(假)。询问是否有合法的构造使得所有的命题的与成立。a→b  ⟺  ¬a∨ba\rightarrowb\iff\nega\veeba→b⟺¬a∨b(→\rightarrow→是蕴含，若p则q的意思)a→b  ⟺  ¬b→¬aa\rightarrowb\iff\negb\rightarrow\negaa→b⟺¬b→
  • 寒假集训计划（线下） ACM@NCWU 笔记
    12月28日，社团寒假集训-线下部分开始，为期1周，请大家到活动室。目前的训练计划如下：（如有变化，另行通知）八皇后，八数码（申振强）并查集，线段树（贾冕）LCS，DP（原野）图论:DFS&BFS（龙霄）图论:拓扑排序，关键路径（许明军）图论：单源/多源最短路（张璞凡）2-SAT，最大流，最小生成树（孙国星）尺取，倍增，剪枝等优化技巧。（原野，龙霄）
  • CF1007D. Ants（树链剖分＋线段树＋2-SAT及前缀优化建图） anzi3457 数据结构与算法
    题目链接https://codeforces.com/problemset/problem/1007/D题解这道题本身并不难，这里只是记录一下2-SAT的前缀优化建图的相关内容。由于问题的本质是给定许多二元集合，判断是否能从每一个二元集合中选出一个元素，使得所有选出的元素合法，因此考虑使用2-SAT解决该问题。不难发现，使用2-SAT解决该问题的复杂度瓶颈在于建图。我们为每一种颜色\(i\)对应的
  • Peaceful Commission HDU - 1814 (2-SAT)(输出最小字典序) 肘子zhouzi 2-sat
    传送门题意：就是有n党派，每个党派两个人，只能够从中选择一个人进入委员会。同时，有m组关系，表示某两个人不能够同时出现在委员会中。求出字典序最小的委员会名单。题解：一个2-sat问题，因为要求出最小字典序，只能够用最暴力的方法，时间复杂度为O(nm)。通过2-sat问题构图1.首先对当前点x进行染色，染为可行，其党派内的对应结点x’则染为不可行。2.访问所有和x相连的结点vi，依次进行搜索。3.如
  • poj3648Wedding【2-SAT】输出任意解 MissZhou要努力 —图论———连通性2-SAT
    TotalSubmissions:9574Accepted:2908SpecialJudgeDescriptionUptothirtycoupleswillattendaweddingfeast,atwhichtheywillbeseatedoneithersideofalongtable.Thebrideandgroomsitatoneend,oppositeeachother,andthebr
  • POJ3648-2SAT解的求得 ACM_Victoria 图论ACM
    算法参考:2-SAT解法浅析华中师大一附中赵爽#include#include#include#include#include#includeusingnamespacestd;constintNN=100;constintMM=1000;structTwoSAT{intn,en,head[NN],next[MM],to[MM],from[MM];//原图(前向星),n个点,2SAT编号0~2*n
  • hdu1814 Peaceful Commission，2-sat yew1eb ACM-图论与网络流
    题目大意：一国有n个党派，每个党派在议会中都有2个代表，现要组建和平委员会，要从每个党派在议会的代表中选出1人，一共n人组成和平委员会。已知有一些代表之间存在仇恨，也就是说他们不能同时被选为和平委员会的成员，现要你判断满足要求的和平委员会能否创立？如果能，请任意给出一种方案。2-sat问题#include#include#include#include#includeusingnamespaces
  • 2-SAT问题的解法（uva1146） Yoangh 2-set
    SAT：就是一些由布尔值组成的关系的集合。2-SAT：就是由两个布尔值组成的关系的集合。2-SAT问题：就是给出一些关系，然后问能不能满足这些所有的关系？现在比如说有n个国家，每个国家有两个代表，必须选出一个代表参加一个国际会议，但是有些代表之间有矛盾，现在给出这些矛盾的代表，问能不能选出满足条件的。4个国家，代表编号为2*i，2*i-1这些代表有矛盾1和4，2和3，7和3这样的话肯定是能够满足条
  • bzoj1997 [HNOI2010]平面图判定Plana 复杂的哈皮狗
    bzoj1997[HNOI2010]平面图判定Planar链接bzojluogu思路好像有很多种方法过去。我只说2-sat环上的边，要不在里面，要不在外边。有的边是不能同时在里面的,可以O(m^2)的连边但是m是10000，不过平面图内边数不得超过3*n-6,m太大的直接NO就好了，其他的n,m是一个数量级的，直接2-sat暴力连边做就好了。细节双向边是边m进行2-sat，不是点n代码#inclu
  • loj 1407(2-sat + 枚举 + 输出一组可行解 ) weixin_34413065
    题目链接：http://acm.hust.edu.cn/vjudge/problem/viewProblem.action?id=27115思路：有一个trick要注意：当情况为2xy时，可以推出当y留下时，x也必须留下。然后就是后面的k个限制关系，我们可以3^(k)次方枚举，一旦找到符合条件的就return。然后就是反向建图，拓扑排序找可行解。1#include2#include3#includ
  • poj3648,2-sat求解 weixin_34337265
    关键是题意的理解，英语，有时候明明每个字都认识，但是还是理解错误!哎！！悲剧啊！题意啊！这是关键！开始误理解为n对新娘郞，非也！是只有一对，其他是夫妇，理解后就好做了，建立图是关键，怎么转化关系，对到2sat问题上来，不妨设坐在新娘一排的是要“选择”的，那么对每组读入，必需至少一个要选择，（柳暗花明啦？！）然后标号，2-SAT即可。没有1A原因：1：题意到关系一误：特殊情况：当新郞有奸情的时候，与
  • 2-SAT问题总结 weixin_34242331 c/c++
    2-SAT问题总结2-SAT问题：n个布尔型的变量，给出m个约束条件，约束条件例如：A，B不能同时为真，A，B必须同时为真等。看了算法入门经典中的解决办法，关于这种解决办法比较容易理解，并且效率也不错。构造一张有向图G，其中n个变量拆成n*2个变量，也就是xi用xi*2和xi*2+1表示，如果前者标记为1，那么说明xi为真，如果后者标记为1，那么说明xi为假。对于约束条件就可进行构成边，例如xi为
  • BZOJ1997 [Hnoi2010]Planar 【2-sat】 weixin_30949361
    题目链接BZOJ1997题解显然相交的两条边不能同时在圆的一侧，\(2-sat\)判一下就好了但这样边数是\(O(m^2)\)的，无法通过此题但是\(n\)很小，平面图边数上界为\(3n-6\)，所以过大的\(m\)可以判掉#include#include#include#include#include#include#defineRedge(u)for(intk=h[u],to;k;k=ed[k
  • 2-Sat专题 weixin_30750335
    先推两篇dalao资料：https://wenku.baidu.com/view/afd6c436a32d7375a41780f2.htmlhttps://blog.csdn.net/jarjingx/article/details/8521690好像还有https://wenku.baidu.com/view/0f96c3daa58da0116c1749bc.html，不过我还没有看过花了几天搞
  • HDU1814和平委员会 weixin_30725315
    题目大意：有n对的人，编号从1-2*n，m对的人之间互相不喜欢，每对人中必徐选1个人加入和平委员会，求字典序最小的解————————————————————————————————2-SAT问题，由于要最小字典序，就不能scc的方法求了，只能暴力染色。O(n*m)————————————————————————————————1#include2#include3#include4#include
  • Uvalive 3211 - Now or later（2-SAT） weixin_30588827
    题目链接https://vjudge.net/problem/UVALive-3211【题意】有n架飞机需要着陆，每架飞机可以选择早着陆E或晚着陆L两种方式，必须选一种，不得在其它时间着陆。你的任务是安排这些飞机的着陆方式，使得整个计划尽量安全，也就是说把所有飞机的着陆时间升序排列后，相邻两个着陆时间间隔的最小值应尽量大。【思路】大白书325页例题，最小值最大化的问题可以采用二分答案的方法解决，问
  • LOJ-10097（2-sat问题） weixin_30542079
    题目链接：传送门思路：2-sat问题，如果选每个集合最多有两个元素，eg：（Ai，Ai’），（Bi，Bi’）；如果Ai，Bi冲突，就只能选Ai，Bi’（建立边），然后缩点，查找有无相同集合的点在同一个集合中。然后将区块节点较小的先输出。具体的2-sat问题（还是比较懵）#include#include#includeusingnamespacestd;constintmaxn=200200;int
  • 2-sat问题学习记录 weixin_30279315
    如果你不知道什么是sat问题,请看以下问答.Q:sat问题是什麽?A:首先你有n个布尔变量,然后你有一个关于这n个布尔变量的布尔表达式,问你,如果让你随意给这n个布尔变量赋值,这个布尔表达式能否成立.Q:k-sat是什麽意思?A:把sat问题中的布尔表达式不断进行转化,直到变为一个由与连接的若干个[由或连接的若干个(布尔变量或被非运算了的布尔变量)],那么所有的[]中()的数量的最大值为k.Q:怎
  • [模板]2-SAT 问题&和平委员会 weixin_30265103
    tarjan的运用thisisaproblem:link2-SAT处理的是什么首先，把「2」和「SAT」拆开。SAT是Satisfiability的缩写，意为可满足性。即一串布尔变量，每个变量只能为真或假。要求对这些变量进行赋值，满足布尔方程。所以看这道题若ai为真或aj为真，所以当ai为真时aj必须为假，若aj为真时ai必须为假所以假设i为ai为真,i+n为ai为假所以建边(i,j+n),(j,
  • UVA1391、LA3713【astronauts...】【2 -SAT】 Beyyes ACM
    这题一开始自己想到了3-SAT。。。照着敲了个试试，好像不太对。。深入的3-SAT不会，有点囧然后就积极往2-SAT上想想分开小于ave和大于等于ave的两部分各自2-SAT不能考虑某些情况，显然。。。于是呵呵了。。正解是分开讨论。如果a和b都小于ave或都是大于等于ave的或一个小于ave一个大于ave。。这种情况不能同时为真或为假这种情况只要不同时为假即可可同时为真自己错的也是有收获的。2-S
  • Java实现的基于模板的网页结构化信息精准抽取组件：HtmlExtractor yangshangchuan 信息抽取HtmlExtractor精准抽取信息采集
    HtmlExtractor是一个Java实现的基于模板的网页结构化信息精准抽取组件，本身并不包含爬虫功能，但可被爬虫或其他程序调用以便更精准地对网页结构化信息进行抽取。   HtmlExtractor是为大规模分布式环境设计的，采用主从架构，主节点负责维护抽取规则，从节点向主节点请求抽取规则，当抽取规则发生变化，主节点主动通知从节点，从而能实现抽取规则变化之后的实时动态生效。 如
  • java编程思想 -- 多态 百合不是茶 java多态详解
    一: 向上转型和向下转型 面向对象中的转型只会发生在有继承关系的子类和父类中（接口的实现也包括在这里）。父类：人    子类：男人向上转型： Person p = new Man() ; //向上转型不需要强制类型转化向下转型： Man man =
  • [自动数据处理]稳扎稳打,逐步形成自有ADP系统体系 comsci dp
          对于国内的IT行业来讲,虽然我们已经有了"两弹一星",在局部领域形成了自己独有的技术特征,并初步摆脱了国外的控制...但是前面的路还很长....       首先是我们的自动数据处理系统还无法处理很多高级工程...中等规模的拓扑分析系统也没有完成,更加复杂的
  • storm 自定义 日志文件 商人shang stormclusterlogback
    Storm中的日志级级别默认为INFO，并且，日志文件是根据worker号来进行区分的，这样，同一个log文件中的信息不一定是一个业务的，这样就会有以下两个需求出现： 1. 想要进行一些调试信息的输出 2. 调试信息或者业务日志信息想要输出到一些固定的文件中   不要怕，不要烦恼，其实Storm已经提供了这样的支持，可以通过自定义logback 下的 cluster.xml 来输
  • Extjs3 SpringMVC使用 @RequestBody 标签问题记录 21jhf
    springMVC使用 @RequestBody(required = false) UserVO userInfo 传递json对象数据，往往会出现http 415，400,500等错误，总结一下需要使用ajax提交json数据才行，ajax提交使用proxy，参数为jsonData，不能为params；另外，需要设置Content-type属性为json，代码如下： （由于使用了父类aaa
  • 一些排错方法 文强chu 方法
    1、java.lang.IllegalStateException: Class invariant violation at org.apache.log4j.LogManager.getLoggerRepository(LogManager.java:199)at org.apache.log4j.LogManager.getLogger(LogManager.java:228) at o
  • Swing中文件恢复我觉得很难 小桔子 swing
           我那个草了！老大怎么回事，怎么做项目评估的？只会说相信你可以做的，试一下，有的是时间！        用java开发一个图文处理工具，类似word，任意位置插入、拖动、删除图片以及文本等。文本框、流程图等，数据保存数据库，其余可保存pdf格式。ok,姐姐千辛万苦，
  • php 文件操作 aichenglong PHP读取文件写入文件
    1 写入文件 @$fp=fopen("$DOCUMENT_ROOT/order.txt", "ab"); if(!$fp){ echo "open file error" ; exit; } $outputstring="date:"." \t tire:".$tire."
  • MySQL的btree索引和hash索引的区别 AILIKES 数据结构mysql算法
    Hash 索引结构的特殊性，其 检索效率非常高，索引的检索可以一次定位，不像B-Tree 索引需要从根节点到枝节点，最后才能访问到页节点这样多次的IO访问，所以 Hash 索引的查询效率要远高于 B-Tree 索引。     可能很多人又有疑问了，既然 Hash 索引的效率要比 B-Tree 高很多，为什么大家不都用 Hash 索引而还要使用 B-Tree 索引呢
  • JAVA的抽象--- 接口 --实现 百合不是茶
    抽象 接口 实现接口   //抽象 类 ,方法   //定义一个公共抽象的类 ,并在类中定义一个抽象的方法体 抽象的定义使用abstract   abstract class A 定义一个抽象类 例如： //定义一个基类 public abstract class A{     //抽象类不能用来实例化，只能用来继承 //
  • JS变量作用域实例 bijian1013 作用域
    <script> var scope='hello'; function a(){ console.log(scope); //undefined var scope='world'; console.log(scope); //world console.log(b);
  • TDD实践（二） bijian1013 javaTDD
    实践题目：分解质因数 Step1： 单元测试： package com.bijian.study.factor.test; import java.util.Arrays; import junit.framework.Assert; import org.junit.Before; import org.junit.Test; import com.bijian.
  • [MongoDB学习笔记一]MongoDB主从复制 bit1129 mongodb
    MongoDB称为分布式数据库，主要原因是1.基于副本集的数据备份， 2.基于切片的数据扩容。副本集解决数据的读写性能问题，切片解决了MongoDB的数据扩容问题。   事实上，MongoDB提供了主从复制和副本复制两种备份方式，在MongoDB的主从复制和副本复制集群环境中，只有一台作为主服务器，另外一台或者多台服务器作为从服务器。 本文介绍MongoDB的主从复制模式，需要指明
  • 【HBase五】Java API操作HBase bit1129 hbase
    import java.io.IOException; import org.apache.hadoop.conf.Configuration; import org.apache.hadoop.hbase.HBaseConfiguration; import org.apache.hadoop.hbase.HColumnDescriptor; import org.apache.ha
  • python调用zabbix api接口实时展示数据 ronin47
    zabbix api接口来进行展示。经过思考之后，计划获取如下内容：     1、  获得认证密钥     2、  获取zabbix所有的主机组     3、  获取单个组下的所有主机     4、  获取某个主机下的所有监控项  
  • jsp取得绝对路径 byalias 绝对路径
    在JavaWeb开发中，常使用绝对路径的方式来引入JavaScript和CSS文件，这样可以避免因为目录变动导致引入文件找不到的情况，常用的做法如下： 一、使用${pageContext.request.contextPath} 　　代码” ${pageContext.request.contextPath}”的作用是取出部署的应用程序名，这样不管如何部署，所用路径都是正确的。
  • Java定时任务调度：用ExecutorService取代Timer bylijinnan java
    《Java并发编程实战》一书提到的用ExecutorService取代Java Timer有几个理由，我认为其中最重要的理由是： 如果TimerTask抛出未检查的异常，Timer将会产生无法预料的行为。Timer线程并不捕获异常，所以 TimerTask抛出的未检查的异常会终止timer线程。这种情况下，Timer也不会再重新恢复线程的执行了;它错误的认为整个Timer都被取消了。此时，已经被
  • SQL 优化原则 chicony sql
    一、问题的提出 　在应用系统开发初期，由于开发数据库数据比较少，对于查询SQL语句，复杂视图的的编写等体会不出SQL语句各种写法的性能优劣，但是如果将应用系统提交实际应用后，随着数据库中数据的增加，系统的响应速度就成为目前系统需要解决的最主要的问题之一。系统优化中一个很重要的方面就是SQL语句的优化。对于海量数据，劣质SQL语句和优质SQL语句之间的速度差别可以达到上百倍，可见对于一个系统
  • java 线程弹球小游戏 CrazyMizzz java游戏
    最近java学到线程，于是做了一个线程弹球的小游戏，不过还没完善 这里是提纲 1.线程弹球游戏实现 1.实现界面需要使用哪些API类 JFrame JPanel JButton FlowLayout Graphics2D Thread Color ActionListener ActionEvent MouseListener Mouse
  • hadoop jps出现process information unavailable提示解决办法 daizj hadoopjps
    hadoop jps出现process information unavailable提示解决办法   jps时出现如下信息： 3019 -- process information unavailable3053 -- process information unavailable2985 -- process information unavailable2917 --
  • PHP图片水印缩放类实现 dcj3sjt126com PHP
    <?php class Image{ private $path; function __construct($path='./'){ $this->path=rtrim($path,'/').'/'; } //水印函数，参数：背景图，水印图，位置，前缀,TMD透明度 public function water($b,$l,$pos
  • IOS控件学习：UILabel常用属性与用法 dcj3sjt126com iosUILabel
    参考网站： http://shijue.me/show_text/521c396a8ddf876566000007 http://www.tuicool.com/articles/zquENb http://blog.csdn.net/a451493485/article/details/9454695 http://wiki.eoe.cn/page/iOS_pptl_artile_281
  • 完全手动建立maven骨架 eksliang javaeclipseWeb
    建一个 JAVA 项目 ： mvn archetype:create -DgroupId=com.demo -DartifactId=App [-Dversion=0.0.1-SNAPSHOT] [-Dpackaging=jar] 建一个 web 项目 ： mvn archetype:create -DgroupId=com.demo -DartifactId=web-a
  • 配置清单 gengzg 配置
    1、修改grub启动的内核版本 vi /boot/grub/grub.conf 将default 0改为1 拷贝mt7601Usta.ko到/lib文件夹 拷贝RT2870STA.dat到 /etc/Wireless/RT2870STA/文件夹 拷贝wifiscan到bin文件夹，chmod 775 /bin/wifiscan 拷贝wifiget.sh到bin文件夹，chm
  • Windows端口被占用处理方法 huqiji windows
    以下文章主要以80端口号为例，如果想知道其他的端口号也可以使用该方法..........................1、在windows下如何查看80端口占用情况?是被哪个进程占用?如何终止等.        这里主要是用到windows下的DOS工具,点击"开始"--"运行",输入&
  • 开源ckplayer 网页播放器， 跨平台(html5, mobile)，flv, f4v, mp4, rtmp协议. webm, ogg, m3u8 ！ 天梯梦 mobile
    CKplayer，其全称为超酷flv播放器，它是一款用于网页上播放视频的软件，支持的格式有：http协议上的flv,f4v,mp4格式，同时支持rtmp视频流格 式播放，此播放器的特点在于用户可以自己定义播放器的风格，诸如播放/暂停按钮，静音按钮，全屏按钮都是以外部图片接口形式调用，用户根据自己的需要制作 出播放器风格所需要使用的各个按钮图片然后替换掉原始风格里相应的图片就可以制作出自己的风格了，
  • 简单工厂设计模式 hm4123660 java工厂设计模式简单工厂模式
           简单工厂模式（Simple Factory Pattern）属于类的创新型模式，又叫静态工厂方法模式。是通过专门定义一个类来负责创建其他类的实例，被创建的实例通常都具有共同的父类。简单工厂模式是由一个工厂对象决定创建出哪一种产品类的实例。简单工厂模式是工厂模式家族中最简单实用的模式，可以理解为是不同工厂模式的一个特殊实现。
  • maven笔记 zhb8015 maven
    跳过测试阶段： mvn package -DskipTests 临时性跳过测试代码的编译： mvn package -Dmaven.test.skip=true   maven.test.skip同时控制maven-compiler-plugin和maven-surefire-plugin两个插件的行为，即跳过编译，又跳过测试。   指定测试类 mvn test
  • 非mapreduce生成Hfile，然后导入hbase当中 Stark_Summer maphbasereduceHfilepath实例
    最近一个群友的boss让研究hbase，让hbase的入库速度达到5w+/s，这可愁死了，4台个人电脑组成的集群，多线程入库调了好久，速度也才1w左右，都没有达到理想的那种速度，然后就想到了这种方式，但是网上多是用mapreduce来实现入库，而现在的需求是实时入库，不生成文件了，所以就只能自己用代码实现了，但是网上查了很多资料都没有查到，最后在一个网友的指引下，看了源码，最后找到了生成Hfile
  • jsp web tomcat 编码问题 王新春 tomcatjsppageEncode
    今天配置jsp项目在tomcat上，windows上正常，而linux上显示乱码，最后定位原因为tomcat 的server.xml 文件的配置，添加 URIEncoding 属性： <Connector port="8080" protocol="HTTP/1.1" connectionTi
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他