<p>For simple graphs <i>X</i> and <i>Y</i> on <i>n</i> vertices, the friends-and-strangers graph <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="26_2024_740_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{FS}(X,Y)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="sans-serif">FS</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi>Y</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is the graph whose vertex set consists of all bijections <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="26_2024_740_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="133" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma : V(X) \rightarrow V(Y)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>σ</mi> <mo>:</mo> <mi>V</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> <mo stretchy="false">→</mo> <mi>V</mi> <mo stretchy="false">(</mo> <mi>Y</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where two bijections <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="26_2024_740_Article_IEq3.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>σ</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="26_2024_740_Article_IEq4.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="17" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma '\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>σ</mi> <mo>′</mo> </msup> </math></EquationSource> </InlineEquation> are adjacent if and only if they agree on all but two adjacent vertices <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="26_2024_740_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\(a, b \in V(X)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>a</mi> <mo>,</mo> <mi>b</mi> <mo>∈</mo> <mi>V</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="26_2024_740_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="130" /> </InlineMediaObject> <EquationSource Format="TEX">\(\sigma (a), \sigma (b) \in V(Y)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>σ</mi> <mo stretchy="false">(</mo> <mi>a</mi> <mo stretchy="false">)</mo> <mo>,</mo> <mi>σ</mi> <mo stretchy="false">(</mo> <mi>b</mi> <mo stretchy="false">)</mo> <mo>∈</mo> <mi>V</mi> <mo stretchy="false">(</mo> <mi>Y</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> are adjacent in <i>Y</i>. Resolving a conjecture of Wang, Lu, and Chen, we completely characterize the connectedness of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="26_2024_740_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{FS}(X, Y)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="sans-serif">FS</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi>Y</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> when <i>Y</i> is a complete bipartite graph. We further extend this result to when <i>Y</i> is a complete multipartite graph. We also determine when <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="26_2024_740_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="68" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{FS}(X, Y)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="sans-serif">FS</mi> <mo stretchy="false">(</mo> <mi>X</mi> <mo>,</mo> <mi>Y</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> has exactly two connected components where <i>X</i> is bipartite and <i>Y</i> is a complete bipartite graph.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

The Connectivity of Friends-and-Strangers Graphs on Complete Multipartite Graphs

  • Honglin Zhu

摘要

For simple graphs X and Y on n vertices, the friends-and-strangers graph \(\textsf{FS}(X,Y)\) FS ( X , Y ) is the graph whose vertex set consists of all bijections \(\sigma : V(X) \rightarrow V(Y)\) σ : V ( X ) V ( Y ) , where two bijections \(\sigma \) σ and \(\sigma '\) σ are adjacent if and only if they agree on all but two adjacent vertices \(a, b \in V(X)\) a , b V ( X ) such that \(\sigma (a), \sigma (b) \in V(Y)\) σ ( a ) , σ ( b ) V ( Y ) are adjacent in Y. Resolving a conjecture of Wang, Lu, and Chen, we completely characterize the connectedness of \(\textsf{FS}(X, Y)\) FS ( X , Y ) when Y is a complete bipartite graph. We further extend this result to when Y is a complete multipartite graph. We also determine when \(\textsf{FS}(X, Y)\) FS ( X , Y ) has exactly two connected components where X is bipartite and Y is a complete bipartite graph.