رنگبندی بخشی گراف

رنگبندی بخشی(Fractional Coloring)
رنگ بندی بخشی موضوعی جدید در شاخه تئوری گراف (graph theory) است که به نام تئوری گراف بخشی (fractional graph theory) شناخته می شود. این موضوع تعمیمی از رنگ بندی گراف معمولی می باشد. در رنگ بندی گراف سنتی، هر رأس از گراف به رنگ های متعددی در آورده می شود و رأس های مجاور (به این معنا که به وسیلهٔ یالی به هم متصل شده اند) باید به رنگ های متمایزی در آورده شوند. در یک رنگ بندی بخشی، یک مجموعه خاص از رنگ ها به هر رأس گراف نسبت داده می شود. در این مسئله هم رأس های مجاور نباید دارای رنگ های مشابه باشند. رنگ بندی بخشی را می توان به عنوان راحت سازی برنامه نویسی خطی یا (linear programming relaxation) در نظر گرفت. در واقع با رویکرد برنامه نویسی خطی، مسائل مربوط به رنگ بندی بخشی نسبت به رنگ بندی سنتی بسیار بیشتر قابل پاسخگویی می باشد.
یک رنگ بندی b-fold یا b-لایه یک گراف G، یک نسبت دهی از اندازه b به رأس های گراف است به طوری که رئوس مجاور مجموعه متمایزی داشته باشند. یک رنگ بندی a:b تا رنگ بندی از میان رنگ های مجاز می باشد. یک عدد رنگی b-لایه Xb(G)، حداقل تعداد a می باشد به طوری که یک رنگ بندی a: b موجود باشد.عدد رنگی بخشی (Xf(G به صورت زیر تعریف می شود:
توجه کنید که این حد به علت اینکه (Xb(G زیر-افزاینده (subadditive) است موجود می باشد، به این معنا که (Xa+b(G) ≤ Xa(G) + Xb(G.