色等价

摘要： 两个图G 和H 色等价当且仅当它们的补图伴随等价. 图G 色唯一当且仅当G 伴随唯一. 在这篇文章中, 我们计算了rK1UCm(r ≥ 1, m ≥ 3) 的伴随等价图的个数, 并刻画了它的伴随等价图类. 因而, 我们也计算了rK1UCm的色等价图的个数, 刻画了rK1UCm的色等价图类.

摘要： 本文研究了一类非平面图K3,3剖分图的色性.利用分析图的色多项式及图的结构特点,获得了与K3,3剖分图色等价的图的结构特点,推广了非平面图的色性问题.

摘要： 用比较色多项式的方法对6条路的长均大于1且集合{i,j,k,l,m,n}由三个不同值组成的K4-同胚图K4(i,j,k,l,m,n)的着色进行了研究,得到了一类色唯一的K4-同胚图,补充和完善了色唯一性的研究结果.

摘要： 用Tn(a,b,c)表示完全图Kn及其外一边uw作一些边后得到图,使|N(u)∩ V(K)|=a,|N(w) ∩V(Kn)|=b,|N(u)∩ N(w) ∩V(Kn)|=c.L(a,b,c)的边uw剖分一个顶点v得到的图为Fn(a,b,c).研究Fn(a,b,c)的色性问题,并给出Fn(a,b,c)是色唯一图的两个充分条件.

摘要： 设G是m阶连同图,我们用SGn(n=km+1)表示把kG的每个分支的di度点分别与星图Sk+1的k个1度点重迭后得到的图,YSG (r1n,n)表示把r1SGn中每个分支的k度点依次与图的k度点邻接后得到的图,YSG (r2λ1,n)表示把r2YSG (r1n,n)中每个分支的r1+k度点依次与图SGn的k度点邻接后得到的图,若k≥3,用YSG (rkλk-1,n)表示把rkYSG (rk-1λk-2,n)中每个分支的rk-1 +k度顶点依次与图SGn的k度点邻接后得到的图,这里λk=nλk-1+n.运用图的伴随多项式的性质,证明了一类新的图簇YSG (rkλk-1,n)UβkSGn的伴随多项式的因式分解定理,进而得到了这类图的补图的色等价图.

摘要： 由连接两个顶点的s条内部不交的路组成的图叫s-桥图,记作F(k1,k2,…,ks).本文给出了5-桥图F(3,a,b,c,d)(d≥c≥b≥a≥3)是色唯一的充分必要条件.

摘要： Let P(G,λ) is the chromatic polynomial of a graph G,and the graph G is chromatically unique if for any graph H,P(H,λ)=P(G,λ) implies H≌G.In this paper,by comparing the numbers of partitions into 4-color classes of the tripartite graphs,it is proved that K (n,n + v,n+ k) is chromatically unique for 4≤v+2≤k≤2v and n＞(k-1)2/4.%文章设P(G,λ)是图G的色多项式,若对于任意与图G的色多项式相等(P(G,λ)=P(H,λ))的图H都与图G同构(G≌H),则称图G是色唯一图；通过比较3部图的4色类的划分数证明,如果4≤v+2≤k≤2v,n＞(k-1)2/4,则完全3部图K(n,n+v,n+k)是色唯一图.

摘要： 在微积分罗尔定理理论基础上,运用归纳法证明了两个多项式恒等的一个充分条件,进而利用色数、围长、补图的理想子图数给出了两类图n+s(s,n∈Z+)阶n-色图色等价的充分必要条件,这为构造色等价图提供了新方法,由此得到几类新的色等价的n+3阶n-色图.

摘要： A necessary and sufficient condition for the adjoint equivalence of two graphs with the adjoint minimum real root at least-4 was given.Based on this result,a necessary and sufficient condition of the chromatic equivalence for the complement graphs of these graphs can be naturally obtained.%给出了两个伴随最小实根不小于-4的图伴随等价的一个充分必要条件.据此,也给出了这些图的补图色等价的一个充分必要条件.

摘要： 用P(G,λ)表示简单图G的色多项式,文章采用数学归纳法刻画了一类具有整根色多项式图的结构特征为P(G,λ)=λ(λ-1)(λ-2)m(λ-3)…(λ-n+1)(n≥3,,n,m∈Z+),从而证明色等价类[G]中的图都是弦图.%Let P(G,A) be its chromatic polynomial of one simple graph G, if P(G,λ) has only integral roots as follows: P(G,λ) = λ (λ-1 ) ( A-2)m(λ-3 )…(λ-n+1) , where, n≥3 and n,∈Z+ By the inductive method, we obtain some structural features of the graph also prove G is a chordal graph.

摘要： 在存储装置中存储换算系数，该换算系数用于校正关于对消费量进行计数的单位与货币价值之间的对应关系的结算单元之间的差异来将每种结算单元的货币价值的消费量转换为同一单位系统的计数值进行处理，从结算装置获取消费历史数据，该消费历史数据是按每种结算单元以单位数来表现用户的货币价值的消费量而得到的，根据消费历史数据中包含的各结算单元的消费量和换算系数来计算与每种结算单元的消费量对应的计数值，根据所获得的每种结算单元的计数值和规定的单价来计算第一业务商要向第二业务商收取的等价报酬。

摘要： 通过符号执行进行针对由人工实施的重构的等价性验证时，能够不使计算量爆发，而迅速地进行。在验证源代码的等价性时，进行基于解析源代码而得的结构图的结构比较的验证和符号执行的验证这两种验证。并且，在通过基于结构图的结构比较能够判定为结构一致的情况下，不进行符号执行。此外，在进行基于结构比较的验证前，对于重构前后的各个源代码，根据对每个重构模式决定的正规化信息对结构图进行正规化，在重构正当时，调整为结构一致。并且，对将重构前后的各个结构图进行抽象化而得的图进行符号执行来进行验证，由此限定进行符号执行的位置。

摘要： 本发明公开一种色卡非色标部分的色层胶印与色卡模切的流水线，所述流水线沿色卡纸基传送的方向依序设有发卷机构、胶印机构、烘干机构、缓冲桶、第一纠偏机构、传送辊、色卡纸基位置检测机构、模切机构和第一收卷机构。采用以上结构，通过将胶印机构和模切机构设置在同一条流水线上，可以实现色卡非色标部分的色层胶印和色卡模切的连续作业，因此生产效率大大提高，生产成本大大降低。本发明设计合理，结构简单并采用PLC界面控制，操作完全实现数字化和人机界面对话。

摘要： 本发明公开了一种基于矩阵等价的布尔函数仿射等价判定方法，包括：S1、对任意变量的两个布尔函数进行仿射等价判定；S2、根据布尔函数F2生成正交矩阵群和辛矩阵群，并得到正交矩阵生成元、辛矩阵生成元和非奇异矩阵生成元；S3、将所述正交矩阵生成元、辛矩阵生成元和非奇异矩阵生成元输入GAP系统生成所有的正交矩阵、辛矩阵和非奇异矩阵，并通过遍历搜索空间得到布尔函数仿射等价中有序对(A，b)；S4、将所述步骤S1、S2和S3应用于组合逻辑电路、FPGA可编程逻辑阵列和纠错编码中。

摘要： 源代码等价性检查装置具有对变更前源代码和变更后源代码分别进行符号执行的符号执行计算部；使用符号执行计算部的符号执行结果,来生成变更前源代码与变更后源代码的等价性检查式的等价性检查式生成部；对由等价性检查式生成部生成的等价性检查式进行检查的等价性检查式检查部；在基于等价性检查式检查部的等价性检查式的检查结果为变更前源代码与变更后源代码非等价的情况下，生成用于使变更前源代码与变更后源代码等价的修正候选的修正候选生成部；以及使用基于等价性检查式检查部的检查结果和基于修正候选生成部的所述修正候选，来生成检查结果报告的检查结果生成部。

摘要： 通过符号执行进行针对由人工实施的重构的等价性验证时，能够不使计算量爆发，而迅速地进行。在验证源代码的等价性时，进行基于解析源代码而得的结构图的结构比较的验证和符号执行的验证这两种验证。并且，在通过基于结构图的结构比较能够判定为结构一致的情况下，不进行符号执行。此外，在进行基于结构比较的验证前，对于重构前后的各个源代码，根据对每个重构模式决定的正规化信息对结构图进行正规化，在重构正当时，调整为结构一致。并且，对将重构前后的各个结构图进行抽象化而得的图进行符号执行来进行验证，由此限定进行符号执行的位置。

摘要： 在存储装置中存储换算系数，该换算系数用于校正关于对消费量进行计数的单位与货币价值之间的对应关系的结算单元之间的差异来将每种结算单元的货币价值的消费量转换为同一单位系统的计数值进行处理，从结算装置获取消费历史数据，该消费历史数据是按每种结算单元以单位数来表现用户的货币价值的消费量而得到的，根据消费历史数据中包含的各结算单元的消费量和换算系数来计算与每种结算单元的消费量对应的计数值，根据所获得的每种结算单元的计数值和规定的单价来计算第一业务商要向第二业务商收取的等价报酬。

摘要： 本发明公开了一种多色换色送珠机构以及一种多色换色绣机机头，包括换色单元、送珠单元、挡珠单元和驱动单元，其中，所述换色单元用于择一地将绣珠送到所述送珠单元的指定位置；所述送珠单元用于将待绣绣珠推送至待绣区；所述挡珠单元设置在所述换色单元与送珠单元之间；所述驱动单元驱动所述换色单元往复运动使对应的绣珠穿过所述挡珠单元掉落到所述送珠单元的指定位置内。本发明在换色过程中能够连续、准确的送珠。

摘要： 本发明公开一种色卡非色标部分的色层胶印与色卡模切的流水线，所述流水线沿色卡纸基传送的方向依序设有发卷机构、胶印机构、烘干机构、缓冲桶、第一纠偏机构、传送辊、色卡纸基位置检测机构、模切机构和第一收卷机构。采用以上结构，通过将胶印机构和模切机构设置在同一条流水线上，可以实现色卡非色标部分的色层胶印和色卡模切的连续作业，因此生产效率大大提高，生产成本大大降低。本发明设计合理，结构简单并采用PLC界面控制，操作完全实现数字化和人机界面对话。

摘要： 本实用新型公开了一种多色换色送珠机构及多色换色绣机机头，包括换色单元、送珠单元、挡珠单元和驱动单元，其中，所述换色单元用于择一地将绣珠送到所述送珠单元的指定位置；所述送珠单元用于将待绣绣珠推送至待绣区；所述挡珠单元设置在所述换色单元与送珠单元之间；所述驱动单元驱动所述换色单元往复运动使对应的绣珠穿过所述挡珠单元掉落到所述送珠单元的指定位置内。本实用新型在换色过程中能够连续、准确的送珠。