用Python复习离散数学（一）

team470

　　　　最近要复习离散数学，不想挂啊，但是又想编程，大家知道啦，程序员离不开代码啊，所用想边复习边写代码，所以就自己用代码去实现一下离散的知识点，当做复习，自知自己的Python很渣，也想借此巩固一下基础，哈哈，事不宜迟，开始吧！
　　　　1.集合
　　　　概念：集合是由指定范围内的某些特定对象聚集在一起构成的，元素就是集合中的每一个对象

　　　　怎么用python实现集合呢，这个我自定义了一个类，这个类中有一个构造方法，底层我用列表是存储集合中的元素，用add方法可以添加元素，show方法就可以展示元素



class MySet():
__num = 0
def __init__(self):
self.s = []
def show(self):
self.str = '{'
for x in self.s:
if x == self.s[self.__num - 1]:
self.str += x
else:
self.str += x + ', '
self.str += '}'
print self.str
def add(self, element):
self.__num += 1
self.s.append(element)
　　测试一下：



s = MySet()
s.add('a')
s.add('b')
s.show()
#结果
#{a, b}
　　这样好样就有点味道了，爽爽的，杠杠的。
　　　　1.1集合与集合的关系
　　　　在这个这里我们要明白集合的几个特定性，集合的无序性，MySet类可以符合，但是还有个互异性我们就解决，互异性就是不能出现相同的元素，所以我们的add方法要改造一下：



    def add(self, element):
__flag = 0
for x in self.s:
if x == element:
__flag = 1
print '%s element is exist!' % element
if __flag == 0:
self.__num += 1
self.s.append(element)
　　这样就解决了元素的互异性
　　　　外延性原理：两个集合A和B相等，当且仅当它们有相同的元素，记为A=B，否则A与B不相等，记为A！=B
　　　　程序怎么实现呢，我首先向MySet类添加下列方法，length方法拿到集合的长度，get方法根据索引那元素的值，checkExist方法检查元素是否存在在改集合中，setEqual方法就是判断集合相等的核心方法。



    def length(self):
return self.__num
def get(self, index):
if index >= 0 and index < self.__num:
return self.s[index]
else:
print 'no exist'
def checkExist(self, element):
for x in self.s:
if x == element:
return True
return False
def setEqual(self, setTemp):
if self.__num == setTemp.length():
for x in range(setTemp.length()):
if self.checkExist(setTemp.get(x)):
continue
else:
return False
return True
else:
return False
　　测试一下：



s1 = MySet()
s1.add('a')
s1.add('b')
s2 = MySet()
s2.add('a')
s2.add('b')
print s1.setEqual(s2)
#结果
#True
　　　　判断是否为子集，这个也就是包含关系，其实我很经常弄错谁包含谁的，所以现在要搞清楚了：如果B的每个元素都是A的元素，则成B是A的子集，也成称B被A包含，或者A包含B，就是大的包含小的，OK，理解了，然后就看看程序怎么实现，我们通过isSubset方法去实现判断：



    def isSubset(self, setTemp):
for x in range(setTemp.length()):
if self.checkExist(setTemp.get(x)):
continue
else:
return False
return True
　　　　在集合中有一个非常特殊的集合，不含任何元素的集合，称为空集，谨记，空集是任何集合的子集，我们通过isEmptySet方法来判断这个集合是不是空集。



    def isEmptySet(self):
if self.__num == 0:
return True
else:
return False
　　　　集合的运算：
　　　　并运算：
　　union方法及测试：



    def union(self, setTemp):
newSet = MySet()
for x in self.s:
newSet.add(x)
for x in range(setTemp.length()):
if newSet.checkExist(setTemp.get(x)):
continue
else:
newSet.add(setTemp.get(x))
return newSet
s1 = MySet()
s1.add('a')
s2 = MySet()
s2.add('b')
s2.add('a')
s2.add('c')
s3 = s1.union(s2)
s3.show()
　　　　交运算：
　　intersection方法的实现：



    def intersection(self, setTemp):
newSet = MySet()
for x in range(setTemp.length()):
if self.checkExist(setTemp.get(x)):
newSet.add(setTemp.get(x))
return newSet
　　　　差运算：(A-B表示一个差集，集合中只有属于A自己独有的元素)
　　subtraction方法的实现：



    def subtraction(self, setTemp):
newSet = MySet()
for x in self.s:
if setTemp.checkExist(x):
continue
else:
newSet.add(x)
return newSet
　　　　补运算：（首先要判断一下两者的关系是不是正确的，然后再去算补集）
　　complement方法的实现：



    def complement(self, setTemp):
newSet = MySet()
if setTemp.isSubset(self):
for x in range(setTemp.length()):
if self.checkExist(setTemp.get(x)):
continue
else:
newSet.add(setTemp.get(x))
return newSet
else:
print 'error in relation'
return newSet
　　　　对称差运算：（对称差集就是两个集合的并集减去两个集合的交集，其实简单的说就是并集和交集的差集）
　　sysmmetric方法的实现：



    def sysmmetric(self, setTemp):
newSet1 = self.union(setTemp)
newSet2 = self.intersection(setTemp)
return newSet1.subtraction(newSet2)