设R是集合S上的关系,S'是S的子集,定义S'上的关系R'如下: R'=R∩(S'XS
设R是集合S上的关系,S'是S的子集,定义S'上的关系R'如下:
R'=R∩(S'XS')
确定下述每一断言的真假:
(a)若R在S上是传递的,那么R'在S'上也是传递的,
(b)若R是S上的偏序,则R'也是S'上的偏序。
(c)若R是S上的拟序,则R'也是S'上的拟序。
(d)若R是S上的线序,则R'也是S'上的线序。
(e)若R是S上的良序,则R'也是S上的良序。
设R是集合S上的关系,S'是S的子集,定义S'上的关系R'如下:
R'=R∩(S'XS')
确定下述每一断言的真假:
(a)若R在S上是传递的,那么R'在S'上也是传递的,
(b)若R是S上的偏序,则R'也是S'上的偏序。
(c)若R是S上的拟序,则R'也是S'上的拟序。
(d)若R是S上的线序,则R'也是S'上的线序。
(e)若R是S上的良序,则R'也是S上的良序。
第2题
一个环R的一个非空子集s叫作R的一个左理想,假如
你能不能在有理域F上2×2矩阵环F22里找到一个不是理想的左理想?
第3题
问题描述:子集和问题的一个实例为.其中,是一个正整数的集合,c是一个正整数.子集和问题判定是否存在S的一个子集S1,使得.试设计一个解子集和问题的回溯法.
算法设计:对于给定的正整数的集合和正整数c,计算S的一个了集S1,使得
数据输入:由文件input.txt提供输入数据.文件第1行有2个正整数n和c,n表示S的大小,c是子集和的目标值.接下来的1行中,有n个正整数,表示集合S中的元素.
结果输出:将子集和问题的解输出到文件output.txt.当问题无解时,输出“NoSolution!".
第5题
给定S={1,2,3.4}和S上关系R=(<1,2>,<4,3>,<2,2>,<2,1>,<3,1>}说明R不是可传递的,找出关系使得R是可传递的,还能找出另外一个也是可传递的吗?
第7题
【题目描述】
设R是一个2元关系,有3个元组,S是一个3元关系,有3个元组。如T=R?S,则T的元组的个数为()。
A)6
B)8
C)9
D)12
【我提交的答案】: A |
【参考答案与解析】: 正确答案:C |
【我的疑问】(如下,请求专家帮助解答)
请老师给出推到过程及解释,谢谢~
第8题
我们知道,一个s上的等价关系可以用一个S的划分来表示.事实上,一个上的同余关系还可以用一个特别的划分一同余类的集合来表示.试做出<{0,1,2,3,4},max>上的所有同余关系所对应的划分,这里max为二元求大运算.
第11题
设α1,α2,…,αs都是n维列向量V=L(α1,α2,…,αs),证明:向量组α1,α2,…,αs的极大无关组是V的基,从而dimV=r{α1,α2,…,αs}。