یک شبکه ارتباطی در برابر نقص دارای قدرت تحمل است اگر دارای مسیرهای دیگری میان راس‌ها باشد. هر چه مسیرهای مجزا بیشتر باشد٫ بهتر است. این مثال دقیقا مفهوم گراف چند همبند (به انگلیسی: k-vertex-connected graph) است.

گراف دوهمبند (به انگلیسی: biconnected) حالت خاصی از گراف چند همبند است.

گراف دوهمبند٫ یک گراف همبند است با این خصوصیت که غیر جداشدنی باشد٫ یعنی با حذف یک راس همبند باقی بماند. این خاصیت برای مدیریت یک گراف با افزونگی دوگانه[۱] سودمند است به این منظور که از ناهمبند شدن گراف با حذف یک یال آن جلوگیری شود.

به جهت خاصیت افزونگی٫ استفاده از گراف دوهمبند در زمینه شبکه (ببینید شبکه شاره[۲])٫ بسیار مهم است.

تعداد گراف‌های دوهمبند

ویرایش
گراف غیرجداشدنی (دوهمبند) با n راس (دنباله A002218 در دانشنامه برخط سری‌های صحیح)
راس‌ها تعداد حالت ها
۱ ۰
۲ ۱
۳ ۱
۴ ۳
۵ ۱۰
۶ ۵۶
۷ ۴۶۸
۸ ۷۱۲۳
۹ ۱۹۴۰۶۶
۱۰ ۹۷۴۳۵۴۲
۱۱ ۹۰۰۹۶۹۰۹۱
۱۲ ۱۵۳۶۲۰۳۳۳۵۴۵
۱۳ ۴۸۴۳۲۹۳۹۱۵۰۷۰۴
۱۴ ۲۸۳۶۱۸۲۴۴۸۸۳۹۴۱۶۹
۱۵ ۳۰۹۹۵۸۹۰۸۰۶۰۳۳۳۸۰۷۸۴
۱۶ ۶۳۵۰۱۶۳۵۴۲۹۱۰۹۵۹۷۵۰۴۹۵۱
۱۷ ۲۴۴۸۵۲۰۷۹۲۹۲۰۷۳۳۷۶۰۱۰۴۱۱۲۸۰
۱۸ ۱۷۸۳۱۶۰۵۹۴۰۶۹۴۲۹۹۲۵۹۵۲۸۲۴۷۳۴۶۴۱
۱۹ ۲۴۶۰۳۸۸۷۰۵۱۳۵۰۹۴۵۸۶۷۴۹۲۸۱۶۶۶۳۹۵۸۹۸۱

قضیه. ویتنی

ویرایش

قضیه. (ویتنی[۳] [۱۹۳۲]) یک گراف بیسوی G که دارای حداقل سه راس باشد٫ دوهمبند است اگر٫ و فقط اگر٫ هر جفت   به وسیلهٔ دو مسیر درونی مجزا٫ یعنی مسیری که به غیر از u و v راس مشترک دیگری ندارد٫ به هم وصل شوند.

لم (بسط لم)

ویرایش

اگر G یک گراف k-همبند باشد و   از   با افزودن یک راس جدید y مجاور با حداقل k راس از G٫ یه دست آید٫ آن گاه   k-همبند است.

قضیه هم ارزی

ویرایش

قضیه. اگر ۳ ٫ آن گاه شرایط زیر برای گراف‌های دوهمبند برقرار و هم ارز هستند.

الف) G همبند است و دارای هیج راس برشی نیست.

ب) به ازای هر   مسیرهای درونی مجزا وجود دارد.

پ) به ازای هر   یک دور میان x و y وجود دارد.

ت) ۱ ٫ و هر جفت از یال‌ها در ٫G روی یک دور مشترک قرار می‌گیرند.

تعریف. زیرتقسیم یک یال

ویرایش

زیرتقسیم یال   از یک گراف بیسوی G عبارت است از حذف   و افزودن مسیر جدید   میان یک راس جدید  .

فرع. اگر G دوهمبند باشد٫ آن گاه گراف   به دست آمده از زیر تقسیم یک یال ٫G دوهمبند است.

تعریف. مسیر افزودن

ویرایش

یک مسیر افزودن به ٫G افزودن مسیری است به G با طول ۱  میان دو راس از G ٫ که   راس جدید را ارایٔه می‌کند. مسیر افزوده شده را دسته می‌گویند.

 
شکل ۱

یک تجزیه دسته عبارت است از افراز   به مجموعه‌های   به طوری که   یک دور باشد٫ و   به ازای ۱  یک مسیر افزودن به گراف تشکیل شده به وسیلهٔ   باشد.

قضیه. (ویتنی [۱۹۳۲]). یک گراف دو همبند است اگر٫ و فقط اگر٫ دارای یک تجزیه دسته باشد. علاوه بر این٫ هر دور در یک گراف دوهمبند٫ دور آغازی در یک تجزیه دسته‌است.

پانویس

ویرایش
  1. Two-fold redundancy
  2. Network flow
  3. Whitney

مثال‌ها

ویرایش

منابع

ویرایش
  • مشارکت‌کنندگان ویکی‌پدیا. «Biconnected graph». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۲۲ می۲۰۰۹.
  • Douglas B. West (2000), "4.2", Introduction to Graph Theory (به انگلیسی) (second ed.), Prentice Hall
  • مشارکت‌کنندگان ویکی‌پدیا. «K-vertex-connected graph». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۱۹ می۲۰۰۹.
  • Eric W. Weisstein. "Biconnected Graph." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/BiconnectedGraph.html
  • Paul E. Black، "biconnected graph"، in Dictionary of Algorithms and Data Structures [online]، Paul E. Black، ed.، U.S. National Institute of Standards and Technology. 17 December 2004. (accessed TODAY) Available from: http://www.nist.gov/dads/HTML/biconnectedGraph.html