以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 计算机考研交流 』 (http://bbs.xml.org.cn/list.asp?boardid=67) ---- 12.3---《离散》问题一大堆? (http://bbs.xml.org.cn/dispbbs.asp?boardid=67&rootid=&id=56320) |
-- 作者:zshao -- 发布时间:12/3/2007 9:16:00 PM -- 12.3---《离散》问题一大堆? 1:教材中“同态的定义”感觉有问题,定义如下: 函数 f:A->B, 对于任意的x,y属于A,f(x*y)=f(x)*f(y); 这里二元运算 *:A乘A-->A, 疑问:这里的“运算*”没说是满射,(即:ranf不一定等于A),为什么有f:A->B?
|
-- 作者:xiuluodao -- 发布时间:12/3/2007 10:10:00 PM -- 我只知道任何有限格都是是有界格,无限的应该是反例! |
-- 作者:albani -- 发布时间:12/3/2007 11:10:00 PM -- 无限格也不一定就是无界格~~例如无限集合A, P(A)就是有界格 1=A,0=空集。 整数Z关于小于等于关系构成的格是无界格。 |
-- 作者:Logician -- 发布时间:12/4/2007 12:11:00 AM -- 1. domf = A,ranf是B的子集。ranf和A有什么关系? 2. 见2、3楼的回答 3. 忘了什么是完备格了 4. 感觉钻石格是最小的“存在多于2个‘并排’元素”的格,五角格是最小的“存在2个以上‘纵向叠置’(即a只cover b,而b只被a cover)元素”的格。是各自代数系统的极小化。所以,我感觉它们是从大的系统中“化简”出来的,他们本身未必非要有很明确的现实模型。 5. 不知道 6. 我觉得没有,本来图论的研究者们就是各说各话的样子,连"graph"这个词默认指简单图还是复杂图都统一不下来,还能指望他们的研究有什么很强的内在逻辑联系呢…… |
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
46.875ms |