نمایش مبدأ برای همبندی (نظریه گراف)

{{همبندی گراف}}
[[پرونده:Sample-graph.jpg|بندانگشتی|نظریه گراف]]
در [[ریاضیات]] و [[علوم کامپیوتر]]، '''همبندی''' {{به انگلیسی|Connectivity}} یکی از مفاهیم اولیهٔ نظریهٔ گراف است: همبندی به دنبال حداقل تعداد رأس‌ها یا یال‌هایی است که با حذفشان، ارتباط رأس‌های باقی‌مانده از بین برود.<ref name="diestel">Diestel, R., [http://diestel-graph-theory.com/GrTh.html Graph Theory, Electronic Edition], 2005, p 12.</ref> این مبحث تا حد زیادی به مسئله‌های [[شبکه شاره]] مربوط است. همبندی یک گراف، یک مقیاس مهم برای سنجش میزانِ کمتر بودن خطاهایش به عنوان یک شبکه است.

== تعریف مؤلفه‌ها، برش‌ها و همبندی ==
در یک گراف بدون جهت <math>G</math>، دو رأس <math>u</math> و <math>v</math> را متصل می‌نامیم اگر گراف <math>G</math> مسیری از <math>u</math> به <math>v</math> داشته باشد. در غیر این صورت، آن‌ها غیرمتصل نامیده می‌شوند. اگر دو رأس با مسیری به طول یک (یک یال) به هم متصل باشند، رأس‌ها، مجاور(همسایه) نامیده می‌شوند. به یک گراف همبند می‌گوییم، اگر هر دو رأس دلخواه آن (از طریق حداقل یک مسیر) به هم متصل باشند.
یک مؤلفهٔ همبندی یک [[زیرگراف]] همبند ماکسیمال از <math>G</math> است. هر رأس و یالی به یک مؤلفهٔ همبندی مربوط است.{{سخ}}

اگر در یک [[گراف جهت‌دار]]، جایگزین کردن تمام یال‌های جهت‌دار با یال‌های بدون جهت منجر به ساخت یک گراف همبند (بدون جهت) شود، در این صورت به این گراف جهت‌دار '''همبند ضعیف''' می‌گوییم.به عبارت دیگر این گراف همبند است اگر به ازای هر دو رأس دلخواه <math>u</math> و <math>v</math>، مسیری جهت‌دار از <math>u</math> به <math>v</math> یا از <math>v</math> به <math>u</math>، وجود داشته باشد.این گراف را '''قویاً همبند''' می‌نامیم، اگر به ازای هر دو رأس دلخواه <math>u</math> و <math>v</math>، مسیری جهت‌دار هم از <math>u</math> به <math>v</math> و هم از <math>v</math> به <math>u</math> داشته باشیم. '''مؤلفه‌های قوی'''، زیرگراف‌های قویاً همبند ماکسیمال هستند.{{سخ}}

یک '''برش'''، '''رأس برشی'''، یا مجموعهٔ جداکنندهٔ گراف همبند <math>G</math>، مجموعه‌ای از رئوس است که با حذفشان گراف <math>G</math> ناهمبند می‌شود. عدد همبندی یا عدد [[همبند رأسی]] که با <math>\kappa(G)</math> نشان داده می‌شود (و ''G'' در آن [[گراف کامل]] نیست) تعداد مینیمال رأس‌های برشی است. یک گراف ''k''-همبند یا ''k''-همبند رأسی نامیده می‌شود اگر تعداد رئوس همبندی آن، حداقل ''k'' باشد. این بدین معنی است که گراف <math>G</math> را زمانی ''k''-همبند می‌نامیم که در آن، یک مجموعه ی k''-1'' عضوی از رأس‌هایی که با حذفشان گراف، ناهمبند می‌شود، وجود نداشته باشد. یک گراف کامل با n رأس که با <math>K_n</math> نشان داده می‌شود، هیچ رأس برشی ندارد، ولی بنابر قرارداد داریم <math>\kappa(K_n) = n - 1</math>. رأس برشی رئوس <math>u</math> و <math>v</math> مجموعه‌ای از رأس‌ها است که با حذف کردنشان، ارتباط بین <math>u</math> و <math>v</math> قطع می‌شود. عدد همبندی محلی <math>\kappa(u,v)</math> برابر با کمترین تعداد رئوس برشی است که با حذفشان، ارتباط <math>u</math> و <math>v</math> قطع می‌شود. همبندی محلی برای گراف‌های بدون جهت، متقارن است <math>\kappa(u,v) = \kappa(v,u)</math>. علاوه بر این به استثنای گراف‌های کامل، <math>\kappa(G)</math> به ازای هر دو انتخاب دلخواه از رأس‌های <math>u</math> و <math>v</math> برابر است با حداقل <math>\kappa(u,v)</math>.

[[گراف دوهمبند]] {{به انگلیسی|biconnectivity}} مثالی از گراف ''k''-همبند است.

مفاهیم مشابهی را می‌توان برای یال‌ها تعریف کرد. به عنوان نمونه، اگر حذف یک یال خاص، آن گراف را ناهمبند کند، در این صورت این یال، [[پل (نظریه گراف)|پل]] نامیده می‌شود. به‌طور کلی، یال برشی گراف ''G'' مجموعه‌ای از یال‌ها است که حذف آن‌ها، گراف را ناهمبند می‌کند. عدد همبند یالی <math>\lambda(G)</math> برابر با اندازهٔ کوچکترین مجموعهٔ یال‌های برشی است و عدد همبند یالی محلی <math>\lambda(u,v)</math> رئوس ''u'' و ''v'' برابر با اندازه ی کوچکترین یال برشی است که ''u'' و ''v'' را از هم جدا می‌کند. همبند یالی محلی متقارن است. یک گراف ''k''-همبند یالی نامیده می‌شود، اگر عدد همبندی یالی آن حداقل ''k'' باشد.

== قضیهٔ منگر ==
یکی از مهمترین قضایا دربارهٔ همبندی در گراف‌ها '''[[قضیهٔ منگر]]''' {{به انگلیسی|[[Menger's theorem]]}} است که عدد همبندی و عدد همبند یالی یک گراف را به صورت مسیرهای مستقل بین رئوس مشخص می‌کند. اگر <math>u</math> و <math>v</math> رأس‌های گراف <math>G</math> باشند، آنگاه مجموعه‌ای از مسیرها بین <math>u</math> و <math>v</math> را ''مستقل'' می‌نامیم، اگر هیچ دوتایی از آن‌ها، رأس مشترک نداشته باشند (به جز رأس‌های ''u'' و ''v''). به‌طور مشابه، یک مجموعه، یال-مستقل است، اگر هیچ دو مسیری از آن، یال مشترک نداشته باشند. تعداد مسیرهای دو به دو مستقل بین <math>u</math> و <math>v</math> به صورت <math>\kappa\prime(u,v)</math> و تعداد مسیرهای دو به دو یال-مستقل بین ''u'' و ''v'' به صورت <math>\lambda(u,v)</math> نوشته می‌شوند.{{سخ}}
قضیهٔ منگر ادعا می‌کند که عدد همبندی محلی <math>\kappa(u,v)</math> با <math>\kappa\prime(u,v)</math> برابر است و عدد همبندی یالی محلی <math>\lambda(u,v)</math> با <math>\lambda\prime(u,v)</math> به ازای هر انتخاب دلخواه از رأس‌های ''u'' و ''v'' برابر است.<ref>{{cite book|title=Algorithmic Graph Theory|url=https://archive.org/details/algorithmicgraph0000gibb|author=Gibbons, A.|year=1985|publisher=[[انتشارات دانشگاه کمبریج|Cambridge University Press]]}}</ref><ref>{{cite book|title=Algorithmic Aspects of Graph Connectivity|author=Nagamochi, H., Ibaraki, T.|year=2008|publisher=Cambridge University Press}}</ref> این قضیه، یک حالت خاص از [[قضیه تساوی جریان بیشینه با برش کمینه|قضیهٔ جریان بیشینه - برش کمینه]] است.

== جنبه‌های محاسباتی ==
مسئلهٔ تعیین اینکه آیا در یک گراف، دو رأس به هم متصل هستند یا نه، می‌تواند به صورت مؤثر با استفاده از الگوریتم سرچ، مثل [[الگوریتم جستجوی اول سطح|جستجوی اول سطح]]، حل شود. به‌طور کلی، تعیین محاسباتی اینکه آیا یک گراف همبند است،(برای مثال با استفاده از مجموعه‌های مجزا در [[ساختمان داده‌ها|ساختمان داده]])، یا شمارش تعداد مؤلفه‌های همبندی گراف آسان است. یک الگوریتم ساده به صورت [[شبه‌کد|شبه کد]] به صورت زیر است:
# از یک رأس دلخواه گراف <math>G</math> شروع کن.
# از این رأس با استفاده از [[الگوریتم جستجوی اول سطح|جستجوی اول سطح]] یا [[جستجوی عمق اول]]، شروع به حرکت کن و تمام رأس‌هایی که به آن دسترسی پیدا کردی را بشمار.
# هر وقت گراف به‌طور کامل پیمایش شد، اگر تعداد رأس‌های شمرده شده برابر با تعداد رأس‌های گراف <math>G</math> باشد، گراف همبند است، در غیر این صورت گراف ناهمبند است.

با استفاده از قضیهٔ منگر، برای هر دو رأس دلخواه ''u'' و ''v'' در یک گراف همبند <math>G</math>، مقادیر <math>\kappa(u,v)</math> و <math>\lambda(u,v)</math> می‌توانند توسط الگوریتم جریان بیشینه - برش کمین تعیین شوند. در این صورت عدد همبندی و عدد همبند یالی گراف <math>G</math> به ترتیب برابر با کمینه مقادیر <math>\kappa(u,v)</math> و <math>\lambda(u,v)</math> خواهند بود.{{سخ}}
همبندی گراف‌های بدون جهت، در مرتبهٔ <math>O(\log n)</math> قابل حل است.
مسئلهٔ محاسبهٔ احتمال اینکه یک گراف تصادفی، همبند باشد، ''اعتبار شبکه''{{به انگلیسی| Network reliability}} نامیده می‌شود. همچنین مسئلهٔ محاسبهٔ اینکه آیا دو رأس داده شده، متصل هستند، ''ST-reliability problem'' نامیده می‌شود. هر دوی این مسائل sharp-P]] Hard]] هستند.

== مثال‌ها ==
* عدد همبند رأسی و عدد همبند یالی یک گراف ناهمبند هر دو برابر صفر هستند.
* 1-همبند با همبند بودن هم معنی است.
* یک [[گراف کامل]] با ''n'' رأس دارای عدد همبندِ یالی برابر با N''-1'' هست. هر گراف ساده ی دیگر ''n'' رأسی، عدد همبند یالی کمتری دارد.
* در یک [[درخت]]، عدد همبند یالی محلی بین هر دو جفت از رأس‌ها برابر با 1 است.

== کران‌های همبندی ==
* عدد همبند رأسی یک گراف، کوچکتر یا مساوی عدد همبند یالی‌اش است <math>\kappa(G) <\lambda(G)</math>. هردوی آن‌ها، از کمترین درجهٔ گراف، کوچکتر هستند، چون حذف کردن همهٔ رئوس مجاور یک رأس با کمترین درجه، ارتباط این رأس را با گراف قطع می‌کند.

== ویژگی‌های دیگر ==
* اگر <math>G</math> همبند باشد آنگاه گراف خطی <math>L(G)</math> همبند است.
* گراف ''G'' 2-همبند یالی است، [[اگر و تنها اگر]] یال‌های جهت داری داشته باشد که مجموعهٔ آن یال‌ها، قویاً همبند باشد.
* بنابر یکی از قضایای [[Gabriel Andrew Dirac|G. A. Dirac]] اگر یک گراف به ازای ''k''های بزرگتر مساوی 2، ''k''-همبند باشد، آنگاه برای هر مجموعهٔ ''k'' رأسی در گراف، دوری وجود دارد که از همهٔ رئوس این مجموعه می‌گذرد.

== جستارهای وابسته ==
* [[ریاضیات گسسته]]
* [[گراف]]
* [[نظریه گراف]]

== منابع ==
{{پانویس}}
{{پانویس-نظریه گراف}}
[[رده:نظریه گراف]]
[[رده:همبندی گراف]]