ادامه شبکه آپولون
مثالها [ ویرایش ]
گرافهای کامل در سه و چهار راس، K 3 و K 4 ، هر دو شبکه آپولونی است. K 3 است که با شروع با یک مثلث و از انجام هر گونه تقسیم بندی، در حالی که نه تشکیل K 4 است با ساخت یک بخش فرعی تک قبل از توقف تشکیل شده است.
نمودار گلدنر - هاری یک شبکه آپولونی است که کوچکترین نمودار مسطح غیر همیلتون را تشکیل می دهد . [1] یکی دیگر از شبکه های آپولونی پیچیده تر توسط Nishizeki (1980) مورد استفاده قرار گرفت تا نمونه ای از نمودار حداکثر مسطح غیر همیلتون 1-سخت را ارائه دهد .
خصوصیات نمودار-نظری [ ویرایش ]
علاوه بر این که با تقسیم بازگشتی مثلث ها تعریف می شود ، شبکه های آپولونی دارای چندین توصیف ریاضی معادل دیگر هستند. آنها وتری حداکثر مسطح گرافها، وتری نمودار چند وجهی ، و مسطح 3-درختان . آنها نمودارهای مسطح منحصر به فرد 4 رنگی هستند و نمودارهای مسطح با تجزیه چوب منحصر به فرد اشنایدر در سه درخت. آنها نمودارهای مسطح حداکثر با سه ضلع سه هستند ، یک کلاس از نمودارهایی که می توان با افراد خردسال ممنوعه آنها یا از نظر قابلیت کاهش آنها در تبدیل Y-Δ مشخص کرد . آنها نمودارهای حداکثر مسطح با انحطاط هستندسه. آنها همچنین نمودارهای مسطح روی تعداد معینی از راسها هستند که بیشترین تعداد مثلث را در خود دارند ، بیشترین تعداد ممکن از زیرگراف های چهار گوشه ، بیشترین تعداد ممکن کلیشه و بیشترین تعداد ممکن قطعات بعد از تجزیه با جدا کردن مثلث ها وجود دارد.
وردی [ ویرایش ]
شبکه های آپولون نمونه ای از نمودارهای مسطح حداکثر هستند ، نمودارهایی که هیچ لبه اضافی را بدون از بین بردن مسطح بودن نمی توان اضافه کرد ، یا نمودارهایی معادل مساوی که می توان در هواپیما ترسیم کرد به گونه ای که هر صورت (از جمله چهره بیرونی) مثلث است. آنها همچنین نمودارهای وتر هستند ، نمودارهایی که در آنها هر چرخه از چهار یا چند راس دارای یک لبه مورب است که دو راس چرخه غیر متوالی را به هم متصل می کند ، و ترتیب ترتیب اضافه شدن مهره ها در فرایند تقسیم بندی که یک شبکه آپولونیایی را تشکیل می دهد یک دستور حذف است. نمودار وتر. این یک توصیف جایگزین از شبکه های آپولون را تشکیل می دهد: آنها دقیقا نمودارهای مسطح حداکثر وتر یا معادل نمودارهای چند کلیسایی وتر هستند . [2]
در یک شبکه آپولون ، هر کلیشه حداکثر یک نمودار کامل در چهار راس است که با انتخاب هر راس و سه همسایه قبلی آن تشکیل شده است. هر جداکننده حداقل کلیکی (کلیپی که نمودار را به دو زیرگراف جدا شده تقسیم می کند) یکی از مثلث های تقسیم شده است. نمودار وتر که در آن تمام کلیشه های حداکثر و کلیه جداکننده های کلیکی با اندازه یکسان هستند ، k -tree است و شبکه های آپولوونی نمونه هایی از 3 درخت هستند. هر 3 درخت مسطح نیست ، اما 3 درخت مسطح دقیقاً شبکه های آپولون هستند.
رنگ آمیزی بی نظیر [ ویرایش ]
هر شبکه آپولون نیز گرافیکی منحصر به فرد 4 رنگ است . از آنجا که این یک نمودار مسطح است ، قضیه چهار رنگ دلالت بر این دارد که دارای یک نمودار گرافیکی با تنها چهار رنگ است ، اما پس از انتخاب سه رنگ مثلث اولیه ، تنها یک انتخاب ممکن برای رنگ هر راس پی در پی وجود دارد ، بنابراین دقیقاً تا حد مجاز مجموعه رنگها دقیقاً یک رنگ 4 رنگ دارد. اثبات این مسئله دشوارتر است ، اما همچنین صحیح است که هر نمودار منحصر به فرد مسطح 4 رنگ یک شبکه آپولون است. بنابراین ، شبکه های آپولونی نیز ممکن است به عنوان نمودارهای مسطح منحصر به فرد 4 رنگی مشخص شوند. [3] شبکه های آپولوونی همچنین نمونه هایی از نمودارهای مسطح را در اختیار دارند که دارای کمترین رنگ K هستندk > 4 . [4]
شبکه های آپولوونی نیز دقیقاً نمودارهای مسطح حداکثر هستند که (پس از آنکه یک چهره بیرونی ثابت شود) دارای یک چوب منحصر به فرد Schnyder است ، یک پارتیشن از لبه های نمودار به سه درخت لایه ای که ریشه در سه راس چهره خارجی دارد. [5]
Treewidth [ ویرایش ]
شبکه های آپولون خانواده ای از نمودارها را که تحت بهره برداری از خردسالان گراف بسته شده اند تشکیل نمی دهند ، زیرا از بین بردن لبه ها اما نه مهره ها از یک شبکه آپولونی گرافیکی تولید می کند که یک شبکه آپولونیایی نیست. با این حال ، سه درخت مسطح جزئی ، زیرگراف شبکه های آپولوونی ، جزئی از بسته نیست. بنابراین ، با توجه به قضیه رابرتسون-سیمور ، می توان آنها را با تعداد محدودی از خردسالان ممنوع توصیف کرد . حداقل خردسالان ممنوع برای درختان جزئی جزئی مسطح ، چهار نمودار حداقل در بین افراد ممنوع برای نمودارهای مسطح و 3 درختان جزئی است: نمودار کامل K 5 ، نمودار کامل دو طرفه Kنمودار 3،3 ، نمودار هشت ضلعی و نمودار منشور پنج ضلعی . نمودارهای آپولوونی حداکثر نمودارهایی هستند که هیچکدام از این چهار نمودار به عنوان جزئی ندارند. [6]
Y-Δ تبدیل ، یک عملیات است که جایگزین یک درجه و سه رئوس یک گراف توسط یک مثلث اتصال همسایگان خود، کافی است (همراه با حذف لبه های موازی) است که به کاهش هر شبکه آپولونی به یک مثلث واحد، و به طور کلی نمودارهای مسطح که با تبدیل Y-Δ به یک لبه واحد کاهش می یابد ، برداشتن لبه های موازی ، از بین بردن مهره درجه یک و فشرده سازی مهره های درجه دو دقیقاً 3 طبقه درخت مسطح هستند. نمودارهای دوتایی سه طبقه مسطح مسطح ، یک خانواده گراف کوچک بسته دیگر را تشکیل می دهند و دقیقاً نمودارهای مسطح هستند که با تبدیل Δ-Y ، برداشتن لبه های موازی ، از بین بردن مهره های درجه یک و یک ، می توان آنها را به یک لبه واحد کاهش داد. فشرده سازی vertices درجه دو. [7]
دژنراسیون [ ویرایش ]
در هر زیرگرافی از یک شبکه آپولوونی ، اخیراً به حداکثر سطح اضافه شده دارای حداکثر سه درجه است ، بنابراین شبکه های آپولون دارای سه انحطاط هستند . نظمی که در آن رئوس ها برای ایجاد شبکه اضافه می شوند از این رو یک دستور تخریب است و شبکه های آپولونی با نمودارهای مسطح حداکثر 3 انحطاطی همزمان می شوند.
افراط [ ویرایش ]
یکی دیگر از خصوصیات شبکه های آپولوونی شامل اتصال آنها است . هر نمودار حداکثر مسطح ممکن است با تقسیم آن در مثلثهای جداکننده آن به زیرگرافهای مسطح حداکثر 4 رأس تجزیه شود (مثلثهایی که صورت آن نمودار نیست): با توجه به هر مثلث غیر صورت: با توجه به هر مثلث غیر صورت: می توانید دو نمودار مسطح حداکثر کوچکتر را تشکیل دهید. یکی از قسمتهای داخل مثلث و بخشی دیگر از قسمت مثلث تشکیل شده است. نمودارهای حداکثر مسطح بدون مثلث جداکننده که ممکن است با شکافهای مکرر از این نوع تشکیل شوند ، بعضا بلوک نامیده می شوند ، اگرچه از این نام برای اجزای دوطرفه گرافی که خود به هم متصل نیستند نیز استفاده شده است. یک شبکه آپولونی نمودار حداکثر مسطح است که در آن همه بلوک ها قرار دارندایزومورف به نمودار کامل K 4 .
در تئوری نمودارهای افراطی ، شبکه های آپولوونی نیز دقیقاً نمودارهای مسطح n -vertex هستند که در آن تعداد بلوکها به حداکثر خود ، n - 3 و نمودارهای مسطح که در آن تعداد مثلثها به حداکثر خود می رسد ، 3 ن - 8 می رسد . از آنجا که هر K 4 گراف یک گراف مسطح باید یک بلوک می شود، این نیز نمودار مسطح که در آن تعداد هستند K 4 زیرگرافهای رسیدن به حداکثر آن، N - 3 و نمودار که در آن تعداد از دار و دسته از هر نوع دستیابی آن حداکثر ، 8 ن - 16 . [8]
منبع