布尔内核(KERNEL)抽出算法

原创 2006年05月31日 21:29:00

 KERNELS (f, j) {
   K = Ø;
   
for i = j to n {
  
if(|CUBES(f, xi)| ≥ 2 ) {          /* 跳过f/x生成单cube的情况 */
      
C = 包含x的最大cube,也就是
CUBES(f, C) = CUBES(f, x);
      
if(xk 不属于 C 对所有
k < i)      /* 如果C里包含已经查看过的变量 */
          
K = K U KERNELS(f/fc, i + 1);
  
}
  
K = K U f;                         /* 往追加内核集里追加f */
  
return (K);
}


 

例:考虑方程式f = ace + bce + de + g 。它是一个cube-free方程式。按照字母顺序依次访问a b c d e g。看i = 1,就是a,只有ace包含它,再看i = 2,只有bce包含b。
现在考虑i = 3,就是c,包含它的cube有ace和bce,最大的包含集是{c, e},(ace + bce + de + g)/ce = a + b,带入KERNELS递归调用,指针j = 3 + 1,递归函数中查看d e g,没有发现任何更多的内核,追加a + b进入内核集。
第四个变量是d, 生成不了KERNEL,跳过。
考虑i = 5,生成ac + bc + d,因为指针i = 5,而a b c d 都小于5,所以不再考虑,把ac + bc + d并入内核集K中。
最后考虑g,生成不了KERNEL,运算结束。

版权声明:本文为博主原创文章,未经博主允许不得转载。

相关文章推荐

Linux Kernel(Android) 加密算法总结(三)-应用程序调用内核加密算法接口

Linux Kernel(Android) 加密算法总结(三)-应用程序调用内核加密算法接口(hash) 该方法经过在内核层实现与CPU加密模块,或者硬件加密卡对接,并为上层应用程序提供接口的方式,可...

倒排索引及布尔查询的处理算法

1 词项-文档关联矩阵: 在构建倒排索引之前,一个在大规模文档集中进行查找的方法是建立词项-文档关联矩阵,行为每个词项对应的文档向量,而列为每个文档对应的此项向量。根据布尔检索式,进行向量间的位运算(...

在Ubuntu上下载、编译和安装Android最新内核源代码(Linux Kernel)

在前一篇文章提到,从源代码树下载下来的最新Android源代码,是不包括内核代码的,也就是Android源代码工程默认不包含Linux Kernel代码,而是使用预先编译好的内核,也就是prebuil...

模型布尔算法

Linux内核kernel panic机制浅析

1.简介:     内核错误(Kernel panic)是指操作系统在监测到内部的致命错误,并无法安全处理此错误时采取的动作。一旦到这个情况,kernel就尽可能把它此时能获取的全部信息都打印出来,...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:深度学习:神经网络中的前向传播和反向传播算法推导
举报原因:
原因补充:

(最多只允许输入30个字)