{"id":"arxiv/2608.09495","url":"https://arxiv.org/abs/2608.09495","tags":["math.CO"],"score":0,"title":"Row pathwidth of complete binary trees","domain":"math.CO","source":"arxiv","authors":["Jędrzej Hodor","Piotr Micek"],"reviews":0,"subject":"math.CO","summary":"We show that if a complete binary tree of height $h$ is isomorphic to a subgraph of the strong product of a graph $H$ and a path, then $\\mathrm{pw}(H)$ is $Ω(h)$. This solves a problem posed by Bose, Dujmović, Javarsineh, Morin, and Wood (2022). The proof was found by OpenAI's GPT-5.6 Sol Pro.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-10","reactions":{}}