证明:apriori 的一种变形将事务数据库D中的事务划分成n个不重叠的部分,那么在D中是频繁的任何项集至少在D的一个部分中是频繁的。
证明:采用反证法。
假设D中的每个部分均不含有频繁项集
令F为D中一个频繁项集,D为为数据库中一系列的事务,C为D中事务的总数,A为D中包含F项集的事务的总数,min_sup为最小支持度。
因为F是频繁项集,即有A=C*min_sup
证明:apriori 的一种变形将事务数据库D中的事务划分成n个不重叠的部分,那么在D中是频繁的任何项集至少在D的一个部分中是频繁的。
证明:采用反证法。
假设D中的每个部分均不含有频繁项集
令F为D中一个频繁项集,D为为数据库中一系列的事务,C为D中事务的总数,A为D中包含F项集的事务的总数,min_sup为最小支持度。
因为F是频繁项集,即有A=C*min_sup