<p>A <i>d</i>-dimensional box (or <i>d</i>-box) is a set <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\([a_1,b_1]\times \cdots \times [a_d,b_d]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">[</mo> <msub> <mi>a</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>b</mi> <mn>1</mn> </msub> <mo stretchy="false">]</mo> </mrow> <mo>×</mo> <mo>⋯</mo> <mo>×</mo> <mrow> <mo stretchy="false">[</mo> <msub> <mi>a</mi> <mi>d</mi> </msub> <mo>,</mo> <msub> <mi>b</mi> <mi>d</mi> </msub> <mo stretchy="false">]</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> where <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\([a_i,b_i]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <msub> <mi>a</mi> <mi>i</mi> </msub> <mo>,</mo> <msub> <mi>b</mi> <mi>i</mi> </msub> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>, for <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(i \in [d]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mi>d</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>, are closed intervals on the real line. A <i>d</i>-dimensional cube (or <i>d</i>-cube) is a <i>d</i>-box with the constraint <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(b_i-a_i=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>b</mi> <mi>i</mi> </msub> <mo>-</mo> <msub> <mi>a</mi> <mi>i</mi> </msub> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> for each <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(i \in [d]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>i</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mi>d</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>. The boxicity (cubicity) of a graph <i>G</i> is the minimum integer <i>d</i> such that there exists a function that maps every vertex of <i>G</i> to a <i>d</i>-box (or <i>d</i>-cube respectively) so that two distinct vertices of <i>G</i> have an edge in <i>G</i> if and only if their corresponding <i>d</i>-boxes intersect. We survey some key results on the boxicity and cubicity of graphs, including bounds, general techniques, computational hardness results, and relationship with other graph invariants.</p>

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

A survey on the boxicity and cubicity of graphs

  • L. Sunil Chandran,
  • Mathew C. Francis,
  • Suraj Kumar Sahoo

摘要

A d-dimensional box (or d-box) is a set \([a_1,b_1]\times \cdots \times [a_d,b_d]\) [ a 1 , b 1 ] × × [ a d , b d ] where \([a_i,b_i]\) [ a i , b i ] , for \(i \in [d]\) i [ d ] , are closed intervals on the real line. A d-dimensional cube (or d-cube) is a d-box with the constraint \(b_i-a_i=1\) b i - a i = 1 for each \(i \in [d]\) i [ d ] . The boxicity (cubicity) of a graph G is the minimum integer d such that there exists a function that maps every vertex of G to a d-box (or d-cube respectively) so that two distinct vertices of G have an edge in G if and only if their corresponding d-boxes intersect. We survey some key results on the boxicity and cubicity of graphs, including bounds, general techniques, computational hardness results, and relationship with other graph invariants.