int menu(void)
//图形主菜单,按上下键选择功能,返回所选项给main
int input(int Matrix)
//输入函数, 要求定义区域的数目,输入相关联的每两个区域,返回区域数目
FILE *LoadSaveMenu(char *wr)
//按 save 或 load 传来的 wb 或rb 对所选文件进行读或写操作,返回文件指针fp
void save(int Matrix,int s)
//把现在的Matrix矩阵存入到Loadsavemenu返回的fp指向的文件中
int load(int Matrix)
//在Loadsavemenu 返回的fp中读出已记录的矩阵
int prove(int Matrix,int Dis[],int s)
//主要的证明部分,详细步骤见流程图
void print(int Dis[],int s);
//由全局变量proved决定是否已经通过证明,当且仅当证明后才可打印出来
void Exit()
//安全退出本程序