Fix a partially ordered set $(P, \le)$ with $N$ elements and real weights $w(p)$ for each $p \in P$. A subset $S \subset P$ is called closed if for any $x, y$ with $y \in S$ and $x \le y$ we also have $x \in S$.
MAXIMUM $k$-CLOSURE asks us to find a closed subset $S \subset P$ with $|S| = k$ and $\sum_{s \in S} w(s)$ maximal. (If we remove the $|S| = k$ requirement, this is just MAXIMUM CLOSURE, which Picard (1976) reduced to MAX-FLOW.)
We can also formulate this problem more generally on a weighted DAG. Here a closed set is one with no incoming edges; any instance of the poset version of this problem can be converted to an instance of the DAG version by passing to the Hasse diagram of the poset.
In Goldschmidt-Hochbaum (1997), "$k$-edge subgraph problems", the following claim appears (p. 165):
The closely related problem of finding a maximum weight closed set of k-nodes in a DAG is NP-complete (using a reduction from CLIQUE via the selection problem).
I have been unable to reproduce this reduction. I would like to know answers to either of the following questions:
- How does this reduction proceed?
- What, exactly, is the selection problem that Goldschmidt-Hochbaum are referring to?