سلام
من چند جا خوندم که این مسئله اثبات ندارد
میخواستم بدونم اینکه میگویند مسئله چهار رنگ فاقد اثبات هست درسته یا نه!!؟
خود من چندین اثبات رو برای این قضیه پیدا کردم ولی به نظرم صد در صد این قضیه قبلا باید اثبات شده باشه چون قضیه به این سادگی غیر ممکنه کسی نتونسته باشه اثباتش کنه!
اثبات مسئله چهار رنگ
- You-See
نام: U30
محل اقامت: تهران
عضویت : یکشنبه ۱۳۹۳/۵/۱۹ - ۱۹:۰۵
پست: 1280-
سپاس: 787
- جنسیت:
تماس:
Re: اثبات مسئله چهار رنگ
دوستای گلم حمایت کنید : https://cafebazaar.ir/app/com.nikanmehr.marmarxword/
- topologist
نام: dariush
عضویت : دوشنبه ۱۳۹۴/۹/۲ - ۲۳:۰۵
پست: 28-
سپاس: 13
Re: اثبات مسئله چهار رنگ
خب منم همینجارو دیدم که این سوال برام پیش اومد دیگه
در کل طبق چیزی که اینجا نوشته اثباتی برای این قضیه وجود نداره!!
این خیلی عجیبه که نوشته:
اثبات چهار رنگ خیلی سخت تر است و دانشمندان برای اثباتش از کامپیوتر کمک گرفتند که ببینند مثال نقضی وجود دارد یا خیر
در صورتی که اصلا نیازی به همچین کارایی نیست و خود من تو همین مبحث براتون اثبات میکنم که شکل دو بعدی که نیاز به 5 رنگ برای رنگ آمیزی داشته باشد از لحاظ ریاضی غیر ممکن است و بنابرین نیازی به کمک گرفتن از رایانه نیست:
یکی از راه های اثبات این قضیه از راه نظریه گراف هاست
اگر ما این قضیه چهار رنگ را به صورت گراف مدل کنیم،هر راس یا گره گراف میتواند به عنوان یک ناحیه نقشه با رنگی خاص و هر شاخه گراف معادل مرز مشترک ناحیه با نواحی دیگر باشد به این صورت:
اما برای اینکه شاخه های گراف ما به معنی مرز مشترک باشد و در کل گراف ما معادل با شکل باقی بماند باید گراف مسطح باشد
بنابرین اصل اویلر باید راجع به گراف صدق کند که:
[tex]v-e+f=2[/tex]
که v تعداد راس و e تعداد شاخه و f تعداد نواحی گراف است
در شکل بالا میبینیم که این قضیه صدق میکند یعنی شکل 4 راس و 6 شاخه و 4 ناحیه دارد.
حال برای اینکه ما شکلی داشته باشیم که به پنج رنگ نیاز داشته باشد باید یک گراف مسطح ماکسیمال را به راسی دیگر وصل کنیم که همچین چیزی شرط مسطح بودن را بر هم میزند بنابرین این شکلی غیر ممکن است.
از طریق تعمیم دادن همین اصل به سه بعد میتوان نتیجه گرفت که در سه بعد به بینهایت رنگ نیاز است!
شما دسترسی جهت مشاهده فایل پیوست این پست را ندارید.
- You-See
نام: U30
محل اقامت: تهران
عضویت : یکشنبه ۱۳۹۳/۵/۱۹ - ۱۹:۰۵
پست: 1280-
سپاس: 787
- جنسیت:
تماس:
Re: اثبات مسئله چهار رنگ
فکر می کنم برای سه بعد اشتباه می کنید و حداکثر به 5 رنگ نیازه. اگر نه مثال نقض لطفا بیارید.
دوستای گلم حمایت کنید : https://cafebazaar.ir/app/com.nikanmehr.marmarxword/
- topologist
نام: dariush
عضویت : دوشنبه ۱۳۹۴/۹/۲ - ۲۳:۰۵
پست: 28-
سپاس: 13
Re: اثبات مسئله چهار رنگ
یک نمونش مکعب های تو در تو هست.
بفرما اینم مثال نقض دو ساعتی شد تا کشیدمش
الان اون مکعب کوچک آخری را نمیتوانیم با رنگ های قبل از اون رنگ آمیزی کنیم و ناچاریم رنگ ششمی به کار ببریم
در این مثال میبینیم که تمام مکعب ها دارای مرز مشترک با مکعب های دیگه هست یعنی از درون تمام اونها به مکعب مرجع که سیاه رنگ هست وصل هستند
مکعب آبی با سبز و مشکی مرز دارد
مکعب قرمز با آبی و مشکی مرز دارد اما چون توسط مکعب آبی محصور است با سبز دارای مرز نیست پس باید از درون به مکعب سبز وصل شود که برای اینکه مشخص بشه اونرو از بیرون وصل کردم
مکعب بنفش هم با قرمز و مشکی مرز دارد اما باید اونرا به آبی و سبز وصل کرد
و همینطور میتوان الی بینهایت مکعب ها را به هم وصل کرد
پس به بینهایت رنگ نیاز است
در واقع این مسئله در سه بعد با گراف غیر مسطح مدل میشود و همونطور که میدونید در گراف غیر مسطح میتوان تمام نقاط را به هم متصل نمود
بفرما اینم مثال نقض دو ساعتی شد تا کشیدمش
الان اون مکعب کوچک آخری را نمیتوانیم با رنگ های قبل از اون رنگ آمیزی کنیم و ناچاریم رنگ ششمی به کار ببریم
در این مثال میبینیم که تمام مکعب ها دارای مرز مشترک با مکعب های دیگه هست یعنی از درون تمام اونها به مکعب مرجع که سیاه رنگ هست وصل هستند
مکعب آبی با سبز و مشکی مرز دارد
مکعب قرمز با آبی و مشکی مرز دارد اما چون توسط مکعب آبی محصور است با سبز دارای مرز نیست پس باید از درون به مکعب سبز وصل شود که برای اینکه مشخص بشه اونرو از بیرون وصل کردم
مکعب بنفش هم با قرمز و مشکی مرز دارد اما باید اونرا به آبی و سبز وصل کرد
و همینطور میتوان الی بینهایت مکعب ها را به هم وصل کرد
پس به بینهایت رنگ نیاز است
در واقع این مسئله در سه بعد با گراف غیر مسطح مدل میشود و همونطور که میدونید در گراف غیر مسطح میتوان تمام نقاط را به هم متصل نمود
شما دسترسی جهت مشاهده فایل پیوست این پست را ندارید.
- You-See
نام: U30
محل اقامت: تهران
عضویت : یکشنبه ۱۳۹۳/۵/۱۹ - ۱۹:۰۵
پست: 1280-
سپاس: 787
- جنسیت:
تماس:
Re: اثبات مسئله چهار رنگ
آفرین. من قانع شدم.
در حقیقت این طور می شه گفت که گراف های کامل فضایی با بیش از پنج راس همواره ناقض چیزی که گفتم هستند.
ممنون.
در حقیقت این طور می شه گفت که گراف های کامل فضایی با بیش از پنج راس همواره ناقض چیزی که گفتم هستند.
ممنون.
دوستای گلم حمایت کنید : https://cafebazaar.ir/app/com.nikanmehr.marmarxword/