بحث در مورد قضیه چهار رنگ

[ara.look]

سلام
آیا بعد از اثباتی که توسط کامپیوتر شده اثبات دیگری هم برای این قضیه مطرح شده؟ یا اصلا روشی هست که به وسیله ی اون روش بشه نقشه ای رو با چهار رنگ، رنگ کرد؟ منظورم الگوریتمی هست که به وسیله اون بشه هر نقشه ای رو با چهار رنگ، رنگ کرد؟ البته الگوریتم که زیاده ولی الگوریتمی که ثابت شده باشه که به وسیله این الگوریتم حتما میشه این کار رو کرد منظور من هست. آیا ارائه همچین الگوریتمی به معنی اثبات قضیه نیست؟
ممنون.

[davy jones]

سلام.

تا اونجایی که در ویکیپدیا نوشته بود، هنوز اثبات الگوریتمیک برای این قضیه ارائه نشده.

تنها اثبات مربوط به همون اثبات کامپیوتری و از طریق بررسی 1936 نفشه ی متفاوتی بود که با رایانه مورد تحلیل و بررسی قرار گرفت و در ادامه ادعا شد که هر نقشه ی دیگری که طرح شود، مطمئنا از این 1936 حالت بیرون نخواهد بود و مشابه یکی از همین ها میشود و چون مثال نقضی در این 1936 حالت دیده نشده، پس قضیه ثابت میشود!

برای مطالعه ی بیشتر، لینک زیر رو ببینین:

[ برای مشاهده لینک ، لطفا با نام کاربری خود وارد شوید یا ثبت نام کنید ]


موفق باشین.
91/1/27

[skyzare]

با سلام .

در کل این قضیه چهار رنگ چی هست ؟ ( خیلی کلی )

[ara.look]

سلام
خب اگه کسی اینو اثبات کنه کار با ارزشی حساب میشه؟

با سلام .

در کل این قضیه چهار رنگ چی هست ؟ ( خیلی کلی )
این قضیه میگه که برای رنگ کردن هر نقشه ای فقط 4 تا رنگ لازمه.
ممنون.

[davy jones]

با سلام .

در کل این قضیه چهار رنگ چی هست ؟ ( خیلی کلی )
سلام.

تعریف خیلی کلی رو دوستمون ارائه دادند. بنده فقط یه نکته بهش اضافه کنم که این قضیه شرطش اینه که در رنگ کردن مناطق مشخص شده روی نقشه (مثلا مانند کشورها) هیچ دو منطقه ی مجاوری نباید همرنگ باشند مگر اینکه مرز مشترک دو منطقه تعداد متناهی نقطه باشه.


سلام
خب اگه کسی اینو اثبات کنه کار با ارزشی حساب میشه؟


معلومه که محسوب میشه چون تا حالا چند تا ریاضی دان بزرگ جهانی، بعد از سالها تلاش، ادعای اثبات کردنش رو کردند ولی بعد یه دانشمند دیگه پیداش شد که از راه حل و اثبات اون قبلی ها ایراد گرفته و اثبات رو رد کرده. همونطور که گفتم تنها اثبات پذیرفته شده، همون محاسبات کامپیوتری ای بوده که در سال 1976 به صورت استقرایی صورت گرفته، نه الگوریتمیک.

در واقع این قضیه، قضیه نیست. بلکه یک حدس علمیه که هنوز مثال نقضی براش پیدا نشده.


موفق باشین.
91/1/27

[ara.look]

ممنون از توضیحات. آیا شما روی اثباتش کار کردین؟(البته اگه فضولی نباشه)

[davy jones]

ممنون از توضیحات. آیا شما روی اثباتش کار کردین؟(البته اگه فضولی نباشه)
نه متاسفانه کار نکردم.
نه اینکه بلد نباشم و سوادم به این چیزا قد نده ها .... نه! ...... وقتشو ندارم :31: