书 (图论)

由${\displaystyle p}$个共享一条边（称为书的“脊”或“基”）的四边形组成的书称为四边形书。也就是说，它是一个星图和一条单边的笛卡尔积。[1][2]这种类型的7页书图提供了一个没有协调标号的图的例子。[2]

由${\displaystyle p}$个共享一条边的三角形组成的书称为三角形书，其可用完全三部图K_1,1,p表示。[3] 这种类型的书属于分割图。这种图也称为 ${\displaystyle K_{e}(2,p)}$。[4] 三角形书是线完美图的一个关键构建模块。[5]

术语"书图"曾用于其他用途。 Barioli曾将该词用于表示由具有两个共同顶点的多个子图组成的图。[6]（但他没有用到${\displaystyle B_{p}}$这个代号）

给出一个图${\displaystyle G}$，能包含${\displaystyle G}$的最大书图可记作${\displaystyle bk(G)}$。

可定义满足拉姆齐数的两个三角形书为${\displaystyle r(B_{p},\ B_{q})}$。当${\displaystyle r}$取最小值时，任意一个有${\displaystyle r}$个顶点的图中，该图不是本身包含子图${\displaystyle B_{p}}$就是它的补图包含子图${\displaystyle B_{q}}$。

• 如果 ${\displaystyle 1\leq p\leq q}$，那么${\displaystyle r(B_{p},\ B_{q})=2q+3}$。[7]
• 当${\displaystyle q\geq cp}$时，存在一个常数${\displaystyle c=o(1)}$使得${\displaystyle r(B_{p},\ B_{q})=2q+3}$。
• 如果 ${\displaystyle p\leq q/6+o(q)}$并且${\displaystyle q}$数值较大，拉姆齐数的值为${\displaystyle 2q+3}$。
• 将${\displaystyle C}$取为常数，并且取${\displaystyle k=Cn}$。那么每一个有${\displaystyle n}$个顶点和${\displaystyle m}$条边的图都包含(三角形)${\displaystyle B_{k}}$。[8]