注記 ↑ フィッシュバーン(1983年 、309ページ 、第1節) ↑ ロバーツ(1969年 、 301~310ページ) ↑ チャンドラン& マシュー(2009年 、2ページ 、第1節) ↑ フィッシュバーン(1983年 、309ページ 、第1節) ↑ ロバーツ(1969年 、302ページ 、第1節) は、辺の長さが 1 {\displaystyle 1} 302ページの脚注1: 「ボックスは必ずしも閉じているわけではないが、表現が[G {\displaystyle G} ]は[開いた]ボックスで達成可能ですE k {\displaystyle \mathrm {E} ^{k}} 閉じた箱で達成可能E k {\displaystyle \mathrm {E} ^{k}} 。↑ Chandran & Mathew (2009 、p. 2、セクション 1、定義 4) は閉区間のデカルト積 を使用しています [ 1 私 、 1 私 + 1 ] {\displaystyle [a_{i},a_{i}+1]} 。↑ フィッシュバーン(1983年 、309ページ 、第1節) ↑ ロバーツ(1969年 、302~303ページ 、第2節) 確かに: ∀ u 、 v ∈ V ( G ) 、 {\displaystyle \forall ~u,v\in \mathrm {V} (G),} { u 、 v } ∈ E ( G ) {\displaystyle \{u,v\}\in \mathrm {E} (G)} もし‖ f ( u ) − f ( v ) ‖ ∞ ≤ 1 、 {\displaystyle \|f(u)-f(v)\|_{\infty }\leq 1,} もし ∀ 1 ≤ 私 ≤ k 、 | f 私 ( u ) − f 私 ( v ) | ≤ 1 、 {\displaystyle ~\forall ~1\leq i\leq k,~|f_{i}(u)-f_{i}(v)|\leq 1,~} つまり、 { u 、 v } ∈ E ( G 私 ) 。 {\displaystyle ~\{u,v\}\in \mathrm {E} (G_{i}).} など:∀ u 、 w ∈ V ( G ) 、 {\displaystyle \forall ~u,w\in \mathrm {V} (G),} { u 、 w } ∉ E ( G ) {\displaystyle \{u,w\}\notin \mathrm {E} (G)} もし‖ f ( u ) − f ( w ) ‖ ∞ > 1 、 {\displaystyle \|f(u)-f(w)\|_{\infty }>1,} もし ∃ 1 ≤ 私 ≤ k {\displaystyle ~\exists ~1\leq i\leq k~} そのため | f 私 ( u ) − f 私 ( w ) | > 1 、 {\displaystyle ~|f_{i}(u)-f_{i}(w)|>1,~} つまり、 { u 、 w } ∉ E ( G 私 ) ; {\displaystyle ~\{u,w\}\notin \mathrm {E} (G_{i});} しかし ∀ 1 ≤ j ≠ 私 ≤ k 、 | f j ( u ) − f j ( w ) | {\displaystyle ~\forall ~1\leq j\neq i\leq k,~|f_{j}(u)-f_{j}(w)|} 多分≤ 1 、 {\displaystyle \leq 1,~} つまり、 { u 、 w } {\displaystyle ~\{u,w\}} 5月∈ E ( G j ) 。 {\displaystyle \in \mathrm {E} (G_{j}).} ↑ Chandran & Mathew (2009 、p. 2、セクション 1、定義 4) ↑ ロバーツ(1969年 、304ページ 、第3節、定理2の証明) ↑ フィッシュバーン(1983年 、310ページ 、第1節) ↑ ロバーツ(1969年 、303ページ 、第3節、定理1) ↑ つまり、cub(K 1,n ) = ⌈log₂(n)⌉ です。証明: ∀ n ∈ ℕ*、1 ≤ n。したがって、0 < n ≤ 2n−1。 ∀ n ∈ ℕ*、n ≤ 2ᶜ ≤ 2n−1 となる c ∈ ℕ が存在します (つまり、c は n ≤ 2ᵏ となる最小の k ∈ ℕ です)。したがって、log₂(n) ≤ c ≤ log₂(2n−1) となる c ∈ ℕ が存在します。したがって、⌈log₂(n)⌉ = c = ⌊log₂(2n−1)⌋ です。 ↑ フィッシュバーン(1983年 、310ページ 、第1節) ↑ ロバーツ(1969年 、304ページ 、第3節、定理2) ↑ フィッシュバーン(1983年 、310ページ 、第1節) ↑ ロバーツ(1969年 、306ページ 、第4節、定理5) ↑ Chandran & Mathew (2009 、p. 3、セクション 2、定理 1) ↑ フィッシュバーン(1983年 、309ページ 、第1節) ↑ フィッシュバーン(1983年 、 310~318ページ、第2~3節)
参考文献 Chandran, L. Sunil; Mathew, K. Ashik (2009-04-28)、「Boxicity による Cubicity の上限」、Discrete Mathematics 、309 (8): 2571–2574 、arXiv : math/0605486 、doi : 10.1016/j.disc.2008.04.011、ISSN 0012-365X、S2CID 7837544 Fishburn, Peter C. (1983年12月1日)、「グラフの球形性と立方体性について」 、Journal of Combinatorial Theory, Series B 、35 (3): 309–318 、doi : 10.1016/0095-8956(83)90057-6、ISSN 0095-8956 ロバーツ、フレッド・S. (1969)、「グラフのボックス性と立方性について」、Tutte、WT (編)、Recent Progress in Combinatorics (PDF) 、Academic Press、pp. 301–310 、ISBN 978-0-12-705150-5