2013-11-02 实验之泊松分酒（思维逻辑题）

题目：    泊松是法国数学家、物理学家和力学家。他一生致力科学事业，成果颇多。有许多著名的公式定理以他的名字命名，比如概率论中著名的泊松分布。
  有一次闲暇时，他提出过一个有趣的问题，后称为：“泊松分酒”。在我国古代也提出过类似问题，遗憾的是没有进行彻底探索，其中流传较多是：“韩信走马分油”问题。
    有3个容器，容量分别为12升，8升，5升。其中12升中装满油，另外两个空着。要求你只用3个容器操作，最后使得某个容器中正好有6升油。
    下面的列表是可能的操作状态记录：
12,0,0
4,8,0
4,3,5
9,3,0
9,0,3
1,8,3
1,6,5
    每行3个数据，分别表示12，8，6升容器中的油量
    第一行表示初始状态，第二行表示把12升倒入8升容器后的状态，第三行是8升倒入5升，...
    当然，同一个题目可能有多种不同的正确操作步骤。
    本题目的要求是，请你编写程序，由用户输入：各个容器的容量，开始的状态，和要求的目标油量，程序则通过计算输出一种实现的步骤（不需要找到所有可能的方法）。如果没有可能实现，则输出：“不可能”。
    例如，用户输入：
12,8,5,12,0,0,6
    用户输入的前三个数是容器容量（由大到小），接下来三个数是三个容器开始时的油量配置，最后一个数是要求得到的油量（放在哪个容器里得到都可以）
    则程序可以输出（答案不唯一，只验证操作可行性）：
12,0,0
4,8,0
4,3,5
9,3,0
9,0,3
1,8,3
1,6,5
    每一行表示一个操作过程中的油量状态。

思想：1，将最大容量的酒器中的酒先填满最小的容器，若剩余，就再填入中间大小的容器。

   2.1，若此时的状态是最大容量的酒器有酒的话，说明其余两个容器都装满了酒，当然最大容量的酒器也有可能无酒。接下来判断最大容量的酒器中的酒是否大于目标容量。

2.1.1，若大于，则其余两个容器只可能满足，只能从其余两个容器多余的酒倒到最大容器，先判断最小容器是否可以倒酒（容量大于目标容量，看剩余的酒装入最大容器，看是否溢出，溢出则分酒失败，否则成 功，程序结束）。小于目标容量时，不能分酒，则判断中间容器，思路同上。

2.1.2，若小于，则大容器可能满足，看需要倒入量，是否小于其余两个容器酒量之和，小于等于，则分酒必成 功， 否则失败。

程序实现：

#include<stdlib.h>
#include<stdio.h>

int wineSize[3];
int initalSize[3];
int finalSize;

void is_end()
{
	int i;
	for(i = 0; i < 3; i++){
		if (initalSize[i] == finalSize){
			printf("%d %d %d\n", initalSize[0],  initalSize[1],  initalSize[2]);
			exit(0);
		}
	}
	printf("%d %d %d\n", initalSize[0],  initalSize[1],  initalSize[2]);
}

void choose_wine(int i, int j, int result , int result2)
{
	if(result > 0 ){
		if(result <= result2){
			initalSize[j] -= result;
			initalSize[i] += result;
		}

		if(result > result2){
			initalSize[i] += result2;
			initalSize[j] = 0;
		}
	}
}

void exec_wine()
{
	is_end();
	int i;
	int minIndex = 0;
	int midIndex = 0;
	int maxInedx = 0;
	for(i = 1; i < 3; i++){
		if (wineSize[i] > wineSize[maxInedx]){
			maxInedx = i;
		}
		if(wineSize[i] < wineSize[minIndex]){
			minIndex = i;
		}
	}
	if(maxInedx != minIndex){
		midIndex = 0 + 1 + 2 -maxInedx -minIndex;
	}else {
		maxInedx = 0;
		midIndex = 1;
		minIndex = 2;
	}

	int result =  wineSize[minIndex] - initalSize[minIndex];
	int result2 = initalSize[maxInedx];
	choose_wine(minIndex, maxInedx, result , result2);
	is_end();


	result =  wineSize[midIndex] - initalSize[midIndex];
	result2 = initalSize[maxInedx];
	choose_wine(midIndex, maxInedx, result , result2);
	is_end();
	
	if(initalSize[maxInedx] > finalSize){
		if(initalSize[minIndex] > finalSize){
			result = initalSize[minIndex] - finalSize;
			if(result + initalSize[maxInedx] <= wineSize[maxInedx] ){
				initalSize[minIndex] =  finalSize;
				initalSize[maxInedx] += result;
				is_end();
			}else{
				printf("Can not complete this operate wine\n");
			}
		}else {
			if(initalSize[midIndex] > finalSize){
				result = initalSize[midIndex] - finalSize;
				if(result + initalSize[maxInedx] <= wineSize[maxInedx] ){
					initalSize[midIndex] =  finalSize;
					initalSize[maxInedx] += result;
					is_end();
				}else{
					printf("Can not complete this operate wine\n");
				}
			}else {
				printf("Can not complete this operate wine\n");
			}
		}
	}else{
		result = finalSize - initalSize[maxInedx];
		if(result <=  initalSize[minIndex] + initalSize[midIndex]){
			result2 = initalSize[midIndex];
			choose_wine(maxInedx, midIndex, result , result2);
			is_end();
			result = finalSize - initalSize[maxInedx];
			result2 = initalSize[minIndex];
			choose_wine(maxInedx, minIndex, result , result2);
			is_end();
		}else{
			printf("Can not complete this operate wine\n");
		}
	}
}

int main(void)
{	
	
	scanf("%d,%d,%d,%d,%d,%d,%d", &wineSize[0],  &wineSize[1],
		&wineSize[2],  &initalSize[0],  &initalSize[1],  &initalSize[2],  &finalSize);
	exec_wine();
	return 0;
}