从3DM到PARTITION问题的规约

下面将讲一下NPC问题中，从3DM到PARTITION的规约。

 

首先我们说一下什么是3DM问题和PARTITION问题。

 

1. 3DM的全称为：3-DIMENSIONAL MATCHING(3DM)

 

实例：存在一个集合M⊆W×X×Y，并且W，X，Y为不想交的集合，|W|=|X|=|Y|=q。

问题：是否存在一个集合M'⊆M，使得|M'|=q，并且M'在W，X，Y三维上不存在交集。

 

详见维基百科：http://en.wikipedia.org/wiki/3-dimensional_matching

 

2. PARTITION

 

实例：存在一个有限集合A，以及”size“函数，使得任意a∈A有size(a)∈Z⁺ 。

问题：是否存在A'⊆A，满足：

          a∈A'中size(a)的和=a∈(A-A')中size(a)的和

 

详见维基百科：http://en.wikipedia.org/wiki/Partition_problem

 

现在我们开始从3DM到PARTITION的规约。

 

现在，令|W|=|X|=|Y|=q，M⊆W×X×Y为任意的3DM实例

 

W={w1,w2,...,wq}

X={x1,x2,...,xq}

Y={y1,y2,...,yq}

<