‫ﻓﺼﻞ اول‬

‫ﺑﺮرﺳﻲ ﺷﮭﻮدي‬

‫ﮐﻔﺎﯾﺖ ‪ . n‬ﻣﻄﻤﺌﻨﺎ ھﻤﯿﺸﮫ ﺣﺪاﻗﻞ ﯾﮏ ﻧﮕﮭﺒﺎن ﻻزم اﺳﺖ ‪ ،‬ﻟﺬا ﯾﮏ ﮐﺮان‬

‫ﭘﺎﯾﯿﻦ ﺑﺮاي )‪ G(n‬ﻓﺮاھﻢ ﻣﻲ ﮐﻨﺪ ‪ . G(n)>=1 :‬ﺑﺪﯾﮭﻲ اﺳﺖ ﮐﮫ ﺑﺮاي ﭘﻮﺷﺶ‬
‫ھﺮ ﭼﻨﺪ ﺿﻠﻌﻲ ‪ n‬ﻧﮕﮭﺒﺎن ﮐﺎﻓﻲ اﺳﺖ ‪ :‬زﯾﺮا ﻣﻄﻤﺌﻨﺎ ﺑﺎ اﺳﺘﻘﺮار ﯾﻚ‬
‫ﻧﮕﮭﺒﺎن ﺑﺮ روي ھﺮ راس ‪ ،‬ﻛﻞ ﭼﻨﺪ ﺿﻠﻌﻲ ﭘﻮﺷﯿﺪه ﻣﻲ ﺷﻮد و در ﻧﺘﯿﺠﮫ ﯾﻚ‬
‫ﻛﺮان ﺑﺎﻻ ﺑﺮاي )‪ G(n‬اﯾﺠﺎد ﻣﻲ ﺷﻮد‪ . G(n) <= n :‬وﻟﻲ ﻛﻔﺎﯾﺖ ‪ n‬ﻧﮕﮭﺒﺎن‬
‫ﺧﯿﻠﻲ واﺿﺢ ﻧﯿﺴﺖ و ﺣﺪاﻗﻞ ﯾﻚ اﺛﺒﺎت را ﻣﻲ ﻃﻠﺒﺪ ‪.‬‬

‫ﺑﺎ اﯾﻦ ﺗﻮﺿﯿﺢ ﺷﮭﻮدي ﺑﮫ ﻧﻈﺮ ﻣﻲ رﺳﺪ ﻛﮫ ﻛﻔﺎﯾﺖ ‪ n‬ﻧﮕﮭﺒﺎن درﺳﺖ ﺑﺎﺷﺪ‬
‫وﻟﻲ ھﻤﯿﻦ ﺷﮭﻮد در ﺳﮫ ﺑﻌﺪ ﺑﮫ ﺷﻜﺴﺖ ﻣﻨﺠﺮ ﻣﻲ ﺷﻮد ‪ :‬زﯾﺮا ﻧﮕﮭﺒﺎن ھﺎي‬
‫ﻣﺴﺘﻘﺮ در ھﺮ راس از ﭼﻨﺪ وﺟﮭﻲ ‪ ،‬ﻟﺰوﻣﺎ ﻛﻞ ﭼﻨﺪ وﺟﮭﻲ را ﻧﻤﻲ ﭘﻮﺷﺎﻧﻨﺪ‬
‫! ) ﺗﻤﺮﯾﻦ ]‪ 1.1.4 [6‬را ﺑﺒﯿﻨﯿﺪ ‪( .‬‬

‫ﻣﺴﺎﺋﻞ زﯾﺎدي ﻣﺸﺎﺑﮫ ﻣﺴﺌﻠﮫ ي " ﮔﺎﻟﺮي ھﻨﺮ " وﺟﻮد دارﻧﺪ و در اﻏﻠﺐ‬
‫آن ھﺎ راﺣﺖ ﺗﺮﯾﻦ روش اﯾﻦ اﺳﺖ ﮐﮫ ﺑﺎ ﯾﺎﻓﺘﻦ ﻣﺜﺎل ھﺎي ﻋﻤﻮﻣﻲ و ﮐﻠﻲ‬
‫ﮐﺮان ﭘﺎﯾﯿﻨﻲ ﺑﺮاي )‪ G(n‬اراﺋﮫ دھﯿﻢ و ﻧﺸﺎن دھﯿﻢ ﮐﮫ ﮔﺎھﻲ ﺗﻌﺪاد‬
‫زﯾﺎدي ﻧﮕﮭﺒﺎن ﻻزم اﺳﺖ‪.‬‬

‫روﻧﺪ ﻛﺎر ﻣﺎ ﺑﺪﯾﻦ ﮔﻮﻧﮫ اﺳﺖ ‪ :‬ھﻨﮕﺎﻣﻲ ﻛﮫ ﺑﮫ ﻧﻈﺮ ﻣﻲ رﺳﺪ ﺑﺎ ھﯿﭻ‬

‫ﻧﺒﻮغ و اﺑﺘﻜﺎري ﻧﻤﻲ ﺗﻮان ﺗﻌﺪاد ﻧﮕﮭﺒﺎن ھﺎي ﻻزم را اﻓﺰاﯾﺶ داد ‪،‬‬
‫زﻣﺎن ﺑﺎزﮔﺸﺖ ﺑﮫ ﯾﺎﻓﺘﻦ ﺗﻌﺪاد ﻧﮕﮭﺒﺎن ھﺎي ﻛﺎﻓﻲ اﺳﺖ ‪.‬‬

‫ﺗﻌﺪاد ﻻزم ﺑﺮاي ‪ n‬ھﺎي ﻛﻮﭼﻚ ‪ .‬ﺑﺮاي ﻣﻘﺎدﯾﺮ ﻛﻮﭼﻚ ‪ n‬ﺣﺪس زدن ﻣﻘﺪار‬
‫)‪ G(n‬ﺑﺎ ﯾﻚ ﻛﺸﻒ ﻛﻮﭼﻚ اﻣﻜﺎﻧﭙﺬﯾﺮ اﺳﺖ ‪ .‬ﺑﮫ وﺿﻮح ﺑﺮاي ﭘﻮﺷﺶ ھﺮ ﻣﺜﻠﺚ ‪،‬‬
‫ﺗﻨﮭﺎ ﯾﻚ ﻧﮕﮭﺒﺎن ﻻزم اﺳﺖ ‪ .‬ﺑﻨﺎﺑﺮاﯾﻦ ‪ . G(3)=1‬از ﯾﻚ ﻧﻘﻄﮫ ﻧﻈﺮ ‪،‬‬
‫ﭼﮭﺎر ﺿﻠﻌﻲ ھﺎ ﺑﮫ دو ﮔﺮوه ﺗﻘﺴﯿﻢ ﻣﻲ ﺷﻮﻧﺪ ‪:‬‬

‫ﭼﮭﺎر ﺿﻠﻌﻲ ھﺎي ﻣﺤﺪب و ﭼﮭﺎر ﺿﻠﻌﻲ ھﺎي ﺑﺎ ﯾﻚ راس اﻧﻌﻜﺎﺳﻲ ‪ .‬ﺑﮫ ﻃﻮر‬
‫ﺷﮭﻮدي ‪ ،‬ﯾﻚ ﭼﻨﺪ ﺿﻠﻌﻲ ﻣﺤﺪب اﺳﺖ اﮔﺮ ھﯿﭻ دﻧﺪاﻧﮫ اي ﻧﺪاﺷﺘﮫ ﺑﺎﺷﺪ ‪.‬‬
‫اﯾﻦ ﻣﻔﮭﻮم ﻣﮭﻢ ﺑﺎ ﺟﺰﺋﯿﺎت آن در ﻓﺼﻞ ‪ 3‬ﺗﻮﺿﯿﺢ داده ﻣﻲ ﺷﻮد ‪ .‬ﯾﻚ راس‬
‫را اﻧﻌﻜﺎﺳﻲ ﻣﻲ ﻧﺎﻣﯿﻢ ‪ ،‬اﮔﺮ زاوﯾﮫ ي داﺧﻠﻲ آن اﻛﯿﺪا ﺑﺰرﮔﺘﺮ از ‪180‬‬
‫درﺟﮫ ﺑﺎﺷﺪ ؛ در ﻏﯿﺮ اﯾﻦ ﺻﻮرت "راس ﻣﺤﺪب " ﻧﺎﻣﯿﺪه ﻣﻲ ﺷﻮد ‪.‬‬

‫ﯾﻚ ﭼﮭﺎر ﺿﻠﻌﻲ ‪ ،‬ﭼﮭﺎر راس ﻣﺤﺪب دارد ‪ .‬ﺑﺎ ﺗﻮﺟﮫ ﺑﮫ ﻋﻠﻠﻲ ﻛﮫ در ﺑﺨﺶ‬
‫‪ 1.2‬ﺑﯿﺎن ﺧﻮاھﺪ ﺷﺪ ‪ ،‬ﯾﻚ ﭼﮭﺎر ﺿﻠﻌﻲ ﺣﺪاﻛﺜﺮ ﯾﻚ راس اﻧﻌﻜﺎﺳﻲ دارد ‪.‬‬

‫ﻧﺸﺎن ﻣﻲ دھﺪ ﻛﮫ ﺣﺘﻲ ﭼﮭﺎر ﺿﻠﻌﻲ ھﺎي ﺑﺎ ﯾﻚ راس‬ ‫ﺗﺼﻮﯾﺮ ) ‪1.4 (a‬‬
‫اﻧﻌﻜﺎﺳﻲ ﺑﺎ ﯾﻚ ﻧﮕﮭﺒﺎن ﻣﺴﺘﻘﺮ در ﻧﺰدﯾﻜﻲ ھﻤﺎن راس اﻧﻌﻜﺎﺳﻲ ‪ ،‬ﻗﺎﺑﻞ‬
‫ﭘﻮﺷﺶ ھﺴﺘﻨﺪ ‪ .‬از اﯾﻦ رو ‪ . G(4)=1‬ﺑﺮاي ﭘﻨﺞ ﺿﻠﻌﻲ ھﺎ وﺿﻌﯿﺖ )‪ G(5‬وﺿﻮح‬
‫ﻛﻤﺘﺮي دراد ‪ .‬ﻣﻄﻤﺌﻨﺎ ﯾﻚ ﭘﻨﺞ ﺿﻠﻌﻲ ﻣﺤﺪب ﺗﻨﮭﺎ ﺑﮫ ﯾﻚ ﻧﮕﮭﺒﺎن ﻧﯿﺎز‬
‫دارد و ﯾﻚ ﭘﻨﺞ ﺿﻠﻌﻲ ﺑﺎ ﯾﻚ راس اﻧﻌﻜﺎﺳﻲ ﺑﮫ ھﻤﺎن دﻟﯿﻠﻲ ﻛﮫ در ﭼﮭﺎر‬
‫ﺿﻠﻌﻲ ھﺎي داراي ﯾﻚ راس اﻧﻌﻜﺎﺳﻲ ﺑﯿﺎن ﮐﺮدﯾﻢ ‪ ،‬ﺗﻨﮭﺎ ﺑﮫ ﯾﻚ ﻧﮕﮭﺒﺎن‬
‫ﻧﯿﺎز دارد ‪ .‬ﯾﻚ ﭘﻨﺞ ﺿﻠﻌﻲ ﻣﻲ ﺗﻮاﻧﺪ ‪ 2‬راس اﻧﻌﻜﺎﺳﻲ داﺷﺘﮫ ﺑﺎﺷﺪ ‪،‬‬

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

‫ھﻤﺎﻧﻄﻮرﯾﻜﮫ در ﺗﺼﻮﯾﺮ)‪ 1.4 (c‬و )‪ (d‬ﻣﻲ ﺑﯿﻨﯿﺪ ﻣﻤﻜﻦ اﺳﺖ اﯾﻦ دو راس‬
‫اﻧﻌﻜﺎﺳﻲ ﻣﺠﺎور ﺑﺎﺷﻨﺪ ﯾﺎ ﺑﺎ ﯾﻚ راس ﻣﺤﺪب ﺟﺪا ﺷﺪه ﺑﺎﺷﻨﺪ ﻛﮫ در ھﺮ‬
‫دو ﺻﻮرت ﯾﻚ ﻧﮕﮭﺒﺎن ﺑﺮاي ﭘﻮﺷﺶ ﭘﻨﺞ ﺿﻠﻌﻲ ﻛﺎﻓﻲ اﺳﺖ ؛ ﺑﻨﺎﺑﺮ اﯾﻦ‬
‫‪ G(5)=1‬اﺳﺖ ‪.‬‬

‫ھﻤﺎﻧﻄﻮرﯾﻜﮫ در ﺗﺼﻮﯾﺮ )‪ 1.4 (e‬و )‪ (f‬ﻣﻲ ﺑﯿﻨﯿﺪ ﻣﻤﻜﻦ اﺳﺖ ﺷﺶ ﺿﻠﻌﻲ ھﺎ‬
‫ﺑﮫ دو ﻧﮕﮭﺒﺎن ﻧﯿﺎز داﺷﺘﮫ ﺑﺎﺷﻨﺪ ‪ .‬ﯾﻚ آزﻣﻮن ﻛﻮﭼﻚ ﻣﻲ ﺗﻮاﻧﺪ ﺑﮫ ﯾﻚ‬
‫ﺣﻜﻢ ﻣﻨﺠﺮ ﺷﻮد ‪ :‬ھﻤﻮاره ﺗﻌﺪاد ﻧﺎ ﺑﯿﺸﺘﺮ از ‪ 2‬ﻧﮕﮭﺒﺎن ﻻزم اﺳﺖ‬
‫ﺑﻄﻮرﯾﻜﮫ ‪ G(6)=2‬ﻣﻲ ﺷﻮد ‪.‬‬

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

‫در اﯾﻦ ﻧﻘﻄﮫ ﺧﻮاﻧﻨﺪه ﺑﺎﯾﺪ ﺑﺘﻮاﻧﺪ از ﺗﺼﻮﯾﺮ )‪ 1.4 (f‬ﺑﮫ ﯾﻚ ﺗﻌﻤﯿﻢ‬
‫ﺑﺮاي ﻣﻘﺎدﯾﺮ ﺑﺰرﮔﺘﺮ از ‪ n‬ﺑﺮﺳﺪ ‪ .‬ﺗﺼﻮﯾﺮ ‪ 1.5‬ﺗﻌﻤﯿﻢ اﯾﻦ ﻣﻮﺿﻊ ﺑﮫ‬
‫ﻣﻘﺪار ﺑﺰرﮔﺘﺮ ‪ n=12‬را ﻃﺮاﺣﻲ ﻣﻲ ﻛﻨﺪ ‪ .‬ﺑﮫ راﺑﻄﮫ ي ﺗﺼﺎوﯾﺮ ‪ 1.5‬و )‪(f‬‬
‫‪ 1.4‬ﺗﻮﺟﮫ ﻛﻨﯿﺪ‪ .‬اﯾﻦ ﺗﺼﻮﯾﺮ " ﺷﺎﻧﮫ ﻣﺎﻧﻨﺪ " ﺷﺎﻣﻞ ‪ k‬دﻧﺪاﻧﮫ اﺳﺖ ‪ ،‬در‬
‫ھﺮ دﻧﺪاﻧﮫ دو ﯾﺎل ﺗﺮﻛﯿﺐ ﺷﺪه اﻧﺪ و دﻧﺪاﻧﮫ ھﺎي ﻣﺠﺎور ﺑﺎ ﯾﻚ ﯾﺎل از‬
‫ﯾﻜﺪﯾﮕﺮ ﻣﺠﺰا ﺷﺪه اﻧﺪ ‪ .‬اﮔﺮ ھﺮ دﻧﺪاﻧﮫ را ﺑﺎ ﯾﺎل ﺟﺪا ﻛﻨﻨﺪه از‬
‫دﻧﺪاﻧﮫ ي ﻣﺠﺎورش در ﻧﻈﺮ ﺑﮕﯿﺮﯾﻢ ‪ ،‬اﯾﻦ ﯾﺎل ﺗﻔﻜﯿﻚ ﻛﻨﻨﺪه در ﺳﻤﺖ‬
‫راﺳﺖ ھﻤﮫ ي دﻧﺪاﻧﮫ ھﺎﺳﺖ ﺑﮫ ﺟﺰ ﺑﺮاي ﺳﻤﺖ راﺳﺖ ﺗﺮﯾﻦ دﻧﺪاﻧﮫ ﻛﮫ ﯾﺎل‬
‫ﭘﺎﯾﯿﻨﻲ و اﻓﻘﻲ ﭼﻨﺪ ﺿﻠﻌﻲ را ﺑﮫ ﻋﻨﻮان ﯾﺎل ﺟﺪاﺳﺎز در ﻧﻈﺮ ﻣﻲ ﮔﯿﺮﯾﻢ‬
‫‪.‬‬

‫ﻣﻲ ﺑﯿﻨﯿﻢ ﻛﮫ ﯾﻚ "ﺷﺎﻧﮫ " ﺑﺎ ‪ k‬دﻧﺪاﻧﮫ ‪ n = 3 k ،‬ﯾﺎل دارد ؛ زﯾﺮا ھﺮ‬

‫دﻧﺪاﻧﮫ ﺑﮫ ﻧﮕﮭﺒﺎن ﺧﺎص ﺧﻮد ﻧﯿﺎز دارد ‪ .‬ﻣﺎ ﺑﺎ اﯾﻦ ﻣﺴﺌﻠﮫ ﻣﺜﺎﻟﻲ‬
‫ﺳﺎﺧﺘﯿﻢ ﻛﮫ ﺑﺮاي ‪ n=3k‬؛ )‪ n/3 <= G(n‬اﺳﺖ ‪ .‬اﯾﻦ ھﻤﺎن ﭼﯿﺰي اﺳﺖ ﻛﮫ ﻗﺒﻼ‬
‫ﻗﺼﺪ داﺷﺘﯿﻢ ﺑﺎ اراﺋﮫ ي ﯾﻚ ﻣﺜﺎل ﻋﻤﻮﻣﻲ ﺑﺮاي اﯾﺠﺎد ﮐﺮان ﭘﺎﯾﯿﻦ روي‬
‫)‪ G(n‬ﺑﯿﺎن ﮐﻨﯿﻢ ‪.‬‬

‫ﺗﻮﺟﮫ ﺑﮫ اﯾﻦ ﻧﻜﺘﮫ ﻛﮫ ‪ G(3) = G(4) = G(5) :‬اﺳﺖ ؛ ﻣﻲ ﺗﻮاﻧﺪ ﻣﻨﺠﺮ ﺑﮫ ﺣﺪس‬
‫]‪ G(n) = [n/3‬ﺷﻮد و در ﺣﻘﯿﻘﺖ اﯾﻦ ﺣﺪس ﺑﮫ ﻧﻈﺮ درﺳﺖ ﻣﻲ آﯾﺪ ‪ .‬روش ﻣﻌﻤﻮل‬
‫ﭘﺎﺳﺦ ﺑﮫ ﭼﻨﯿﻦ ﭘﺮﺳﺶ ھﺎي رﯾﺎﺿﯿﺎﺗﻲ اﯾﻦ اﺳﺖ‪ :‬ﺑﻌﺪ از ﺑﺮرﺳﻲ ﺷﮭﻮدي ؛‬
‫اوﻟﯿﻦ ﭘﺎﺳﺦ ﻣﻤﻜﻦ ‪ ،‬ﺣﺪس زده ﻣﻲ ﺷﻮد و ﺳﭙﺲ ﻧﺘﯿﺠﮫ ﺑﺎ ھﺪف ﻣﻌﯿﻨﻲ در‬
‫ذھﻦ ﻣﺎ ‪ ،‬ﺛﺎﺑﺖ ﻣﻲ ﺷﻮد ‪ .‬ﺣﺎل ﺑﮫ اﺛﺒﺎت دﻗﯿﻖ و رﯾﺎﺿﯿﺎﺗﻲ اﯾﻦ ﻣﺴﺌﻠﮫ‬
‫ﻣﻲ ﭘﺮدازﯾﻢ ‪.‬‬

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

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

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

‫وي ﺑﺎ ﻓﺮض اﯾﻨﻜﮫ ]‪ [n/3‬ﻧﮕﮭﺒﺎن ﺑﺮاي ھﻤﮫ ي ‪ n‬ھﺎﯾﻲ ﻛﮫ ‪ n<N‬ﻧﯿﺎز اﺳﺖ ‪،‬‬
‫ﺑﺎ ﺣﺬف دﻗﯿﻖ ﻗﺴﻤﺘﻲ از ﭼﻨﺪ ﺿﻠﻌﻲ ﺑﮫ ﻃﻮري ﻛﮫ ﺗﻌﺪاد رﺋﻮس آن ﻛﺎھﺶ‬
‫ﯾﺎﺑﺪ و ﺑﺎ ﺑﮫ ﻛﺎر ﮔﯿﺮي ﻓﺮض اﺳﺘﻘﺮاء و ﺳﭙﺲ اﻓﺰودن ﻣﺠﺪد ﻗﺴﻤﺖ ﻣﺤﺬوف‬

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

‫ھﻤﺎن ﻓﺮﻣﻮل )]‪ (G(n)=[n/3‬را ﺑﺮاي ‪ n = N‬اﺛﺒﺎت ﻛﺮد ‪ .‬اﯾﻦ اﺛﺒﺎت ﺑﺴﯿﺎر‬
‫ﺳﺎده اراﺋﮫ ﺷﺪ و ﺗﻨﮭﺎ ﯾﻚ ﺻﻔﺤﮫ از ﯾﻚ ﻧﺸﺮﯾﮫ را ﺑﮫ ﺧﻮد اﺧﺘﺼﺎص داد‬
‫) ﺳﺎل ‪ . ( 1978‬در ﻗﺴﻤﺖ ﺑﻌﺪ اﺛﺒﺎت ‪ Fisk‬را اراﺋﮫ ﻣﻲ ﻛﻨﯿﻢ ‪.‬‬

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

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

‫دارد ‪ .‬ﯾﻚ ﻗﻄﺮ از ﭼﻨﺪ ﺿﻠﻌﻲ ‪ P‬ﭘﺎره ﺧﻄﻲ ﺑﯿﻦ دو راس ‪ a‬و ‪ b‬اﺳﺖ ﻛﮫ‬
‫ﺗﻮﺳﻂ ﯾﻜﺪﯾﮕﺮ ﺑﮫ وﺿﻮح ﻗﺎﺑﻞ روﯾﺖ ھﺴﺘﻨﺪ‪ .‬ﺑﮫ ﻋﺒﺎرت دﯾﮕﺮ ﺗﻘﺎﻃﻊ ﭘﺎره‬
‫ﺧﻂ ﺑﺴﺘﮫ ي ‪ ab‬ﺑﺎ ﻣﺮز ‪ P‬دﻗﯿﻘﺎ ﻣﺠﻤﻮﻋﮫ ي } ‪ {a,b‬اﺳﺖ‪ .‬روش دﯾﮕﺮ ﺑﺮاي‬
‫ﺑﯿﺎن اﯾﻦ ﻣﻔﮭﻮم اﯾﻦ اﺳﺖ‪ :‬ﭘﺎره ﺧﻂ ﺑﺎز از ‪ a‬ﺗﺎ ‪ ، b‬ﻣﺮز ‪ P‬را ﻗﻄﻊ‬
‫ﻧﻜﻨﺪ ؛ از اﯾﻦ رو ﯾﻚ ﻗﻄﺮ ﻧﻤﻲ ﺗﻮاﻧﺪ ﺑﺎ ﻣﺮز ﭼﻨﺪ ﺿﻠﻌﻲ ﺗﻤﺎس داﺷﺘﮫ‬
‫ﺑﺎﺷﺪ ‪.‬‬

‫دو ﻗﻄﺮ را ﻧﺎﻣﺘﻘﺎﻃﻊ ﻣﻲ ﻧﺎﻣﯿﻢ اﮔﺮ ﺗﻘﺎﻃﻌﺸﺎن زﯾﺮ ﻣﺠﻤﻮﻋﮫ اي از ﻧﻘﺎط‬

‫ﭘﺎﯾﺎﻧﻲ آن ھﺎ ﺑﺎﺷﺪ ‪ :‬ﯾﻌﻨﻲ در ھﯿﭻ ﻧﻘﻄﮫ ي داﺧﻠﻲ اﺷﺘﺮاك ﻧﺪارﻧﺪ‪.‬‬
‫اﮔﺮ ﻗﻄﺮھﺎي ﻧﺎ ﻣﺘﻘﺎﻃﻊ ﯾﻚ ﭼﻨﺪ ﺿﻠﻌﻲ را رﺳﻢ ﻛﻨﯿﻢ ‪ ،‬درون ﭼﻨﺪ ﺿﻠﻌﻲ‬
‫ﺑﮫ ﻣﺜﻠﺚ ھﺎ اﻓﺮاز ﻣﻲ ﺷﻮد ‪ .‬ﭼﻨﯿﻦ اﻓﺮازي ﯾﻚ ﻣﺜﻠﺚ ﺑﻨﺪي از ﭼﻨﺪ ﺿﻠﻌﻲ‬
‫ﻧﺎﻣﯿﺪه ﻣﻲ ﺷﻮد ‪ .‬ﻣﻤﻜﻦ اﺳﺖ ﻗﻄﺮھﺎ ﺑﺎ ﻧﻈﻢ و ﺗﺮﺗﯿﺐ ﺧﺎﺻﻲ اﺿﺎﻓﮫ ﺷﻮﻧﺪ‬
‫ﻛﮫ اﯾﻦ ﻗﻄﺮھﺎ ‪ ،‬ﻗﻄﺮھﺎي ﻣﺠﺎز و ﻧﺎ ﻣﺘﻘﺎﻃﻊ ھﺴﺘﻨﺪ ‪.‬‬

‫دارد ‪.‬‬ ‫وﺟﻮد‬ ‫در ﻛﻞ روش ھﺎي زﯾﺎدي ﺑﺮاي ﻣﺜﻠﺚ ﺑﻨﺪي ﯾﻚ ﭼﻨﺪ ﺿﻠﻌﻲ‬
‫ﻣﻲ دھﺪ‬ ‫ﻧﺸﺎن‬ ‫ﺗﺼﻮﯾﺮ ‪ 1.6‬دو ﻣﺜﻠﺚ ﺑﻨﺪي از ﭼﻨﺪ ﺿﻠﻌﻲ ﺑﺎ ‪ n = 14‬راس را‬
‫ﺑﺨﺶ ‪1.2‬‬ ‫؛ ﺗﺎ‬ ‫‪ .‬ﻣﺎ اﺛﺒﺎت اﯾﻦ ﻛﮫ ھﺮ ﭼﻨﺪ ﺿﻠﻌﻲ ﻗﺎﺑﻞ ﻣﺜﻠﺚ ﺑﻨﺪي اﺳﺖ‬
‫ھﺮ ﭼﻨﺪ‬ ‫ﺑﺮاي‬ ‫ﺑﮫ ﺗﺎﺧﯿﺮ ﻣﻲ اﻧﺪازﯾﻢ ‪ ،‬وﻟﻲ ﻓﻌﻼ ﻓﻘﻂ ﻓﺮض ﻣﻲ ﻛﻨﯿﻢ ﻛﮫ‬
‫ﺿﻠﻌﻲ ﯾﻚ ﻣﺜﻠﺚ ﺑﻨﺪي وﺟﻮد دارد‪.‬‬

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

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

‫ﺑﺮاي اداﻣﮫ ي اﺛﺒﺎت ﻧﯿﺎزﻣﻨﺪ ﺑﮫ ﺗﻮﺿﯿﺢ ﭼﮕﻮﻧﮕﻲ اﯾﻦ ﮔﺮاف ھﺴﺘﯿﻢ و‬

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

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

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

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

‫‪ .‬ﻣﺠﺪدا اﺛﺒﺎت اﯾﻦ ادﻋﺎ را ﺑﮫ ﺗﺎﺧﯿﺮ ﻣﻲ اﻧﺪازﯾﻢ وﻟﻲ ﯾﻚ آزﻣﻮن‬
‫‪3‬‬
 ‫ﻓﺼﻞ اول‬

‫ﻛﻮﭼﻚ اﯾﻦ اﺻﻞ را ﻗﺎﺑﻞ ﭘﺬﯾﺮش ﻣﻲ ﻛﻨﺪ ‪ -3 .‬رﻧﮓ آﻣﯿﺰي ﻣﺜﻠﺚ ﺑﻨﺪي ھﺎي‬
‫ﺑﺮاي رﻧﮓ آﻣﯿﺰي راﺳﻲ ﻛﮫ‬ ‫ﺗﺼﺎوﯾﺮ ‪ 1.6‬و ‪ 1.7‬را ﺑﺒﯿﻨﯿﺪ ‪ .‬در ﺷﺮوع‪،‬‬
‫ﺑﺎ ﭘﯿﻜﺎن ﻣﺸﺨﺺ ﺷﺪه اﺳﺖ ‪ 3 ،‬اﻧﺘﺨﺎب وﺟﻮد دارد و رﻧﮓ آﻣﯿﺰي ﺑﻘﯿﮫ ي‬
‫رﺋﻮس ﻛﺎﻣﻼ اﺟﺒﺎري اﺳﺖ ﭼﻮن ھﯿﭻ اﻧﺘﺨﺎب آزاد دﯾﮕﺮي وﺟﻮد ﻧﺪارد و در‬
‫ﻧﺘﯿﺠﮫ ﺑﺮاي ھﺮ راس ﺗﻨﮭﺎ ﯾﻚ اﻧﺘﺨﺎب وﺟﻮد دارد ‪.‬‬

‫ﺑﮫ ﻃﻮر اﺟﻤﺎﻟﻲ دﻟﯿﻞ اﯾﻨﻜﮫ اﻧﺘﺨﺎب ھﺎي ﻗﺪﯾﻤﻲ ھﺮﮔﺰ رخ ﻧﻤﻲ دھﻨﺪ اﯾﻦ‬
‫اﺳﺖ ﻛﮫ ﺷﻜﻞ اﺻﻠﻲ ﯾﻚ ﭼﻨﺪ ﺿﻠﻌﻲ ‪ ،‬ﺑﺪون ھﯿﭻ ﺣﻔﺮه اي اﺳﺖ ) ﺗﻌﺮﯾﻒ ﭼﻨﺪ‬
‫ﺿﻠﻌﻲ را ﺑﮫ ﯾﺎد آورﯾﺪ ( ‪.‬‬

‫ﮔﺎم ﺳﻮم اﺛﺒﺎت ‪ Fisk‬ﻣﺸﺎھﺪه ي اﯾﻦ ﻣﺴﺌﻠﮫ اﺳﺖ ﻛﮫ اﺳﺘﻘﺮار ﻧﮕﮭﺒﺎن ھﺎ‬
‫روي ھﻤﮫ ي رﺋﻮﺳﻲ ﻛﮫ رﻧﮓ ﯾﻜﺴﺎﻧﻲ دارﻧﺪ ‪ ،‬ﻗﺎﺑﻠﯿﺖ روﯾﺖ و در ﻧﺘﯿﺠﮫ‬
‫ﭘﻮﺷﺶ ﭼﻨﺪ ﺿﻠﻌﻲ را ﺗﻀﻤﯿﻦ ﻣﻲ ﻛﻨﺪ ‪.‬دﻟﯿﻞ وي ﺑﮫ ﺷﺮح زﯾﺮ اﺳﺖ ‪:‬‬

‫ﻓﺮض ﻛﻨﯿﺪ رﻧﮓ ھﺎي ﻗﺮﻣﺰ ‪ ،‬ﺳﺒﺰ و آﺑﻲ در ‪ -3‬رﻧﮓ آﻣﯿﺰي اﺳﺘﻔﺎده ﺷﻮﻧﺪ‬
‫‪ .‬ھﺮ ﻣﺜﻠﺚ ﺑﺎﯾﺪ از ھﺮ ﯾﻚ از ﺳﮫ رﻧﮓ ‪ ،‬در ھﺮ ﯾﻚ از ﺳﮫ ﮔﻮﺷﮫ اش‬
‫داﺷﺘﮫ ﺑﺎﺷﺪ ‪ .‬از اﯾﻦ رو ‪ ،‬ھﺮ ﻣﺜﻠﺚ ﯾﻚ ﮔﺮه ي ﻗﺮﻣﺰ دارد ‪ .‬ﻓﺮض ﻛﻨﯿﺪ‬
‫ﻧﮕﮭﺒﺎن ھﺎ روي ﮔﺮه ھﺎي ﻗﺮﻣﺰ ﻗﺮار ﮔﺮﻓﺘﮫ ﺑﺎﺷﻨﺪ ‪ ،‬آﻧﮕﺎه ھﺮ ﻣﺜﻠﺚ در‬
‫ﯾﻜﻲ از ﮔﻮﺷﮫ ھﺎﯾﺶ ﯾﻚ ﻧﮕﮭﺒﺎن دارد ‪ .‬ﺑﮫ وﺿﻮح ھﺮ ﻣﺜﻠﺜﻲ ﺑﺎ ﯾﻚ‬
‫ﻧﮕﮭﺒﺎن ﭘﻮﺷﯿﺪه ﻣﻲ ﺷﻮد ‪.‬‬

‫ﻣﺜﻠﺚ ھﺎ در ﯾﻚ ﻣﺜﻠﺚ ﺑﻨﺪي ‪ ،‬ﺑﮫ ﻃﻮر ﻛﺎﻣﻞ ﭼﻨﺪ‬ ‫در ﻧﮭﺎﯾﺖ ﻣﺠﻤﻮﻋﮫ ي‬
‫‪ .‬در ﻧﺘﯿﺠﮫ اﮔﺮ ﻧﮕﮭﺒﺎن ھﺎ روي ﮔﺮه ھﺎي ﻗﺮﻣﺰ‬ ‫ﺿﻠﻌﻲ را ﻣﻲ ﭘﻮﺷﺎﻧﻨﺪ‬
‫ﺿﻠﻌﻲ ورودي ﭘﻮﺷﯿﺪه ﻣﻲ ﺷﻮد ‪ .‬ﺑﮫ ﻃﻮر ﻣﺸﺎﺑﮫ ‪،‬‬ ‫ﻣﺴﺘﻘﺮ ﺑﺎﺷﻨﺪ ‪ ،‬ﭼﻨﺪ‬
‫ﮔﺮه ھﺎي ﺳﺒﺰ ﯾﺎ آﺑﻲ ﻣﺴﺘﻘﺮ ﺑﺎﺷﻨﺪ ‪ ،‬ﭼﻨﺪ ﺿﻠﻌﻲ‬ ‫اﮔﺮ ﻧﮕﮭﺒﺎن ھﺎ روي‬
‫ﭘﻮﺷﯿﺪه ﻣﻲ ﺷﻮد ‪.‬‬

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

‫" اﮔﺮ ‪ n‬ﺷﻲ ء در ‪ k‬ﻻﻧﮫ ﻗﺮار ﮔﯿﺮﻧﺪ آﻧﮕﺎه ﺣﺪاﻗﻞ ﯾﻚ ﻻﻧﮫ ﺑﺎﯾﺪ ﺷﺎﻣﻞ‬
‫ﺗﻌﺪاد ﻧﺎ ﺑﯿﺸﺘﺮ از ‪ n/k‬ﺷﻲ ء ﺑﺎﺷﺪ ‪ " .‬زﯾﺮا اﮔﺮ ھﺮ ﯾﻚ از ‪ k‬ﻻﻧﮫ ﺷﺎﻣﻞ‬
‫ﺑﯿﺶ از ‪ n/k‬ﺷﻲ ء ﺑﺎﺷﻨﺪ ‪ ،‬ﺗﻌﺪاد ﻛﻞ اﺷﯿﺎء از ‪ n‬ﺗﺠﺎوز ﺧﻮاھﺪ ﻛﺮد ‪.‬‬
‫در اﯾﻦ اﺛﺒﺎت ‪ n ،‬ﺷﯿﺊ ‪ n ،‬ﮔﺮه ي ﮔﺮاف ﻣﺜﻠﺚ ﺑﻨﺪي اﺳﺖ و ‪ ، k‬ﺳﮫ رﻧﮓ‬
‫ﺳﺒﺰ و ﻗﺮﻣﺰ و آﺑﻲ‪ .‬ﻃﺒﻖ اﺻﻞ ﻻﻧﮫ ي ﻛﺒﻮﺗﺮي ‪ ،‬ﯾﻚ رﻧﮓ ﺑﺎﯾﺪ ﻧﺎ ﺑﯿﺸﺘﺮ‬
‫از ‪ n/3‬ﻣﺮﺗﺒﮫ اﺳﺘﻔﺎده ﺷﺪه ﺑﺎﺷﺪ ‪ .‬از آﻧﺠﺎﯾﻲ ﻛﮫ ‪ n‬ﯾﻚ ﻋﺪد ﺻﺤﯿﺢ اﺳﺖ‬
‫ﻣﻲ ﺗﻮان ﻧﺘﯿﺠﮫ ﮔﺮﻓﺖ ﻛﮫ ﯾﻚ رﻧﮓ ﻧﺎ ﺑﯿﺸﺘﺮ از ]‪ [n/3‬ﺑﺎر ﺑﮫ ﻛﺎر رﻓﺘﮫ‬
‫اﺳﺖ ‪.‬‬

‫ﺣﺎل اﺛﺒﺎت ﻛﻔﺎﯾﺖ را دارﯾﻢ ‪:‬‬

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

‫در ﺗﺼﻮﯾﺮ ‪ n=14 ، 1.7‬ﻣﻲ ﺑﺎﺷﺪ و ﺑﻨﺎﺑﺮاﯾﻦ ‪ [n/3]=4‬اﺳﺖ ‪ .‬در ﻗﺴﻤﺖ )‪(a‬‬
‫ﺗﺼﻮﯾﺮ ‪ ، 1.7‬رﻧﮓ ‪ ، 2‬ﭼﮭﺎر ﻣﺮﺗﺒﮫ اﺳﺘﻔﺎده ﺷﺪه اﺳﺖ و در ﻗﺴﻤﺖ )‪(b‬‬
‫ھﻤﺎن رﻧﮓ ﺗﻨﮭﺎ ‪ ،‬ﺳﮫ ﻣﺮﺗﺒﮫ ﺑﮫ ﻛﺎر رﻓﺘﮫ اﺳﺖ ‪ .‬ﺗﻮﺟﮫ ﻛﻨﯿﺪ ﻛﮫ ھﻤﯿﺸﮫ‬
‫ﺑﺤﺚ ‪ -3‬رﻧﮓ آﻣﯿﺰي ﻣﻨﺠﺮ ﺑﮫ ﺑﯿﺸﺘﺮﯾﻦ ﻛﻔﺎﯾﺖ و ﻛﺎراﻣﺪﺗﺮﯾﻦ اﺳﺘﻔﺎده از‬
‫ﻧﮕﮭﺒﺎن ھﺎ ﻧﻤﻲ ﺷﻮد ‪.‬‬

‫ﺗﻤﺮﯾﻦ ھﺎي ﺑﺨﺶ ‪1.1.4‬‬

‫‪ .1‬ﻧﮕﮭﺒﺎن دﯾﻮارھﺎ ‪ .‬ﭼﻨﺪ ﺿﻠﻌﻲ ‪ P‬را ﺑﺎ ﻣﺤﻞ اﺳﺘﻘﺮار ﻧﮕﮭﺒﺎن ھﺎي‬

‫آن ﻃﻮري ﺑﺴﺎزﯾﺪ ﻛﮫ ھﺮ ﻧﻘﻄﮫ از ﻣﺮز ‪ P‬را ﺑﺒﯿﻨﻨﺪ وﻟﻲ ﺣﺪاﻗﻞ ﯾﻚ‬
‫ﻧﻘﻄﮫ در داﺧﻞ ﭼﻨﺪ ﺿﻠﻌﻲ ﻣﻮﺟﻮد ﺑﺎﺷﺪ ﻛﮫ ﺗﻮﺳﻂ ھﯿﭻ ﻧﮕﮭﺒﺎﻧﻲ دﯾﺪه‬
‫ﻧﺸﻮد ‪.‬‬

‫‪ .2‬ﻗﺎﺑﻠﯿﺖ دﯾﺪ واﺿﺢ ‪ ،‬ﻧﮕﮭﺒﺎن ھﺎي ﻧﻘﻄﮫ ‪ .‬ﭘﺎﺳﺦ ﭘﺮﺳﺶ ‪ Klee‬در ﻣﻮرد‬
‫ﻗﺎﺑﻠﯿﺖ دﯾﺪ واﺿﺢ ) ﺑﺨﺶ ‪ ( 1.1.2‬ﭼﯿﺴﺖ ؟ ﺑﮫ ﻃﻮر ﺧﺎص ﺗﺮ ﻓﺮض ﻛﻨﯿﺪ‬
‫)‪ G’(n‬ﻛﻮﭼﻜﺘﺮﯾﻦ ﺗﻌﺪاد ﻧﮕﮭﺒﺎن ھﺎي ﻧﻘﻄﮫ ﺑﺎﺷﻨﺪ ﻛﮫ ﺑﺮاي دﯾﺪن‬
‫واﺿﺢ ھﺮ ﻧﻘﻄﮫ در ھﺮ ﭼﻨﺪ ﺿﻠﻌﻲ ﺑﺎ ‪ n‬راس ﻛﺎﻓﻲ ﺑﺎﺷﻨﺪ ‪ .‬ﻧﮕﮭﺒﺎن‬
‫ھﺎي ﻧﻘﻄﮫ ‪ ،‬ﻧﮕﮭﺒﺎن ھﺎﯾﻲ ھﺴﺘﻨﺪ ﻛﮫ روي ھﺮ ﻧﻘﻄﮫ از ‪ P‬ﻣﻲ‬
‫اﯾﺴﺘﻨﺪ ؛ اﯾﻦ ﻧﮕﮭﺒﺎن ھﺎ ﺑﺎ ﻧﮕﮭﺒﺎن ھﺎي رﺋﻮس ﻛﮫ ﺗﻨﮭﺎ روي‬
‫رﺋﻮس ﻣﻲ اﯾﺴﺘﻨﺪ ‪ ،‬ﻣﺘﻔﺎوﺗﻨﺪ ‪ .‬آﯾﺎ دﯾﺪن واﺿﺢ اﯾﻦ ﻧﮕﮭﺒﺎن ھﺎ‬
‫از ﻧﮕﮭﺒﺎن ھﺎي ﻣﻌﻤﻮﻟﻲ ﻗﻮي ﺗﺮ ﯾﺎ ﺿﻌﯿﻒ ﺗﺮ اﺳﺖ؟ ﭼﮫ راﺑﻄﮫ اي‬
‫ﺑﯿﻦ )‪ G(n‬و )‪ G’(n‬ﺑﺮ ﻗﺮار اﺳﺖ ؟ آﯾﺎ اﺛﺒﺎت ﻛﻔﺎﯾﺖ ]‪ [n/3‬ﺑﺮاي‬
‫ﻗﺎﺑﻠﯿﺖ دﯾﺪ واﺿﺢ ﻧﯿﺰ ﺑﺮﻗﺮار اﺳﺖ ؟ ﺳﻌﻲ ﻛﻨﯿﺪ )‪ G’(n‬را دﻗﯿﻘﺎ‬
‫ﺗﻌﯿﯿﻦ ﻛﻨﯿﺪ ‪.‬‬

‫‪ .3‬ﻗﺎﺑﻠﯿﺖ دﯾﺪ واﺿﺢ ‪ ،‬ﻧﮕﮭﺒﺎن ھﺎي راس ) ‪ . (Tomas Shermer‬ﺑﮫ ﭘﺮﺳﺶ‬

‫ﺷﻤﺎره ي ﭘﺎﺳﺦ دھﯿﺪ وﻟﻲ ﺑﺮاي ﻧﮕﮭﺒﺎن ھﺎي راس ‪ :‬ﻧﮕﮭﺒﺎن ھﺎﯾﻲ‬
‫ﻛﮫ ﺑﮫ رﺋﻮس ﻣﻨﺤﺼﺮ ﺷﺪه اﻧﺪ و ﻓﻘﻂ روي رﺋﻮس ﻣﺴﺘﻘﺮ ﻣﻲ ﺷﻮﻧﺪ ‪.‬‬

‫] ﻣﺴﺌﻠﮫ ي ﺑﺎز [ ‪ .‬ﯾﻚ ﻧﮕﮭﺒﺎن ﯾﺎل ‪ ،‬ﻧﮕﮭﺒﺎﻧﻲ‬ ‫‪ .4‬ﻧﮕﮭﺒﺎن ھﺎي ﯾﺎل‬

‫‪ e‬از ﭼﻨﺪ ﺿﻠﻌﻲ ﮔﺸﺖ ﻣﻲ زﻧﺪ ‪ .‬ﻧﻘﻄﮫ ي ‪ yєP‬ﺑﮫ‬ ‫اﺳﺖ ﻛﮫ روي ﯾﺎل‬
‫ﭘﻮﺷﯿﺪه ﻣﻲ ﺷﻮد اﮔﺮ ﻧﻘﻄﮫ ي ‪ xєe‬وﺟﻮد داﺷﺘﮫ‬ ‫وﺳﯿﻠﮫ ي ﻧﮕﮭﺒﺎن‬
‫‪ x‬ﺑﺘﻮاﻧﺪ ‪ y‬را ﺑﺒﯿﻨﺪ ‪.‬‬ ‫ﺑﺎﺷﺪ ﺑﮫ ﻃﻮري ﻛﮫ‬

‫دﯾﮕﺮي ﺑﺮاي دﯾﺪن ﺗﻌﺮﯾﻒ ﻣﻲ ﻛﻨﯿﻢ ‪ .‬ﻓﺮض ﻛﻨﯿﺪ‬ ‫در اﯾﻦ ﻗﺴﻤﺖ روش‬
‫وﺟﻮد دارد ﻛﮫ ﺗﻄﺒﯿﻖ ‪1‬ھﺎي ‪ e‬را ﺗﻮﺳﻌﮫ ﻣﻲ دھﺪ‬ ‫ﯾﻚ ﻻﻣﭗ ﻓﻠﻮرﺳﻨﺘﻲ‬
‫ﺗﻮﺳﻂ اﯾﻦ ﻻﻣﭗ روﺷﻦ ﺷﺪه اﺳﺖ ‪ ،‬ﻣﺠﻤﻮﻋﮫ ﻧﻘﺎﻃﻲ‬ ‫‪ .‬ﻗﺴﻤﺘﻲ از ‪ P‬ﻛﮫ‬
‫ي ﻧﮕﮭﺒﺎن ﯾﺎل ﭘﻮﺷﯿﺪه ﻣﻲ ﺷﻮد ‪.‬‬ ‫اﺳﺖ ﻛﮫ ﺑﮫ وﺳﯿﻠﮫ‬

‫‪ Toussaint‬ﻧﺸﺎن داد ﻛﮫ ﮔﺎھﻲ اوﻗﺎت ]‪ [n/4‬ﻧﮕﮭﺒﺎن ﯾﺎل ﻻزم اﺳﺖ )‬

‫ﺗﺼﻮﯾﺮ ﺷﻤﺎره ي ‪ 1.8‬را ﺑﺒﯿﻨﯿﺪ ﻛﮫ ﻣﺮﺑﻮط ﺑﮫ ﭼﻨﺪ ﺿﻠﻌﻲ " ﻧﯿﻤﮫ –‬

‫‪match . 1‬‬

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

‫ﺻﻠﯿﺒﻲ " اﺳﺖ ﻛﮫ در ﻛﺘﺎب ‪ O’Rourke‬در ﺳﺎل ‪ 1987‬در ﺻﻔﺤﮫ ي ‪83‬‬

‫آﻣﺪه اﺳﺖ ( ‪ .‬وي ﺣﺪس ﻣﻲ زﻧﺪ ﻛﮫ ]‪ [n/4‬ﻧﮕﮭﺒﺎن ﯾﺎل ‪ ،‬ﺑﮫ ﺟﺰ ﺑﺮاي‬
‫ﻣﻘﺎدﯾﺮ ﻛﻮﭼﻚ ‪ ، n‬ﻛﺎﻓﻲ اﺳﺖ ‪ .‬اﺳﺘﺜﻨﺎﺋﻲ ﻛﮫ وي در ﺣﺪس ﺧﻮد ﺑﯿﺎن‬
‫ﻧﻤﻮد ﺑﺎ ﺗﺼﻮﯾﺮ ‪ 1.9‬ﻣﺸﺨﺺ ﺷﺪه اﺳﺖ ‪ .‬ﺣﺪس ‪ Toussaint‬را ﺛﺎﺑﺖ ﯾﺎ رد‬
‫ﻛﻨﯿﺪ ‪.‬‬

‫‪ .5‬ﻧﮕﮭﺒﺎن ھﺎي ﯾﺎل در ﭼﻨﺪ ﺿﻠﻌﻲ ھﺎي ﺳﺘﺎره اي ] ﻣﺴﺌﻠﮫ ي ﺑﺎز [ ‪.‬‬
‫ﭼﻨﺪ ﺿﻠﻌﻲ ﺳﺘﺎره اي ﭼﻨﺪ ﺿﻠﻌﻲ اي اﺳﺖ ﻛﮫ ﺗﻮﺳﻂ ﯾﻚ ﻧﮕﮭﺒﺎن ﻧﻘﻄﮫ‬
‫ي ﺗﻚ ﭘﻮﺷﯿﺪه ﻣﻲ ﺷﻮد ‪ Toussaint .‬اﺛﺒﺎت ﻛﺮد ﻛﮫ ﮔﺎھﻲ اوﻗﺎت ]‪[n/5‬‬
‫ﻧﮕﮭﺒﺎن ﯾﺎل ﺑﺮاي ﭘﻮﺷﺶ ﯾﻚ ﭼﻨﺪ ﺿﻠﻌﻲ ﺳﺘﺎره اي ) ﺗﺼﻮﯾﺮ ‪ 1.10‬را‬
‫ﺑﺒﯿﻨﯿﺪ ( ﻻزم اﺳﺖ ‪ .‬ﻧﺎدرﺳﺘﻲ اﯾﻦ ﺣﺪس ﻛﮫ ھﻤﯿﺸﮫ ]‪ [n/5‬ﻧﮕﮭﺒﺎن‬
‫ﻛﺎﻓﻲ اﺳﺖ ﺑﺎ ‪ n=4‬اﺛﺒﺎت ﺷﺪ ‪ .‬ﺛﺎﺑﺖ ﯾﺎ رد ﻛﻨﯿﺪ ﻛﮫ ‪ n/5 + c‬ﺑﺮاي‬
‫ﺑﻌﻀﻲ ﺛﺎﺑﺖ ھﺎي ‪ c>0‬ﻛﺎﻓﻲ اﺳﺖ ‪.‬‬

‫‪ .6‬ﻧﮕﮭﺒﺎن ھﺎ در ﭼﻨﺪوﺟﮭﻲ ھﺎ ‪ .‬ﭼﻨﺪوﺟﮭﻲ اي ﻃﺮاﺣﻲ ﻛﻨﯿﺪ ﺑﺎ ﻧﮕﮭﺒﺎن‬

‫ھﺎي روي ھﺮ راس ﻛﮫ ﭘﻮﺷﺶ درون ﭼﻨﺪوﺟﮭﻲ ﺗﻮﺳﻂ آن ھﺎ ﻛﺎﻣﻼ ﻏﯿﺮ‬
‫ﻣﻤﻜﻦ ﺑﺎﺷﺪ ‪ .‬ﯾﻚ ﭼﻨﺪ وﺟﮭﻲ ﻧﺴﺨﮫ اي ﺳﮫ ﺑﻌﺪي از ﯾﻚ ﭼﻨﺪ ﺿﻠﻌﻲ‬
‫اﺳﺖ ﻛﮫ از وﺟﻮه ﭼﻨﺪ ﺿﻠﻌﻲ ﺷﻜﻞ و ﺣﺠﻢ ﺗﺸﻜﯿﻞ ﺷﺪه اﺳﺖ ‪ .‬ﯾﻚ‬
‫ﺗﻌﺮﯾﻒ دﻗﯿﻖ در ﻓﺼﻞ ‪ ) 4‬ﺑﺨﺶ ‪ ( 4.1‬ﭘﯿﺸﻨﮭﺎد ﺷﺪه اﺳﺖ ‪ .‬ﺗﺬﻛﺮ ‪:‬‬
‫ﺑﺨﺶ ‪ O’Rourke , 10.2.2‬ﺳﺎل ‪1987‬را ﺑﺒﯿﻨﯿﺪ ‪.‬‬

‫‪6‬‬