Saturation games for odd cycles

From MaRDI portal



Abstract: Given a family of graphs mathcalF, we consider the mathcalF-saturation game. In this game two players alternate adding edges to an initially empty graph on n vertices, with the only constraint being that neither player can add an edge that creates a subgraph that lies in mathcalF. The game ends when no more edges can be added to the graph. One of the players wishes to end the game as quickly as possible, while the other wishes to prolong the game. We let satg(mathcalF;n) denote the number of edges that are in the final graph when both players play optimally. The C3-saturation game was the first saturation game to be considered, but as of now the order of magnitude of satg(C3,n) remains unknown. We consider a generalization of this game. Let mathcalC2k+1:=C3,C5,ldots,C2k+1. We prove that satg(mathcalC2k+1;n)ge(frac14−epsilonk)n2+o(n2) for all kge2 and that satg(mathcalC2k+1;n)le(frac14−epsilon'k)n2+o(n2) for all kge4, with epsilonk<frac14 and epsilon'k>0 constants tending to 0 as koinfty. In addition to this we prove satg(C2k+1;n)lefrac427n2+o(n2) for all kge2, and satg(mathcalCinftysetminusC3;n)le2n−2, where mathcalCinfty denotes the set of all odd cycles.


Summary: Given a family of graphs \(\mathcal{F}\), we consider the \(\mathcal{F}\)-saturation game. In this game, two players alternate adding edges to an initially empty graph on \(n\) vertices, with the only constraint being that neither player can add an edge that creates a subgraph that lies in \(\mathcal{F}\). The game ends when no more edges can be added to the graph. One of the players wishes to end the game as quickly as possible, while the other wishes to prolong the game. We let \(\text{sat}_g(\mathcal{F};n)\) denote the number of edges that are in the final graph when both players play optimally. Given a family of graphs \(\mathcal{F}\), we consider the \(\mathcal{F}\)-saturation game. In this game, two players alternate adding edges to an initially empty graph on \(n\) vertices, with the only constraint being that neither player can add an edge that creates a subgraph that lies in \(\mathcal{F}\). The game ends when no more edges can be added to the graph. One of the players wishes to end the game as quickly as possible, while the other wishes to prolong the game. We let \(\text{sat}_g(\mathcal{F};n)\) denote the number of edges that are in the final graph when both players play optimally. The \(\{C_3\}\)-saturation game was the first saturation game to be considered, but as of now the order of magnitude of \(\operatorname{sat}_g(\{C_3\},n)\) remains unknown. We consider a variation of this game. Let \(\mathcal{C}_{2k+1}:=\{C_3,\ C_5,\ldots,C_{2k+1}\}\). We prove that \(\operatorname{sat}_g(\mathcal{C}_{2k+1};n)\ge(\frac{1}{4}-\varepsilon_k)n^2+o(n^2)\) for all \(k\ge 2\) and that \(\operatorname{sat}_g(\mathcal{C}_{2k+1};n)\le (\frac{1}{4}-\varepsilon'_k)n^2+o(n^2)\) for all \(k\ge 4\), with \(\varepsilon_k<\frac{1}{4}\) and \(\varepsilon'_k>0\) constants tending to 0 as \(k\to \infty\). In addition to this we prove \(\operatorname{sat}_g(\{C_{2k+1}\};n)\le \frac{4}{27}n^2+o(n^2)\) for all \(k\ge 2\), and \(\operatorname{sat}_g(\mathcal{C}_\infty\setminus C_3;n)\le 2n-2\), where \(\mathcal{C}_\infty\) denotes the set of all odd cycles.











This page was built for publication: Saturation games for odd cycles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2327225)