Python中的Quine-McCluskey算法

Question

我试图在python中编写Quine-McCluskey algorithm，但我想查看是否有任何可用的替代版本。谷歌搜索显示了一些有用的结果。我正在寻找4x4地图缩减，而不是2x2或3x3。任何想法或参考？

Answer 1

在其中的你给的链接维基百科，还有一些“外部链接”在底部，其中有这些，有意思的相对到您的项目：

• "Python Implementation by Robert Dick"

  止跌”这是否满足您的需求？

• “一系列描述R中实现的算法（一个或多个）两篇文章：。first article和second article将R实现是详尽的，它提供完整，准确的解决方案，它可以处理多达20个输入变量“

  您可以使用rpy Python interface来R语言来运行Quine-McCluskey算法的R代码。请注意，有RPY的改写：rpy2

  而且，为什么不自己写一个新的Python脚本，使用由阿德里安DUSA在2007年完成的算法的提升，趴在second article？

Answer 2

def combine(m, n): 
    a = len(m) 
    c = '' 
    count = 0 
    for i in range(a): 
     if(m[i] == n[i]): 
      c += m[i] 
     elif(m[i] != n[i]): 
      c += '-' 
      count += 1 

    if(count > 1): 
     return None 
    else:    
     return c 


def find_prime_implicants(data): 
    newList = list(data) 
    size = len(newList) 
    IM = [] 
    im = [] 
    im2 = [] 
    mark = [0]*size 
    m = 0 
    for i in range(size): 
     for j in range(i+1, size): 
      c = combine(str(newList[i]), str(newList[j])) 
      if c != None: 
       im.append(str(c)) 
       mark[i] = 1 
       mark[j] = 1 
      else: 
       continue 

    mark2 = [0]*len(im) 
    for p in range(len(im)): 
     for n in range(p+1, len(im)): 
      if(p != n and mark2[n] == 0): 
       if(im[p] == im[n]): 
        mark2[n] = 1 


    for r in range(len(im)): 
     if(mark2[r] == 0): 
      im2.append(im[r]) 

    for q in range(size): 
     if(mark[q] == 0): 
      IM.append(str(newList[q])) 
      m = m+1 

    if(m == size or size == 1): 
     return IM 
    else: 
     return IM + find_prime_implicants(im2) 


minterms = set(['1101', '1100', '1110', '1111', '1010', '0011', '0111', '0110']) 

minterms2 = set(['0000', '0100', '1000', '0101', '1100', '0111', '1011', '1111']) 

minterms3 = set(['0001', '0011', '0100', '0110', '1011', '0000', '1000', '1010', '1100', '1101']) 

print 'PI(s):', find_prime_implicants(minterms) 

print 'PI2(s):', find_prime_implicants(minterms2) 

print 'PI3(s):', find_prime_implicants(minterms3)