گراف جانسون

الگو:Infobox graphگراف جانسون یک نوع خاص از گراف بدون جهت تعریف شده از نظام مجموعه‌ها است. رئوس گراف جانسون ${\displaystyle }$ هستند؛ ${\displaystyle }$زیرمجموعه از یک مجموعه با ${\displaystyle }$; دو راسی مجاور هستند که تقاطع دو راس (زیر مجموعه) شامل ${\displaystyle }$. هر دوی گراف جانسون و جانسون طرح به نام سلمر مارتین جانسون نام گذاری شده‌است.

موارد خاص

• ${\displaystyle }$ گراف کامل الگو:ریاضی است.
• ${\displaystyle }$ گراف هشت وجهی است.
• ${\displaystyle }$ گراف مکمل برای گراف پترسن است، بنابراین گراف خط الگو:ریاضی است. به‌طور کلی، به ازای هر n، گراف جانسون ${\displaystyle }$ مکمل گراف نسر ${\displaystyle }$

ویژگی‌های نظ

• $J(n,k)$ گراف هم ریخت گراف $J(n,n-k)$.
• $0\le j\le \mathrm{d}\mathrm{i}\mathrm{a}\mathrm{m}(J(n,k))$ هر جفت از رئوس که در فاصله $j$ $k-j$. مسیر همیلتونی
• $J(n,k)$ مسیر همیلتونی است، به این معنی که هر جفت از رئوس، مقصد مسیر همیلتونی را در گراف شکل می‌دهند.
• $J(n,k)$ $k(n-k)$.
• $J(n,k)$ گرافی با رئوس و یال‌ها از چندبری با ابعاد (n - 1) می‌سازد که hypersimplex نام دارد.
• $\omega (J(n,k))=1-\frac{{\lambda }_{\mathrm{m}\mathrm{a}\mathrm{x}}}{{\lambda }_{\mathrm{m}\mathrm{i}\mathrm{n}}}$گروهک$J(n,k)$ با کمترین و بیشترین مقدار آن یعنی ${\lambda }_{\mathrm{m}\mathrm{i}\mathrm{n}}$${\lambda }_{\mathrm{m}\mathrm{a}\mathrm{x}}$.
• $\chi (J(n,k))\le n$ $J(n,k)$ حداکثر به $n$.

گروه خودسازی

یک زیر گروه فاصله-متعدی از هم ریخت ${\displaystyle }$ به ${\displaystyle }$. در واقع ${\displaystyle }$ الگو:ریاضی ${\displaystyle }$مگر اینکه ${\displaystyle }$; در غیر این صورت ${\displaystyle }$ الگو:ریاضی ${\displaystyle }$.

آرایه تقاطع

به عنوان یک نتیجه از در فاصله-متعدی بودن، همچنین با فاصله منظم بودن ${\displaystyle }$. ${\displaystyle }$ ${\displaystyle }$ به صورت ${\displaystyle }$ نمایش داده می‌شود که در آن:

• ${\displaystyle }$ برای همه ${\displaystyle }$.
• ${\displaystyle }$ برای همه ${\displaystyle }$.

مگر آنکه ${\displaystyle }$ ${\displaystyle }$; آرایه تقاطع ${\displaystyle }$ با سه گراف دیگر با فاصله منظمی که گراف جانسون نباشند به اشتراک گذاشته می‌شود.

مقادیر ویژه و بردارهای ویژه

• مشخصه چند جمله ای ${\displaystyle }$ به روش زیر به دست می‌آید: ${\displaystyle }$.
• این بردارهای ویژه از ${\displaystyle }$ توصیف صریحی دارند.

رابطه با طرح جانسون

گراف جانسون ${\displaystyle }$ رابطه نزدیکی با طرح جانسون دارد، یک طرح انجمنی که در آن هر جفت از k عضو مجموعه در ارتباط با عددی است که نصف اندازه تفاضل متقارن این دو مجموعه است. گراف جانسون برای هر جفت از مجموعه‌ها که فاصله آن‌ها در طرح انجمنی یکی است، یک یال دارد، و فواصل در طرح انجمنی دقیقاً کوتاهترین مسیر در گراف جانسون است.

طرح جانسون همچنین با دیگر خانواده‌ها از مسیر-متعدی، گراف‌های فرد که رئوس آن‌ها دارای زیر مجموعه‌هایی با ${\displaystyle }$ از مجموعه ای شامل ${\displaystyle }$.

مشکلات حل نشده

ویژگی‌های گسترش راس از گراف جانسون به خوبی ساختار متناظر مجموعه‌های رئوس از اندازه داده شده، به‌طور کامل قابل فهم نیست. اگرچه، به‌طور متناوب محدوده کوچک‌تر در گسترش مجموعه‌های بزرگ از رئوس، به تازگی به دست آمده‌است.

به‌طور کلی، در تعیین تعداد رنگ‌ها برای گراف جانسون یک مشکل حل نشده‌است.