embeddable as a subgraph. The conjecture of Havel (1984) claims that the cubical
dimension of every balanced binary tree with 2 n vertices, n⩾ 1, is n. The 2-rooted complete
binary tree of depth n is obtained from two copies of the complete binary tree of depth n by
adding an edge linking their respective roots. In this paper, we determine the cubical
dimension of trees obtained by subdividing twice a 2-rooted complete binary tree and prove …