数据结构_算法实现顺序表相关问题_14

一、问题描述：

定义三元组（a，b，c）（a，b，c均为整数）的距离D = |a - b| + |b - c| + |c - a|。给定3个飞控证书集合S₁、S₂和S₃，按升序分别存储在3个数组中。请设计一个尽可能高效的算法，计算并输出所有可能的三元组（a，b，c）（a$\in$S₁，b$\in$S₂，c$\in$S₃）中的最小距离。例如S₁ = {-1，0，9}，S₂ = {-25，-10，10，11}，S₃ = {2，9，17，30，41}，则最小距离为2，相应的三元组为（9，10，9）。要求：

• 给出算法的基本设计思想。
• 根据设计思想，采用C语言或C++语言描述算法，关键之处给出注释。
• 说明你所设计算法的时间复杂度和空间复杂度。

二、算法思想：

分析：由D = |a - b| + |b - c| + |c - a| >= 0由如下结论。

• 当a = b = c时，距离最小。
• 其余情况。不失一般性，假设a <= b <= c，观察下面的数轴：
  
  L₁ = |a - b|
  L₂ = |b - c|
  L₃ = |c - a|
  D = |a - b| + |b - c| + |c - a| = L₁ + L₂ + L₃ = 2L₃
• 由D的表达式可知，事实上决定D大小的关键是a和c之间的距离，于是问题就可以简化为每次固定c找一个a，使得L₃ = |c - a|最小。
• 使用D_min记录所有已处理的三元组的最小距离，初值为一个足够大的整数。
• 集合S₁、S₂和S₃分别保存在数组A、B、C中。数组的下标变量i = j = k = 0，当i<|S₁|、j<|S₂|且k<|S₃|时（|S|表示集合S中的元素个数），循环执行下面的步骤：
  – 计算（A[i]，B[j]，C[k]）的距离D；（计算D）
  – 若D<D_min，则D_min = D；（更新D）
  – 将A[i]，B[j]，C[k]中的最小值的下标+1；（对照分析：最小值为a，最大值为c，这里c不变而更新a，试图寻找更小的距离D）
  – 输出D_min，结束。

三、算法代码：

#define INT_MAX 0X7fffffff
int abs_(int a)//计算绝对值
{
	if(a < 0)
		return -a;
	else
		return a;
	bool xls_min(int a,int b,int c)//a是否是三个数中的最小值
	{
		if(a <= b && a <= c)
			return true;
		return false;
	}
	int findMinofTrip(int A[],int n, int B[],int m,int C[],int p)
	//D_min用于记录三元组的最小距离，初值赋为INT_MAX
	{
		int i = 0,j = 0,D_min = INT_MAX,D;
		while(i < n && j < m && k < p && D_min > 0)
		{
			D = abs_(A[i] - B[j]) + abs_(B[j] - C[k]) + abs_(C[k] - A[i]);//计算D
			if(D < D_min)//更新D
				D_min = D;
			if(xls_min(A[i],B[j],C[k]))//更新a
				i++;
			else
			{
				if(xls_min(B[j],C[k],A[i]))
					j++;
				else
					k++;
			}
		}
		return D_min;
	}
}

三、算法复杂度：

设n = （|S₁| + |S₂| + |S₃|）

• 时间复杂度：O(n)。
• 空间复杂度：O(1)。