设A={a}n={an|n≥0},B是单元素集合B=(z),这里z是a的无限串即B={aaa···},设R是AUB上的关系,定义如下:
证明或否定< A,z>∈R+。
设A={x|x∈R∧x≠0,1}。在A上定义6个函数如下:
V=<S,°>,其中S={f1,f2,...,f6},°为函数的复合.。
(1)给出V的运算表。
(2)说明V的幺元和所有可逆元素的逆元:
设G={a,b,c,d},其中
G上的运算是矩阵乘法。
(1)找出G的全部子群。
(2)在同构的意义下G是4阶循环群还是Klein四元群?
(3)令S是G的所有子群的集合,定义S上的包含关系,则<S,>构成偏序集,画出这个偏序集的哈斯图。
问题描述:子集和问题的一个实例为.其中,是一个正整数的集合,c是一个正整数.子集和问题判定是否存在S的一个子集S1,使得.试设计一个解子集和问题的回溯法.
算法设计:对于给定的正整数的集合和正整数c,计算S的一个了集S1,使得
数据输入:由文件input.txt提供输入数据.文件第1行有2个正整数n和c,n表示S的大小,c是子集和的目标值.接下来的1行中,有n个正整数,表示集合S中的元素.
结果输出:将子集和问题的解输出到文件output.txt.当问题无解时,输出“NoSolution!".