Go__boy
Go__boy

HDU 1824 2-sat算法


分析：这题就是2-sat的模板题，首先应该写出布尔方程的表达式，然后根据合取范式的格式，利用2-sat建边的“必须”原则来建图就可以了。


代码：

//O(m)求2-sat，此处下标从0开始
#pragma comment(linker,"/STACK:102400000,102400000")
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
#include 
using namespace std;
typedef long long ll;   //记得必要的时候改成无符号
const int maxn=6005;   //点数
const int maxm=2000005;   //边数
const int INF=1000000000;
struct EdgeNode
{
    int from;
    int to;
    int next;
}edge[maxm];
int head[maxn],cnt;
void add(int x,int y)
{
    edge[cnt].from=x;edge[cnt].to=y;edge[cnt].next=head[x];head[x]=cnt++;
    //printf("    %d %d\n",x,y);
}

void init()
{
    cnt=0;
    memset(head,-1,sizeof(head));
}

int dfn[maxn],low[maxn],ins[maxn],cixu,scc_count,n,ru[maxn],chu[maxn],sd[maxn];
stackS;

void dfs(int u)
{
    int v,x;
    dfn[u]=low[u]=++cixu;
    S.push(u);
    ins[u]=1;
    for(int i=head[u];i!=-1;i=edge[i].next)
    {
        v=edge[i].to;
        if(!dfn[v]){
            dfs(v);
            low[u]=min(low[u],low[v]);
        }
        else if(ins[v])
            low[u]=min(low[u],dfn[v]);
    }
    if(dfn[u]==low[u])
    {
        scc_count++;
        do
        {
            x=S.top();
            S.pop();
            sd[x]=scc_count;
            ins[x]=0;
        }while(x!=u);
    }
}

void tarjan()
{
    for(int i=0;i


你可能感兴趣的:(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
  • 面向对象面向过程 3213213333332132 java
    面向对象：把要完成的一件事，通过对象间的协作实现。 面向过程：把要完成的一件事，通过循序依次调用各个模块实现。 我把大象装进冰箱这件事为例，用面向对象和面向过程实现，都是用java代码完成。 1、面向对象 package bigDemo.ObjectOriented; /** * 大象类 * * @Description * @author FuJian
  • Java Hotspot: Remove the Permanent Generation bookjovi HotSpot
      openjdk上关于hotspot将移除永久带的描述非常详细，http://openjdk.java.net/jeps/122   JEP 122: Remove the Permanent Generation Author Jon Masamitsu Organization Oracle Created 2010/8/15 Updated 2011/
  • 正则表达式向前查找向后查找,环绕或零宽断言 dcj3sjt126com 正则表达式
    向前查找和向后查找 1. 向前查找：根据要匹配的字符序列后面存在一个特定的字符序列(肯定式向前查找)或不存在一个特定的序列(否定式向前查找)来决定是否匹配。.NET将向前查找称之为零宽度向前查找断言。     对于向前查找，出现在指定项之后的字符序列不会被正则表达式引擎返回。 2. 向后查找：一个要匹配的字符序列前面有或者没有指定的
  • BaseDao 171815164 seda
    import java.sql.Connection; import java.sql.DriverManager; import java.sql.SQLException; import java.sql.PreparedStatement; import java.sql.ResultSet; public class BaseDao { public Conn
  • Ant标签详解--Java命令 g21121 Java命令
            这一篇主要介绍与java相关标签的使用         终于开始重头戏了，Java部分是我们关注的重点也是项目中用处最多的部分。           1
  • [简单]代码片段_电梯数字排列 53873039oycg 代码
           今天看电梯数字排列是9 18 26这样呈倒N排列的,写了个类似的打印例子，如下:       import java.util.Arrays; public class 电梯数字排列_S3_Test { public static void main(S
  • Hessian原理 云端月影 hessian原理
    Hessian 原理分析 一．      远程通讯协议的基本原理 网络通信需要做的就是将流从一台计算机传输到另外一台计算机，基于传输协议和网络 IO 来实现，其中传输协议比较出名的有 http 、 tcp 、 udp 等等， http 、 tcp 、 udp 都是在基于 Socket 概念上为某类应用场景而扩展出的传输协
  • 区分Activity的四种加载模式----以及Intent的setFlags aijuans android
      在多Activity开发中，有可能是自己应用之间的Activity跳转，或者夹带其他应用的可复用Activity。可能会希望跳转到原来某个Activity实例，而不是产生大量重复的Activity。 这需要为Activity配置特定的加载模式，而不是使用默认的加载模式。 加载模式分类及在哪里配置 Activity有四种加载模式： standard singleTop
  • hibernate几个核心API及其查询分析 antonyup_2006 html.netHibernatexml配置管理
    (一)  org.hibernate.cfg.Configuration类         读取配置文件并创建唯一的SessionFactory对象.(一般,程序初始化hibernate时创建.)         Configuration co
  • PL/SQL的流程控制 百合不是茶 oraclePL/SQL编程循环控制
    PL/SQL也是一门高级语言,所以流程控制是必须要有的,oracle数据库的pl/sql比sqlserver数据库要难,很多pl/sql中有的sqlserver里面没有   流程控制; 分支语句 if 条件 then 结果 else 结果 end if ; 条件语句 case when 条件 then 结果; 循环语句 loop
  • 强大的Mockito测试框架 bijian1013 mockito单元测试
    一.自动生成Mock类        在需要Mock的属性上标记@Mock注解，然后@RunWith中配置Mockito的TestRunner或者在setUp()方法中显示调用MockitoAnnotations.initMocks(this);生成Mock类即可。二.自动注入Mock类到被测试类  &nbs
  • 精通Oracle10编程SQL(11)开发子程序 bijian1013 oracle数据库plsql
    /* *开发子程序 */ --子程序目是指被命名的PL/SQL块，这种块可以带有参数，可以在不同应用程序中多次调用 --PL/SQL有两种类型的子程序：过程和函数 --开发过程 --建立过程：不带任何参数 CREATE OR REPLACE PROCEDURE out_time IS BEGIN DBMS_OUTPUT.put_line(systimestamp); E
  • 【EhCache一】EhCache版Hello World bit1129 Hello world
    本篇是EhCache系列的第一篇，总体介绍使用EhCache缓存进行CRUD的API的基本使用，更细节的内容包括EhCache源代码和设计、实现原理在接下来的文章中进行介绍   环境准备 1.新建Maven项目   2.添加EhCache的Maven依赖 <dependency> <groupId>ne
  • 学习EJB3基础知识笔记 白糖_ beanHibernatejbosswebserviceejb
    最近项目进入系统测试阶段，全赖袁大虾领导有力，保持一周零bug记录，这也让自己腾出不少时间补充知识。花了两天时间把“传智播客EJB3.0”看完了，EJB基本的知识也有些了解，在这记录下EJB的部分知识，以供自己以后复习使用。   EJB是sun的服务器端组件模型，最大的用处是部署分布式应用程序。EJB (Enterprise JavaBean)是J2EE的一部分，定义了一个用于开发基
  • angular.bootstrap boyitech AngularJSAngularJS APIangular中文api
    angular.bootstrap 描述：     手动初始化angular。     这个函数会自动检测创建的module有没有被加载多次，如果有则会在浏览器的控制台打出警告日志，并且不会再次加载。这样可以避免在程序运行过程中许多奇怪的问题发生。   使用方法：     angular .
  • java-谷歌面试题-给定一个固定长度的数组，将递增整数序列写入这个数组。当写到数组尾部时，返回数组开始重新写，并覆盖先前写过的数 bylijinnan java
    public class SearchInShiftedArray { /** * 题目：给定一个固定长度的数组，将递增整数序列写入这个数组。当写到数组尾部时，返回数组开始重新写，并覆盖先前写过的数。 * 请在这个特殊数组中找出给定的整数。 * 解答： * 其实就是“旋转数组”。旋转数组的最小元素见http://bylijinnan.iteye.com/bl
  • 天使还是魔鬼？都是我们制造 ducklsl 生活教育情感
    ----------------------------剧透请原谅，有兴趣的朋友可以自己看看电影，互相讨论哦！！！     从厦门回来的动车上，无意中瞟到了书中推荐的几部关于儿童的电影。当然，这几部电影可能会另大家失望，并不是类似小鬼当家的电影，而是关于“坏小孩”的电影！     自己挑了两部先看了看，但是发现看完之后，心里久久不能平
  • [机器智能与生物]研究生物智能的问题 comsci 生物
          我想,人的神经网络和苍蝇的神经网络,并没有本质的区别...就是大规模拓扑系统和中小规模拓扑分析的区别....       但是,如果去研究活体人类的神经网络和脑系统,可能会受到一些法律和道德方面的限制,而且研究结果也不一定可靠,那么希望从事生物神经网络研究的朋友,不如把
  • 获取Android Device的信息 dai_lm android
    String phoneInfo = "PRODUCT: " + android.os.Build.PRODUCT; phoneInfo += ", CPU_ABI: " + android.os.Build.CPU_ABI; phoneInfo += ", TAGS: " + android.os.Build.TAGS; ph
  • 最佳字符串匹配算法（Damerau-Levenshtein距离算法）的Java实现 datamachine java算法字符串匹配
    原文：http://www.javacodegeeks.com/2013/11/java-implementation-of-optimal-string-alignment.html------------------------------------------------------------------------------------------------------------
  • 小学5年级英语单词背诵第一课 dcj3sjt126com englishword
    long 长的 show 给...看，出示 mouth 口，嘴 write 写   use 用，使用 take 拿，带来 hand 手 clever 聪明的   often 经常 wash 洗 slow 慢的 house 房子   water 水 clean 清洁的 supper 晚餐 out 在外   face 脸，
  • macvim的使用实战 dcj3sjt126com macvim
    macvim用的是mac里面的vim, 只不过是一个GUI的APP, 相当于一个壳   1. 下载macvim https://code.google.com/p/macvim/   2. 了解macvim :h               vim的使用帮助信息 :h macvim  
  • java二分法查找 蕃薯耀 java二分法查找二分法java二分法
    java二分法查找 >>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>> 蕃薯耀 2015年6月23日 11:40:03 星期二 http:/
  • Spring Cache注解+Memcached hanqunfeng springmemcached
    Spring3.1 Cache注解  依赖jar包： <!-- simple-spring-memcached --> <dependency> <groupId>com.google.code.simple-spring-memcached</groupId> <artifactId>simple-s
  • apache commons io包快速入门 jackyrong apache commons
    原文参考 http://www.javacodegeeks.com/2014/10/apache-commons-io-tutorial.html   Apache Commons IO 包绝对是好东西，地址在http://commons.apache.org/proper/commons-io/，下面用例子分别介绍：   1）  工具类   2
  • 如何学习编程 lampcy java编程C++c
    首先,我想说一下学习思想.学编程其实跟网络游戏有着类似的效果.开始的时候,你会对那些代码,函数等产生很大的兴趣,尤其是刚接触编程的人,刚学习第一种语言的人.可是,当你一步步深入的时候,你会发现你没有了以前那种斗志.就好象你在玩韩国泡菜网游似的,玩到一定程度,每天就是练级练级,完全是一个想冲到高级别的意志力在支持着你.而学编程就更难了,学了两个月后,总是觉得你好象全都学会了,却又什么都做不了,又没有
  • 架构师之spring-----spring3.0新特性的bean加载控制@DependsOn和@Lazy nannan408 Spring3
    1.前言。    如题。 2.描述。    @DependsOn用于强制初始化其他Bean。可以修饰Bean类或方法，使用该Annotation时可以指定一个字符串数组作为参数，每个数组元素对应于一个强制初始化的Bean。 @DependsOn({"steelAxe","abc"}) @Comp
  • Spring4+quartz2的配置和代码方式调度 Everyday都不同 代码配置spring4quartz2.x定时任务
    前言：这些天简直被quartz虐哭。。因为quartz 2.x版本相比quartz1.x版本的API改动太多，所以，只好自己去查阅底层API……   quartz定时任务必须搞清楚几个概念： JobDetail——处理类 Trigger——触发器，指定触发时间，必须要有JobDetail属性，即触发对象 Scheduler——调度器，组织处理类和触发器，配置方式一般只需指定触发
  • Hibernate入门 tntxia Hibernate
      前言   使用面向对象的语言和关系型的数据库，开发起来很繁琐，费时。由于现在流行的数据库都不面向对象。Hibernate 是一个Java的ORM（Object/Relational Mapping）解决方案。   Hibernte不仅关心把Java对象对应到数据库的表中，而且提供了请求和检索的方法。简化了手工进行JDBC操作的流程。   如
  • Math类 xiaoxing598 Math
    一、Java中的数字（Math）类是final类，不可继承。 1、常数 PI：double圆周率 E：double自然对数 2、截取（注意方法的返回类型） double ceil(double d) 返回不小于d的最小整数 double floor(double d) 返回不大于d的整最大数 int round(float f) 返回四舍五入后的整数 long round
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他