

下载本文档
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
中国科学院软件所abAaTbaRbbRabRaaRbbTa,TRaaRa为真,而aTaaRaaRaaRaaTaT若R是传递的,aRbaRcaRcaTbaTcaRbbRabRc(aRbbRc)(cRbaRccRaaTc,T是传递的。T为等价关系,Raxaxayaya使axyx,yaaa之前的两aaa是置位元素b1b2,显然b1ab2a,且b1b2a,aAaa本身为并不可约元,且aaa,如a至少有两个置位元素b1b2,则ab1b2b1b2若都2止,最后ac1c2ck。其中cii1,k里如果出现cicj,cicj,则用cj代cicj替,另ci用代替cici,证证明:令SLSR,(aH)是映射,即对每一个元素均有效,若aHbH,则baH,H是子群ab(ba)HHaHb,即(aH(bH任取HbSR,bHSL,使(bH)Hb 是满射若(aH)(aH)HbHaHa,即aaH a1Ha2H,为单射。综上知是SL到SR的双射。G是有限群,SLSR|SL||SR四.G中存在v0V(Gd(V0k2G在中对这些结点至多用k-2种颜即至少还有k-1种颜色中的一种未使用,Gk-1(G)k矛盾。故不可,(Gk1x11x12x1p,(Gk,pkx1iL上Lx1iL与是最长通路矛盾,x11x12x1pL在上lk12)用反证法。设G{x1x2xk}xk1xk2xl是一条通路,它在一个连通片中,令Cxk1xk2xl不在的那个连通片。在C中有长m的最长通路y0y1ym。由1)dcy0m,在图G中,令imin{j|xj与y0相邻,通路xlxl1xi1xiy0y1ymG中长为lmi1。由于L是最长路lmi1l1im2。由此看出x1x2xk中至多有km1y0相邻。所以:d(y0)dc(y0)(km1)m(km1)k与(Gk矛盾,Gx1x2xk1)用反证法。若G不连通,它至少有两个连通片G1G2,取u1V(G1u2V(G2d(u1d(u2|V(G1||V(G2|2n2与已知条件矛盾,G是连通的。2)设Lv1v2vlvl1是G的最长通路,显然ln1。由于L是G的最长通路v1vl1的邻点L都在上,令v1的邻点vj1vj2,vjk,如果vj11,vj21,vjk1都不与vl1相邻,那d(v1)d(vl1)ln1n,与已知条件矛盾。于是存在一个i,使vi1与v1相邻,vi与vl1相邻,构造长为l+1的回路C:v1v2vivl1vlvi1v1。如果ln1,G中必有不在L上的结点w,由于G连通,w与L上的一个结点vp相邻,2vpl.当2piwvpvp1v1vi1vi2vl1vivi1vp1是G中长l+1为的通路当i1plwvpvp1vl1vivi1v1vi1vi2vp1是G中长l+1为的通路回路,G是哈密尔顿图。七.(PQ)RPQRRP(PQR)(PQR)(PQR)(PQR)(PQ)R((PQ)R)((PQ)R)(PQR)(PQR)(PQR)(PQ八.1)RRQPR(R(QPRQP2)P(xyxy对任何x都能找到y=x+1,显然x<y。xyP(xy为T,对任何y存在x=y+1,使x不小于y,yxP(x,y)为F.九.x(P(x)yQy)yR(x,x(P(x)yz(Q(z)R(x,xyz(P(x)(Q(z)R(x,十.1)c1P(xxQ(xx是素数R(xyxy。x(P(x)Q(x)R(x,c1))x(Q(x)(P(x)R(x,c12)x(A(x)B
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 痫病辨证施护与健康教育
- 韵母课件介绍
- 音名唱名课件介绍
- 2025年其它核材料及相关特殊材料项目合作计划书
- 城市污水管网建设工程投标书(参考模板)
- 2025年SPI环氧乙烷银催化剂项目合作计划书
- 2025年石英玻璃纤维布项目合作计划书
- 2025年ZRO2陶瓷磨介项目合作计划书
- 《GBT3533.3-1984评价和计算标准化经济效果数据资料的收集和处理方法》深度解析
- 2025年智能输电系统项目建议书
- 《基于Arduino UNO R3平台的具备自主循迹和自主避障功能的智能小车设计》11000字(论文)
- 四川省成都市2024-2025学年高一上学期期末考试历史试题(含答案)
- 航天工程质量管理规定
- 消防维保工作计划
- AEO贸易安全培训
- 高考必背3000高频英语单词
- 数字化管理师复习测试卷附答案
- 甘肃省安全员《B证》考试题库及答案
- 数据结构C语言版(第2版)严蔚敏人民邮电出版社课后习题答案
- 消费者需求导向的改装车品牌建设-洞察分析
- 《建设工程监理规范表式》及上海市行业协会在用表
评论
0/150
提交评论