In response to [3] and [4] we prove that the recognition of cover graphs of finite posets is an NP-hard problem.
@article{118756, author = {Jaroslav Ne\v set\v ril and Vojt\v ech R\"odl}, title = {More on the complexity of cover graphs}, journal = {Commentationes Mathematicae Universitatis Carolinae}, volume = {36}, year = {1995}, pages = {269-278}, zbl = {0829.06002}, mrnumber = {1357529}, language = {en}, url = {http://dml.mathdoc.fr/item/118756} }
Nešetřil, Jaroslav; Rödl, Vojtěch. More on the complexity of cover graphs. Commentationes Mathematicae Universitatis Carolinae, Tome 36 (1995) pp. 269-278. http://gdmltest.u-ga.fr/item/118756/
Explicit construction of linear size superconcentrators, FOCS 20 (1979), J64/370. | MR 0598118
On the hardness of approximating minimization problems, 25th ACM STOC (1993), 286-293. | MR 1371491 | Zbl 0814.68064
Complexity of diagrams, Order 3 (1987), 321-330. | MR 0891379
Complexity of diagrams, errata, Order 10 (1993), p. 393. | MR 1269275
Edge disjoint placements of graphs, J. Comb. Th. B (1978), 295-302. (1978) | MR 0516262
On the complexity of Diagram Testing, Order 10 (1993), 297-303. | MR 1269267 | Zbl 0808.06003
The Complexity of Cover Graph Recognition of Some Varieties of Finite Lattices, in preparation.