Archives
Archives
| From: | Martin Vaeth <martin@×××××.de> | ||
|---|---|---|---|
| To: | gentoo-dev@l.g.o | ||
| Subject: | [gentoo-dev] Re: [RFC] Forced/automatic USE flag constraints (codename: ENFORCED_USE) | ||
| Date: | Fri, 02 Jun 2017 15:10:24 | ||
| Message-Id: | slrnoj2vub.vuq.martin@lounge.imp.fu-berlin.de | ||
| In Reply to: | Re: [gentoo-dev] [RFC] Forced/automatic USE flag constraints (codename: ENFORCED_USE) by "Michał Górny" |
||
| 1 | Michał Górny <mgorny@g.o> wrote: |
| 2 | > b? ( a ) c? ( b ) d? ( c ) e? ( d ) ... |
| 3 | |
| 4 | As written in another posting: This is 2SAT. |
| 5 | 2SAT is solvable in linear time. |
| 6 | To get a hard example you have to use several 3SAT clauses, i.e. |
| 7 | || ( ... ) with 3 (or more) entries (and all of these entries must |
| 8 | occur in the other clauses, of course, to get a hard example). |