大小为v-1的{0,v-3}-相交的v阶斯坦纳三元系大集的构造的中期报告.docx

大小为v-1的{0,v-3}-相交的v阶斯坦纳三元系大集的构造的中期报告 首先介绍一下斯坦纳树问题。 斯坦纳树问题是在一个加权无向图中找出一棵连通子图，使得该子图包含给定的一些点，且该子图的所有边权值之和最小。该问题是NP难的，因此通常采用一些启发式算法进行求解。 斯坦纳三元系是斯坦纳树问题的一种扩展形式。它包含了三个点集，其中起点和终点集合分别只包含一个点，中间点集合则包含若干个点。斯坦纳三元系大集就是由多个斯坦纳三元系组成的集合。 现在的问题是构造一个大小为v-1的{0,v-3}-相交的v阶斯坦纳三元系大集。其中v-1表示中间点集合中的点数，{0,v-3}表示起点和终点集合中的点分别为0和v-3，v阶则表示整个三元系包含v个点。 我们采用递归构造的方法。首先考虑较小规模的情况，也就是v=3时的情况。 当v=3时，只有一个斯坦纳三元系，它的中间点集合为空，起点和终点分别是0和2。这样可以用一条边直接连接0和2来构造斯坦纳三元系。 接下来考虑v大于3的情况。为了使斯坦纳三元系大集大小为v-1，我们需要构造v-2个斯坦纳三元系。我们把中间点集合的所有点分成两个子集，一个包含v-3个点，一个包含1个点。 对于子集中包含1个点的那个子集，我们选取一个点作为中间点，构造一个斯坦纳三元系，其中起点和终点分别是0和v-3。 对于子集中包含v-3个点的那个子集，我们将它们划分成两个子集，分别包含(v-3)/2个点。同样，对于每个子集，我们选取一个点作为中间点，构造一个斯坦纳三元系，其中起点和终点分别是中间点所在的子集中的点。这样可以得到两个斯坦纳三元系。 现在还需要构造v-4个斯坦纳三元系。这里我们采用递归的方法。将中间点集合中的所有点分成两个子集，一个包含(v-3)/2个点，一个包含(v-3)/2-1个点。然后对于每个子集，选取一个点作为中间点，构造一个斯坦纳三元系，其中起点和终点分别是中间点所在的子集中的点。这样可以得到两个斯坦纳三元系，并且可以递归地构造出v-4个斯坦纳三元系，使得它们的中间点集合分别为前述子集中包含(v-3)/2个点的那个子集，以及前述子集中包含(v-3)/2-1个点的那个子集。 最后将所有构造出的斯坦纳三元系组成一个斯坦纳三元系大集即可。