Printable View
سلام
آیا بعد از اثباتی که توسط کامپیوتر شده اثبات دیگری هم برای این قضیه مطرح شده؟ یا اصلا روشی هست که به وسیله ی اون روش بشه نقشه ای رو با چهار رنگ، رنگ کرد؟ منظورم الگوریتمی هست که به وسیله اون بشه هر نقشه ای رو با چهار رنگ، رنگ کرد؟ البته الگوریتم که زیاده ولی الگوریتمی که ثابت شده باشه که به وسیله این الگوریتم حتما میشه این کار رو کرد منظور من هست. آیا ارائه همچین الگوریتمی به معنی اثبات قضیه نیست؟
ممنون.
سلام.
تا اونجایی که در ویکیپدیا نوشته بود، هنوز اثبات الگوریتمیک برای این قضیه ارائه نشده.
تنها اثبات مربوط به همون اثبات کامپیوتری و از طریق بررسی 1936 نفشه ی متفاوتی بود که با رایانه مورد تحلیل و بررسی قرار گرفت و در ادامه ادعا شد که هر نقشه ی دیگری که طرح شود، مطمئنا از این 1936 حالت بیرون نخواهد بود و مشابه یکی از همین ها میشود و چون مثال نقضی در این 1936 حالت دیده نشده، پس قضیه ثابت میشود!
برای مطالعه ی بیشتر، لینک زیر رو ببینین:
[ برای مشاهده لینک ، با نام کاربری خود وارد شوید یا ثبت نام کنید ]
موفق باشین.
91/1/27
با سلام .
در کل این قضیه چهار رنگ چی هست ؟ ( خیلی کلی )
سلام
خب اگه کسی اینو اثبات کنه کار با ارزشی حساب میشه؟
این قضیه میگه که برای رنگ کردن هر نقشه ای فقط 4 تا رنگ لازمه.نقل قول:
ممنون.
سلام.نقل قول:
تعریف خیلی کلی رو دوستمون ارائه دادند. بنده فقط یه نکته بهش اضافه کنم که این قضیه شرطش اینه که در رنگ کردن مناطق مشخص شده روی نقشه (مثلا مانند کشورها) هیچ دو منطقه ی مجاوری نباید همرنگ باشند مگر اینکه مرز مشترک دو منطقه تعداد متناهی نقطه باشه.
معلومه که محسوب میشه چون تا حالا چند تا ریاضی دان بزرگ جهانی، بعد از سالها تلاش، ادعای اثبات کردنش رو کردند ولی بعد یه دانشمند دیگه پیداش شد که از راه حل و اثبات اون قبلی ها ایراد گرفته و اثبات رو رد کرده. همونطور که گفتم تنها اثبات پذیرفته شده، همون محاسبات کامپیوتری ای بوده که در سال 1976 به صورت استقرایی صورت گرفته، نه الگوریتمیک.نقل قول:
در واقع این قضیه، قضیه نیست. بلکه یک حدس علمیه که هنوز مثال نقضی براش پیدا نشده.
موفق باشین.
91/1/27
ممنون از توضیحات. آیا شما روی اثباتش کار کردین؟(البته اگه فضولی نباشه)
نه متاسفانه کار نکردم.نقل قول:
محتوای مخفی: شوخیه. زیاد جدی نگیرین!