1、南华大学计 算 机 科 学 与 技 术 学 院实 验 报 告 （ 2016 2017 学年度 第 二 学期 ）课程名称 程序设计语言与编译实验名称 回溯算法分析姓名 何星佑 学号 20154340220专业 树媒 班级 2地点 教师 罗江琴一、 实验目的： 通过分析求符号三角形问题的回溯法并编程实现，掌握回溯法的算法框架。二、 实验任务： 分析求符号三角形问题的回溯算法，编程实现，调试运行程序并对运行结果进行分析，分析算法的时空复杂度。三、 实验内容：1、实现回溯法求符号三角形问题描述2、算法描述3、程序设计四、实验结果与分析：问题描述:一般情况下，符号三角形的第一行有 n 个符号，三角形中任
2、意位置都为“+”或“-” ，且满足以下两个规则：1）三角形中任意行的下一行的符号由以下规则确定：2 个同号下面是“+” ，2 个异号下面是“-” ；2）三角形中“+”或“-”数目相同。对于给定的 n，计算有多少个不同的符号三角形。问题分析：对于符号三角形问题，用n元组x1：n表示符号三角形的第一行的n个符号。当xi=1时，表示符号三角形的第一行的第i个符号为“+”号；当xi=0时，表示符号三角形的第一行的第i个符号为“-”号；1 i n。由于xi是二值的，所以在用回溯法解符号三角形问题时，可以用一棵完全二叉树来表示其解空间。在符号三角形的第一行的前i个符号x1：i 确定后，就确定了一个由i*（
3、i+1）/2个符号组成的符号三角形。下一步确定了xi+1的值后，只要在前面已确定的符号三角形的右边加一条边，就可以扩展为x1：i+1所相应的符号三角形。最终由x1：n所确定的符号三角形中包含的“+”号个数与“-”号个数同为n*（n+1）/4。因此在回溯搜索过程中可用当前符号三角形所包含的“+”号个数与“-”号个数均不超过n*（n+1）/4作为可行性约束，用于剪去不满足约束的子树。对于给定的n，当n*（n+1）/2为奇数时，显然不存在所包含的“+”号个数与“-”号个数相同的符号三角形。 程序代码：#include class Trianglefriend int Computer(int n);
4、public:void Backtrack(int t);int n, /第一行的符号个数half, /每个三角形总符号数的一半count, /统减号的个数*p; /指向三角形的二维指针long sum; /统计符合条件的的三角形的个数;void Triangle:Backtrack(int t)if (counthalf)|(t*(t-1)/2-counthalf) return; / 如果加号或减号的个数大于符号三角形中总符号数的一半则退出函数if (tn) /符号填充完毕 nsum+; /打印符号for (int i = 1;i=0;k-) /先输出必要的空格coutn;int sum = Computer(n);coutendl;if (sum = 0)/符合条件的的三角形的个数=0cout“不存在！“endl;elsecoutsumendl;
