Аннотация:
We consider algorithmics for the jump number problem, which is
to generate a linear extension of a given poset, minimizing the number
of incomparable adjacent pairs. Since this problem is NP-hard
on interval orders and open on two-dimensional posets,
approximation algorithms or fast exact algorithms are in demand.
In this paper, succeeding from the work of the second named author on
semi-strongly greedy linear extensions, we develop a metaheuristic algorithm to approximate
the jump number with the tabu search paradigm. To benchmark the proposed procedure, we infer from the previous work of Mitas [Order 8 (1991), 115–132] a new fast exact algorithm for the case of
interval orders, and from the results of Ceroi [Order 20 (2003), 1–11]
a lower bound for the jump number of two-dimensional posets. Moreover, by other techniques we prove
an approximation ratio of $n / \log\log n$ for 2D orders.