文档介绍：万方数据
图的诘无圈边色数的一个上界刘信生刘旺发鯝甐,,——猘獀,,邻强边染色,图的诘惚呷旧ǎ嫉腟邻点无圈边染色,局部引理.,,—仕嗍〗逃鹣钅—仕嗍〗逃嵯蚧手翁瑃,瓵.,畇收稿日期:—盏叫薷母迦掌冢
万方数据
√:,珹基础上得到了图的诘阄奕Ρ呱囊桓錾辖鐇:。堋、历丽.△缓笤儆靡恢中卵丈ā、/△△对所有的边以概率高随机的独立的进行重新染色,则原图中的边未被重新染色的概率为荒希旅娼っ鞲萌旧猄引言点可区别边染色【蛄谇勘呷旧,点可区别边染色】’邻点可区别全染色【,信息科学,光波传播等所产生的邻色【康榷际鞘掷训奈侍猓诖嘶≈希胖腋ǖ热私徊教岢隽薙邻点边染色,⒃,,【客糋的诘惚呷旧荊的的一个徽1呷旧ǎ且满足:任意两点琕∈,∈,有\且\钍≥蚣俏鴛:。,如果忻挥卸Γ叶匀我饬降鉼,蕐琔蔈衛\襢可躢≥蚣俏猭禷莆狦的显然,当图的≥保骸和篴存在,其中表示淖钚《龋定理设且桓黾虻ネ迹骸!≥,乩渲骸为牧诘憧汕鹞圈边色数【.证由定义知,图腟邻点无圈边染色一定是囊桓隽诘憧汕鹞圈边染色,但不一定是囊桓鲎钚×诘憧汕鹞奕Ρ呷旧ǎ詘:輝:。盙为正则图时,:引理矗局部引理【】鐰珹珹。是概率空间械氖录糋是以,琻6サ愕耐迹琕琲,福录嗀雥厶:,,,⋯,#≤%,使得蠵躕一:引理【可鐶是一个简单图,且△≥敲磝幺堋、/△△.基于引理,,存在常数,使得时,有:堋、/△证设淖畲蠖任!鳎伊頳鳎梢.#盇≥保≤△:图的诘阄奕Ρ呱囊桓錾辖诘阄奕Ρ呱
万方数据
对每个类型械氖录﨓枞的长为,则南豁≤丽对每个类型械氖录﨓琍而知;类型匀我饬教跸嗔诒逜,钊绫硎颈遝蚭境赏△/△△构造图日,其点集为上述五种类型的所有事件,两个结点和毋渲忻扛鰔和一南荒’≤击对每个类型械氖录。鐴拿扛龅愎亓猰条边,则鴅一南”一一南躤;对每个类型中的事件,设圈某の?桑騊一词尚;旧钦5模聪嗔诘谋弑蝗静煌难丈ǎ旧荢邻点边染色,对两个邻点蚔,有\,并且蹸正≥旧N奕Ρ呷旧ǎ慈我馊χ辽儆腥ǎ由条件和啥ㄒ迦缦挛甯龌凳录缓笾っ魉谢凳录环⑸母怕饰正,即可完成证明。的事件;类型对任意两个相邻点蚔,≠,因为在邻点可区别边染色下,∈或∈颐遣恍柚匦氯旧ǎ谴死嗍录狤类型匀我饬礁鱿嗔诘鉛和琩,因为在邻点可区别边染色下,和中只有一种颜色不同,记这两条边为:蚭。,当:蚭。同时用色鱅染时,有∈,记此类事件为;类型对每个半单色圈旧硎撬Γ挥眯律ト荆谴死嗍录狤类型悦扛霭氲ド慈中一半的颜色为同一种色頔硎綝另一半的边重新染色、/△△⒓扑阆喙厥录要么表示一对关联边,要么表示