‫ﻓﺼﻞ اول‬

‫ﻟﺰوم ]‪[n/3‬‬

‫‪. G(3)=1‬‬

‫‪. G(4)=1‬‬

‫‪.G(5)=1‬‬

‫‪G(6)=2‬‬

‫]‪G(n) = [n/3‬‬ ‫‪ n=3k‬؛‬

‫‪ ( 1.1.3‬اﺛﺒﺎت ﻛﻔﺎﯾﺖ ‪Fisk‬‬

‫اوﻟﯿﻦ اﺛﺒﺎت ﺑﺮاي ]‪ ، G(n)=[n/3‬اﺛﺒﺎت ‪ Chratal‬در ﺳﺎل ‪ 1975‬ﺑﻮد ‪ .‬اﺛﺒﺎت‬

‫وي ﺑﺮ ﭘﺎﯾﮫ ي اﺳﺘﻘﺮاء ﺑﻮد ‪:‬‬

‫وي ﺑﺎ ﻓﺮض اﯾﻨﻜﮫ ]‪ [n/3‬ﻧﮕﮭﺒﺎن ﺑﺮاي ھﻤﮫ ي ‪ n‬ھﺎﯾﻲ ﻛﮫ ‪ n<N‬ﻧﯿﺎز اﺳﺖ ‪،‬‬
‫ﺑﺎ ﺣﺬف دﻗﯿﻖ ﻗﺴﻤﺘﻲ از ﭼﻨﺪ ﺿﻠﻌﻲ و ﺑﺎ ﺑﮫ ﻛﺎر ﮔﯿﺮي ﻓﺮض اﺳﺘﻘﺮاء و‬
‫ﻓﺮﻣﻮل ]‪ G(n)=[n/3‬را اﺛﺒﺎت ﻛﺮد ‪ .‬اﯾﻦ اﺛﺒﺎت ﺑﺴﯿﺎر ﺳﺎده اراﺋﮫ ﺷﺪ‪.‬‬

‫ﻗﻄﺮ ھﺎ و ﻣﺜﻠﺚ ﺑﻨﺪي‬

‫اﺛﺒﺎت ‪ Fisk‬واﺑﺴﺘﮕﻲ ﺑﮫ اﻓﺮاز ﯾﻚ ﭼﻨﺪ ﺿﻠﻌﻲ ﺑﮫ ﻣﺜﻠﺚ ھﺎ ﺗﻮﺳﻂ ﻗﻄﺮھﺎ‬

‫دارد ‪.‬‬

‫ﯾﻚ ﻗﻄﺮ از ﭼﻨﺪ ﺿﻠﻌﻲ ‪ P‬ﭘﺎره ﺧﻄﻲ ﺑﯿﻦ دو راس ‪ a‬و ‪ b‬اﺳﺖ ﻛﮫ ﺗﻮﺳﻂ‬
‫ﯾﻜﺪﯾﮕﺮ ﺑﮫ وﺿﻮح ﻗﺎﺑﻞ روﯾﺖ ھﺴﺘﻨﺪ‬

‫اﮔﺮ ﻗﻄﺮھﺎي ﻧﺎ ﻣﺘﻘﺎﻃﻊ )ﺗﻘﺎﻃﻌﺸﺎن زﯾﺮ ﻣﺠﻤﻮﻋﮫ اي از ﻧﻘﺎط ﭘﺎﯾﺎﻧﻲ آن‬

‫ھﺎ ﺑﺎﺷﺪ ( ﯾﻚ ﭼﻨﺪ ﺿﻠﻌﻲ را رﺳﻢ ﻛﻨﯿﻢ ‪ ،‬درون ﭼﻨﺪ ﺿﻠﻌﻲ ﺑﮫ ﻣﺜﻠﺚ ھﺎ‬
‫اﻓﺮاز ﻣﻲ ﺷﻮد ‪ .‬ﭼﻨﯿﻦ اﻓﺮازي ﯾﻚ ﻣﺜﻠﺚ ﺑﻨﺪي از ﭼﻨﺪ ﺿﻠﻌﻲ ﻧﺎﻣﯿﺪه ﻣﻲ‬
‫ﺷﻮد ‪.‬‬

‫در ﻛﻞ روش ھﺎي زﯾﺎدي ﺑﺮاي ﻣﺜﻠﺚ ﺑﻨﺪي ﯾﻚ ﭼﻨﺪ ﺿﻠﻌﻲ وﺟﻮد دارد‬

‫ﻓﻌﻼ ﻓﻘﻂ ﻓﺮض ﻣﻲ ﻛﻨﯿﻢ ﻛﮫ ﺑﺮاي ھﺮ ﭼﻨﺪ ﺿﻠﻌﻲ ﯾﻚ ﻣﺜﻠﺚ ﺑﻨﺪي وﺟﻮد‬
‫دارد‪.‬‬

‫دﻟﺨﻮاه ﻧﯿﺰ ﻛﺎر ﻛﻨﺪ ‪.‬‬ ‫اﺛﺒﺎت ﻛﻔﺎﯾﺖ ]‪ [n/3‬ﻧﮕﮭﺒﺎن ﺑﺮاي ھﺮ ﭼﻨﺪ ﺿﻠﻌﻲ‬
‫ﺑﻨﺎﺑﺮاﯾﻦ ﻓﺮض ﻛﻨﯿﺪ ﭼﻨﺪ ﺿﻠﻌﻲ ‪ P‬ﺑﺎ ‪ n‬راس را دارﯾﻢ ‪.‬‬

‫ﮔﺎم اول اﺛﺒﺎت ‪ ، Fisk‬ﻣﺜﻠﺚ ﺑﻨﺪي ‪ P‬اﺳﺖ ‪.‬‬

‫ﮔﺎم دوم ﯾﺎدآوري اﯾﻦ اﺳﺖ ﻛﮫ ﮔﺮاف ﺣﺎﺻﻞ از ﻣﺜﻠﺚ ﺑﻨﺪي ﻗﺎﺑﻞ ‪ -3‬رﻧﮓ‬
‫آﻣﯿﺰي اﺳﺖ ‪.‬‬

‫‪1‬‬
 ‫ﻓﺼﻞ اول‬

‫ﯾﻚ ﮔﺮاف ‪ G‬را ﺗﻌﺮﯾﻒ ﻣﻲ ﻛﻨﯿﻢ ﻛﮫ ﯾﺎل ھﺎي ﮔﺮاف ‪ ، G‬ﯾﺎل ھﺎي ﭼﻨﺪ‬
‫ﺿﻠﻌﻲ و ﻗﻄﺮھﺎي ﻣﺜﻠﺚ ﺑﻨﺪي ھﺴﺘﻨﺪ و ﮔﺮه ھﺎي ﮔﺮاف ‪ ،‬رﺋﻮس ﭼﻨﺪ ﺿﻠﻌﻲ ‪P‬‬
‫ﻣﻲ ﺑﺎﺷﻨﺪ ‪ .‬اﯾﻦ ﮔﺮاﻓﻲ اﺳﺖ ﻛﮫ ﺗﻮﺳﻂ ‪ Fisk‬اﺳﺘﻔﺎده ﺷﺪه اﺳﺖ ‪.‬‬

‫ﯾﻚ ‪ -k‬رﻧﮓ آﻣﯿﺰي از ﯾﻚ ﮔﺮاف ‪ ،‬اﻧﺘﺴﺎﺑﻲ از ‪ k‬رﻧﮓ ﺑﮫ ﮔﺮه ھﺎي ﮔﺮاف‬

‫اﺳﺖ ﺑﮫ ﻃﻮري ﻛﮫ ھﯿﭻ دو ﮔﺮه ي ﻣﺠﺎوري ) دو ﮔﺮه اي ﻛﮫ ﺑﺎ ﯾﻚ ﯾﺎل ﺑﮫ‬
‫ﯾﻜﺪﯾﮕﺮ ﻣﺘﺼﻞ ھﺴﺘﻨﺪ ( رﻧﮓ ﯾﻜﺴﺎن ﻧﺪاﺷﺘﮫ ﺑﺎﺷﻨﺪ ‪.‬‬

‫‪ Fisk‬ادﻋﺎ ﻣﻲ ﻛﻨﺪ ﻛﮫ ھﺮ ﮔﺮاف ﻣﺜﻠﺚ ﺑﻨﺪي ﻣﻲ ﺗﻮاﻧﺪ ‪ -3‬رﻧﮓ آﻣﯿﺰي ﺷﻮد‪.‬‬

‫)ﺑﻌﺪا ً اﺛﺒﺎت ﻣﻲ ﻛﻨﯿﻢ(‬

‫ﮔﺎم ﺳﻮم اﺛﺒﺎت ‪ Fisk‬اﺳﺘﻘﺮار ﻧﮕﮭﺒﺎن ھﺎ روي ھﻤﮫ ي رﺋﻮﺳﻲ ﻛﮫ رﻧﮓ‬

‫ﯾﻜﺴﺎﻧﻲ دارﻧﺪ ‪ ،‬ﻗﺎﺑﻠﯿﺖ روﯾﺖ و در ﻧﺘﯿﺠﮫ ﭘﻮﺷﺶ ﭼﻨﺪ ﺿﻠﻌﻲ را ﺗﻀﻤﯿﻦ‬
‫ﻣﻲ ﻛﻨﺪ ‪.‬‬

‫‪ Fisk‬در ﮔﺎم آﺧﺮ و ﭼﮭﺎرم اﺛﺒﺎت ﺧﻮد از اﺻﻞ »ﻻﻧﮫ ﮐﺒﻮﺗﺮي« اﺳﺘﻔﺎده‬
‫ﻛﺮده اﺳﺖ ‪:‬‬

‫در ‪ -3‬رﻧﮓ آﻣﯿﺰي ﻧﮕﮭﺒﺎن ھﺎ ‪ ،‬ﺗﻨﮭﺎ روي ﮔﺮه ھﺎي رﻧﮓ آﻣﯿﺰي ﺷﺪه‬
‫ﺗﻮﺳﻂ رﻧﮓ ﺑﺎ ﻛﻤﺘﺮﯾﻦ ﻓﺮاواﻧﻲ ﻗﺮار دارﻧﺪ ‪.‬اﯾﻦ ﺗﻀﻤﯿﻦ ﻣﻲ ﻛﻨﺪ ﻛﮫ اﯾﻦ‬
‫رﻧﮓ آﻣﯿﺰي ‪ ،‬ﭼﻨﺪ ﺿﻠﻌﻲ را ﺑﺎ ﻧﺎﺑﯿﺸﺘﺮ از ]‪ G(n)=[n/3‬رﻧﮓ ‪ ،‬ﻣﻲ ﭘﻮﺷﺎﻧﺪ‬
‫‪.‬‬

‫وﺟﻮد ﻗﻄﺮ‪:‬‬

‫ﻟﻢ)‪ :(Meister‬ﻫﺮ‪ n‬ﺿﻠﻌﯽ ﮐﻪ ‪ n≥4‬داراي ﯾﮏ ﻗﻄﺮ اﺳﺖ‪.‬‬

‫‪2‬‬
 ‫ﻓﺼﻞ اول‬

‫ﻗﻀﯿﻪ)ﻣﺜﻠﺚ ﺑﻨﺪي(‪ :‬ﻫﺮ ‪ n‬ﺿﻠﻌﯽ را ﻣﯽ ﺗﻮان ﺑﺎ ﺗﺮﺳﯿﻢ )ﺻﻔﺮ ﯾﺎ ﺗﻌﺪاد ﺑﯿﺸﺘﺮي( ﻗﻄﺮ ﺑﻪ ﻣﺜﻠﺚ ﻫﺎي اﻓﺮاز ﮐﺮد‪.‬‬

‫اﺛﺒﺎت ﺑﺎﮐﻤﮏ اﺳﺘﻘﺮاء ﺻﻮرت ﻣﯽ ﮔﯿﺮد‪.‬‬

‫ﻟﻢ )ﺗﻌﺪاد ﻗﻄﺮﻫﺎ(‪ :‬ﻫﺮ ‪ n‬ﺿﻠﻌﯽ داراي ‪ n-3‬ﻗﻄﺮ و ‪ n-2‬ﻣﺜﻠﺚ اﺳﺖ‪.‬‬

‫اﺛﺒﺎت ﺑﺎ ﮐﻤﮏ اﺳﺘﻘﺮاء‪.‬‬

‫)‪(n-2‬‬ ‫ﻟﻢ )ﻣﺠﻤﻮع زاواﯾﺎ ي ﯾﮏ اﻓﺮاز ﻣﺜﻠﺜﯽ(‪ :‬ﻣﺠﻤﻮع زاوﯾﺎي ﯾﮏ ‪ n‬ﺿﻠﻌﯽ ﻋﺒﺎرت اﺳﺖ از‬

‫ﺑﺎ ﮐﻤﮏ ﻗﻀﯿﻪ ﻗﺒﻞ‬

‫ﮔﺮاف دوﮔﺎن ﻣﺜﻠﺚ ﺑﻨﺪي‬

‫ﻟﻢ‪ :‬ﮔﺮاف ‪ T‬دوﮔﺎن ﯾﮏ ﻣﺜﻠﺚ ﺑﻨﺪي ﯾﮏ درﺧﺖ اﺳﺖ ﮐﻪ ﻫﺮ ﮔﺮه آن ﺣﺪ اﮐﺜﺮ درﺟﻪ ‪ 3‬دارد‪.‬‬

‫ﻗﻀﯿﻪ )دو ﮔﻮش ‪ :(Meister‬ﻫﺮ ‪ n‬ﺿﻠﻌﯽ ) ‪ ( n≥4‬داري ﺣﺪاﻗﻞ دو ﮔﻮش ﻣﯽ ﺑﺎﺷﺪ‪.‬‬

‫ﻗﻀﯿﻪ)ﺳﻪ ‪ -‬رﻧﮓ آﻣﯿﺰي(‪ :‬ﮔﺮاف ﻣﺜﻠﺚ ﺑﻨﺪي ﯾﮏ ﭼﻨﺪ ﺿﻠﻌﯽ را ﻣﯽ ﺗﻮان ﺳﻪ‪ -‬رﻧﮓ آﻣﯿﺰي ﻧﻤﻮد‪.‬‬

‫اﺛﺒﺎت ﺑﺎ ﮐﻤﮏ اﺳﺘﻘﺮاء ﺑﺎ ﺳﻪ – رﻧﮓ آﻣﯿﺰي و ﺣﺬف ﯾﮏ ﮔﻮش‬

‫‪Algorithm: Triangulation‬‬
‫ﭘﯿﺠﯿﺪﮔﯽ ﻣﺤﺎﺳﺒﻪ اﻓﺮاز ﻣﺜﻠﺜﯽ‪:‬‬
‫‪Initialize the ear tip status of each vertex‬‬
‫)‪O(n‬‬

‫‪While n >3 do‬‬

‫)‪O(n‬‬

‫‪Locate an ear tip v2‬‬

‫‪Output diagonal v1v2‬‬

‫‪Delete v2‬‬

‫‪Update the ear tip status of v1‬‬

‫‪and v‬‬

‫‪3‬‬

‫‪Algorithm: Triangulation‬‬

‫‪Initialize the ear tip status of each vertex‬‬ ‫)‪O(n‬‬