设s是非空有上界的数集,.证明在数集s中可取出严格单调增加的数列{x_n},使得.

设∑是非空有穷字母表，ω是∑上的有限个字符构成的序列。序列中的字符个数称为串的长度，记作|ω|。λ表示空串，|λ|=0。对任意的k∈N，令∑_i表示∑上的所有长度为k的串的集合，那么表示∑上的所有串的集合。在上定义连接运算。那么回答下面的问题：

(1)如果等于什么?

(2)与连接运算构成代数系统，分析这个系统是否满足交换律、结合律、幂等律和消去律，是否具有单位元和零元。

(3)令，证明f构成的满同态映射。

证明：设R₁和R₂是非空集合A上的关系，且，则

问题描述:设计一个用回溯法搜索子集空间树的函数,参数包括结点可行性判定函数和上界函数等必要的函数,并将此的数用于解0-1背包问题.

0-1背包问题描述如下;给定n种物品和一个背包.物品i的重量是w_i,其价值为v_i背包的容量为C.应如何选择装入背包的物品,使装入背包中物品的总价值最大?

在选择装入肯包的物品时,对每种物品i只有2种选择,即装入背包或不装入背包.不能将物品i装入背包多次,也不能只装入部分的物品i.

0-1背包问题形式化描述如下:给定,要求n元0-1向量,使得而且达到最大.

算法设计:对于给定的n种物品的重量和价值,以及背包的容量,计算可装入背包的最大价值.

数据输入:由文件input.txt给出输入数据.第1行有2个正整数n和c,n是物品数,c是背包的容量.接下来的1行中有n个正整数,表示物品的价值.第3行中有n个正整数,表示物品的重量.

结果输出:将计算的装入背包物品的最大价值和最优装入方案输出到文件output.txt

设A是非空有限集合,是A上的对称群,是A的一个置换群,构造一个A上的二元关系R满足

证明R是等价关系.

设(A、≤)是非空有限线序集合，|A|≥2，R是A×A上的关系，根据R的不问定义，指出是拟序集合、偏序集合、线序集合、良序集合，还是其它集合?

对任意、∈AXA,则

设Ω是空间Rn上的有界区域，且满足

如果满足

是否可能有M>m?

问题描述:试设计一个用队列式分支限界法搜索子集空间树的函数,其参数包括结点可行性判定函数和上界函数等必要的函数,并将此函数用于解装载问题.

装载问题描述如下:有一批共n个集装箱要装上一艘载重量为c的轮船,其中集装箱i的重量为w_i找出一种最优装载方案,将轮船尽可能装满,即在装载体积不受限制的情况下,将尽可能重的集装箱装上轮船.

算法设计:对于给定的n个集装箱和轮船的载重量,计算最优装载方案.

数据输入:由文件input.txt给出输入数据.第1行有2个正整数n和c,n是集装箱数,c是轮船的载重量.接下来的1行中有n个正整数,表示集装箱的重量.

结果输出:将计算的最大装载重量输出到文件output.txt.

证明等式其中S为包围空间有界区域的光滑封闭曲面,n=n(P)为S上点P处的单位外法向量,r为连接定点与动点P∈S的向量|r|.

问题描述:试设计一个用优先队列式分支限界法搜索排列空间树的函数,其参数包括结点可行性判定雨数和上界的数等必要的函数,并将此函数用于解批处理作业调度问题.给定n个作业的集合.每个作业J_i都有2项任务分别在2台机器上完成.每个作业必须先由机器1处理,再由机器2处理.作业J_i需要机器j的处理时间为t_ij(=1,2,...,n;j=1,2).对于一个确定的作业调度,设F_ij是作业i在机器j上完成处理的时间.所有作业在机器2上完成处理的时间和称为该作业调度的完成时间和.

批处理作业调度问题要求对于给定的n个作业,制定最佳作业调度方案,使其完成时间和达到最小.

算法设计:对于给定的n个作业,计算最佳作业调度方案.

数据输入:由文件input.txt提供输入数据.文件第1行有1个正整数n,表示作业数.接下来的n行中,每行有2个正整数i和j,分别表示在机器1和机器2上完成该作业所需的处理时间.

结果输出:将最佳作业调度方案及其完成时间和输出到文件output.txt.文件的第1行是完成时间和,第2行是最佳作业调度方案.