qq_47529104的博客

点割集其实就是一个点如果从图中去除后，该图的连通分量增加就是该图的割点，但是我们需要注意一个地方，看上面的图，v5是一个割点，它可以将图分割开，然后使得图的连通分量增加，而{v2，v5}似乎也可以做到将图的连通分量增加，但是需要注意的地方是v5就可以做的事情其实就不需要{v2，v5}去做，这样多出来一个点去做图的分割的操作其实并不是我们要的。那么其实我们就可以得到点割集的定义：点割集的定义：点割集是原生图的结点，同时当我们将结点从图中删去后会使得图的连通分量增加，并且该结点是最小的的分割集..

偏序关系的定义偏序关系就是自反，反对称，传递的序偶集合。其中满足偏序的集合我们一般称为A，偏序关系一般称为R。A*A产生的序偶有很多，所以我们使用<A,R>去表示满足某个偏序关系的A中元素的子集。如果使用图像画这个偏序集的画一般使用哈斯图对图像进行化简：被偏序的元素放在哈斯的底部，偏序的元素放在上层，自反的圆圈不画，箭头的指向也不画，传递的图像也不画。最大元如何确定最大元的定义：最大元定义的意思是：是否存在一个元素，使得其他的元素都与其是偏序关系注意这里

一阶语言是在一阶逻辑符号化的基础上衍生出的语言逻辑在一阶语言中出现的符号有：非逻辑符号个体常项符号：a，b，c函数符号：f，g，h谓词符号：F，G，M逻辑符号个体变项符号：x，y，z量词符号：全称量词，存在量词联结词符号：非，合取，析取括号与逗号项的定义项：项指的是个体常项或者个体变项，或者将个体常项或个体变项加入到函数中，那么该函数也称为项原子公式的定义原子公式指的是将项带入n元谓词中所组成，则称其为原子公式。其中为什么称它为原子公式？原

个体词个体词分为两种：个体常项：个体常项指的是某个已经给出的具体客体，比如小明，小王个体变项：个体变项指的是某个不确定的客体，比如变量X全总个体域：指的是所有个体的集合个体域：指的是某个体的可能范围，变量X，假设它有人为的设置取值范围，那么它的取值范围就是它的个体域谓词一个陈述句都可以被拆分成两个部分，一个是个体，另一个就是谓词，个体就是句子中的执行者，主导者，谓词就是描述该主体的性质，或者多个主体之间的关系。谓词可以具体的描述个体，也可以模糊的描述个体。谓词对个体的具体描述