以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 计算机考研交流 』 (http://bbs.xml.org.cn/list.asp?boardid=67) ---- [求助]抽象代数图论难题咨询(非课本上的习题) (http://bbs.xml.org.cn/dispbbs.asp?boardid=67&rootid=&id=56974) |
-- 作者:chenminyi -- 发布时间:12/19/2007 10:48:00 PM -- [求助]抽象代数图论难题咨询(非课本上的习题) 抽象代数: 1.设G为群,H是G的子群。定义H的正规化子N(H) = {g属于G|gHg^-1包含于H},证明N(H)是G的子群。 1.在2n(n>=2)个人的人群中,每人至少有n个朋友,则至少有四人,使得这四人围圆桌而坐时,每人身旁皆是他的两个朋友。 |
-- 作者:chenminyi -- 发布时间:12/19/2007 10:51:00 PM -- 大家都帮着看看吧,虽然不是北大课本上的习题,不过用来扩展思维也不错的~也帮我顶一下~拜托了 抽象代数的题目是华东师大出的一本《近世代数》上的习题,图论是中科大的王树禾的《图论》的课后习题。 |
-- 作者:Logician -- 发布时间:12/20/2007 8:56:00 AM -- 嗯。都是好题。 我回头慢慢做。 代数第1题是个很重要的结论,我记得不少教材上都有这个结论的证明。 图论第1题比较简单(我记得我做过,好像是北大某年真题?)。 图论第5题很难。这个结论来自论文“There is No Irregular Moore Graph”[Robert Singleton, The American Mathematical Monthly, Vol. 75, No. 1. (Jan., 1968), pp. 42-43],证明方法很巧妙。
|
-- 作者:chenminyi -- 发布时间:12/20/2007 10:16:00 AM -- 代数第1题不好证明gH(g^-1) = H,H非正规子群,也没说G是有限群。 所以就是证明g^-1属于N(H)也有难度啊~可能我什么地方看漏了 图论第2题我用归纳法证明了下,感觉可能有问题的。而且觉得有更简洁的方法 |
-- 作者:Logician -- 发布时间:12/20/2007 2:17:00 PM -- 嗯。是的。 我翻了一下书,一般的书都是直接定义N(H)={g|gHg^{-1} = H}。这样证明N(H)是子群很容易。这道题把等号改成子集后,就变得麻烦了。需要利用某种性质来证明“gHg^{-1}是H的子集 --> gHg^{-1} = H”。 我再想想……
|
-- 作者:hanshumin -- 发布时间:12/20/2007 11:21:00 PM -- 我试试抽象代数里面的第一题吧。 我认为要证明gHg-1 = H ,只需要构造一个函数,证明这个函数是双射函数,然后根据 |gHg-1| = |H| 且 gHg-1 属于H 即可得出 gHg-1 = H ,然后可能按照常规的思路(子群的判定定理)就能证明了。 |
-- 作者:chenminyi -- 发布时间:12/20/2007 11:31:00 PM -- 今天吃早饭的时候瞎想了第五题,帮看看能不能这样证明,如果可以第二题也可以用类似方法
首先如意证明G中任意两点均在长度为2d+1的圈上,G中只含2d+1的圈,若u,v∈E(G)且u,w∈E(G),u,v,w必在长度为2d+1的圈上等结论。
|
-- 作者:chenminyi -- 发布时间:12/20/2007 11:34:00 PM -- 图不知道怎么回事传不上来 |
-- 作者:albani -- 发布时间:12/20/2007 11:48:00 PM -- 图论第1题,貌似就是个哈密顿图?任意两点的度数之和>=2n 图论第2题,假设有四个顶点{v1,v2,v3,v4}不存在有一个顶点与其它所有顶点相邻 |
-- 作者:albani -- 发布时间:12/21/2007 12:39:00 AM -- 图论第3题,剩下9个人可以打麻将,{1,2,3,4},{1,5,6,7},{2,5,8,9}打了三局后,来了个新人10,{3,6,8,10}可以再打一局。 图论第4题,反证法,假设v,u的人数不相等分别是n,m(假设n>m) |
-- 作者:chenminyi -- 发布时间:12/21/2007 3:09:00 PM -- 图论第3题的证明不能让人信服,你只是举出了一个例子,没有证明必然性~ 而且我觉得14人能够打三局这个也是题目要求你证明的~ 即图的补图存在3个K4 第4题我昨天想到的证明思路和你的一样~ |
-- 作者:albani -- 发布时间:12/21/2007 6:37:00 PM -- 图论第3题得再好好看看,我也只能举个例子。 抽象代数第3题,(1)如果G中的元素关于加法都是无限阶肯定都相等。 |
-- 作者:Logician -- 发布时间:12/21/2007 10:18:00 PM -- 对于无限集,无法由“|gHg-1| = |H| 且 gHg-1 属于H”推出gHg-1 = H
|
-- 作者:Logician -- 发布时间:12/22/2007 11:39:00 AM -- “首先如意证明G中任意两点均在长度为2d+1的圈上,G中只含2d+1的圈,若u,v∈E(G)且u,w∈E(G),u,v,w必在长度为2d+1的圈上等结论。” 这几个结论你怎么证的?“如意证明”是什么意思?
|
-- 作者:Logician -- 发布时间:12/22/2007 11:40:00 AM -- 图论第1题,是哈密顿图也不能证明题目所要求的情况成立。题目要证“存在长为4的圈”。G是哈密顿图只表明“存在长为2n的圈”。当n>2时,后者不能推出前者。
|
-- 作者:chenminyi -- 发布时间:12/22/2007 3:13:00 PM --
我当时主要的问题就是nxy = x(ny),因为n是自然数因此不是环中元素不能用交换律,现在看来没问题的,可以用分配率,呵呵~谢谢albani |
-- 作者:chenminyi -- 发布时间:12/22/2007 3:52:00 PM --
不好意思,字打错了。是“容易证明”证明如下: 命题1:任意G上的圈,此圈长度一定是2d+1 命题2:任意顶u,v属于G,u,v必在长度为2d+1的圈上。 命题3:任意u,v,w属于G,若(v,w)属于E(G)且(w,u)属于E(G),则e(v,w)和e(w,u)在长度为2d+1的圈上。
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
97.656ms |