Given a set ϒ of linear orders, we say that a poset $H_{a<b}=(V,<)$ is a halfspace of ϒ if its set of linear extensions $\mathcal{L}(H_{a<b})\subset \mathrm{\Upsilon }$ and $a{<}_{L}b$ for every $L\in \mathcal{L}(H_{a<b})$ and $b{<}_{L}a$ for every $L\in \mathrm{\Upsilon }\setminus \mathcal{L}(H_{a<b})$. In this paper, we devise an efficient algorithm to expand the halfspace and determine a maximal poset P in ϒ that supercovers it, that is, $\mathcal{L}(H_{a<b})\subseteq \mathcal{L}(P)\subseteq \mathrm{\Upsilon }$. Moreover, the said algorithm paves the way for the improvement of the existing exponential running time solution in literature for the 2-Poset Cover Problem to a polynomial running time solution.

中文翻译：

---

2极点覆盖问题的多项式时间算法

给定一组线性订单，我们说一个 $H_{\mathrm{一个}<b}=（V，<）$ 如果是线性扩展集，则为a的半个空格 $\mathcal{大号}（H_{\mathrm{一个}<b}）\subset \mathrm{\Upsilon }$ 和 $\mathrm{一个}{<}_{\mathrm{大号}}b$ 每一个 $\mathrm{大号}\in \mathcal{大号}（H_{\mathrm{一个}<b}）$ 和 $b{<}_{\mathrm{大号}}\mathrm{一个}$ 每一个 $\mathrm{大号}\in \mathrm{\Upsilon }\setminus \mathcal{大号}（H_{\mathrm{一个}<b}）$。在本文中，我们设计了一种有效的算法来扩展半空间并确定pose中的最大位姿P来覆盖半空间，即$\mathcal{大号}（H_{\mathrm{一个}<b}）\subseteq \mathcal{大号}（P）\subseteq \mathrm{\Upsilon }$。此外，所述算法为将文献中的2-Poset覆盖问题的现有指数运行时间解改进为多项式运行时间解铺平了道路。