#include?
#include?
#include?
#include?
using?namespace?std;
const?int?max_line=14max_attribute=6;

int?discerRecure（int?DisMatrix[][max_line][max_attribute-1]int?attributeNO[]int?flag[]）{
	int?ijkmnt;
	int?TempattributeNO[max_attribute-1];
	int?TempDisMatrix[max_line][max_line][max_attribute-1];
	for（i=0;i	{
		for（j=i;j		{
			if（DisMatrix[i][j][0]==1）		
			{
				for（k=1;k				{
					if（DisMatrix[i][j][k]==1）				
					{
						attributeNO[k]=1;
						flag[k]=1;
						for（m=0;m						{
							for（n=m;n							{
								if（DisMatrix[m][n][k]==1）			
								{
									t=0;
									while（t									{
										DisMatrix[m][n][t]=0;
										t++;
									}
								}
							}
						}
					}
				}
			}
		}
	}
	cout<<“中間的約簡過程為（也許這并不是最小屬性約簡）：“;
	for（i=0;i	{
		if（attributeNO[i]==1）
			cout<	}
	cout<
	//顯示辨矩陣
	for（i=0;i	{
		cout<		for（j=i;j		{
			cout<		}
		cout<	}

	for（i=0;i	{
		for（j=0;j		{
			for（t=0;t				TempDisMatrix[i][j][t]=DisMatrix[i][j][t];
		}
	}
	for（i=0;i	{
		TempattributeNO[i]=attributeNO[i];
	}

	//以下為判斷遞歸是否結束。
	for（i=0;i	{
		for（j=i;j		{
			if（DisMatrix[i][j][0]!=0）
			{
				for（k=1;k					if（DisMatrix[i][j][k]==1&&?TempattributeNO[k]!=1&&?flag[k]!=1）//&&attributeNO[k]!=1可以不用這個條件
					{
						DisMatrix[i][j][0]=DisMatrix[i][j][0]-1;
						DisMatrix[i][j][k]=0;
						TempDisMatrix[i][j][0]=1;
						TempDisMatrix[i][j][k]=1;
						n=k;
						while（++n							TempDisMatrix[i][j][n]=0;//此處是把不等于0的中剩余的全等于0
						discerRecure（TempDisMatrixTempattributeNOflag）;
						for（m=0;m							TempattributeNO[m]=attributeNO[m];
					}
			}
		}
	}
		cout<<“最終的約簡結果情形之一為：“;
		for（i=0;i		{
			if（TempattributeNO[i]==1）
				cout<		}
		cout<		return?1;

}

int?main（）{

????//把信息輸入矩陣
	string?inFileName;//輸入文件名稱
	int?ijk;

	string?InMatrix[max_line][max_attribute];//存放信息表信息的矩陣

	cout<<“Please?input?the?Filename?of?Information?Table:“;
	cin>>inFileName;
	ifstream?infile（inFileName.c_str（）ios::in）;
	for（i=0;i	{
		for（j=0;j		{
			infile>>InMatrix[i][j];
		}
	}
	for（i=0;i	{
		for（j=0;j		{
			cout<		}
		cout<	}//顯示矩陣

	//建立分辨矩陣
????int?DisMatrix[max_line][max_line][max_attribute-1];
	for（i=0;i	{
		for（j=i;j		{
			DisMatrix[i]

?屬性????????????大小?????日期????時間???名稱
-----------?---------??----------?-----??----

?????文件???????3948??2010-11-14?23:35??分辨矩陣屬性約簡\DiscerReduction.cpp

?????文件?????565323??2010-11-14?23:41??分辨矩陣屬性約簡\DiscerReduction.exe

?????文件????????768??2010-10-20?12:21??分辨矩陣屬性約簡\table7_1.txt

?????文件????????768??2010-10-20?19:28??分辨矩陣屬性約簡\table7_2.txt

?????目錄??????????0??2011-07-16?20:27??分辨矩陣屬性約簡

-----------?---------??----------?-----??----

???????????????570807????????????????????5