algorithms-optimization / Exact exponential algorithms
Koivisto asked at Dagstuhl in 2013 whether the linear extensions of an arbitrary $n$-element poset can be counted exactly in time $O^*(c^n)$ for some $c < 2$. Yes: a deterministic exact algorithm runs in $O^*(1.89^n)$, breaking the $2^n$ barrier for the general problem.
Temporal state
No reconciled state yet.
Append-only history
Koivisto asked at Dagstuhl in 2013 whether the linear extensions of an arbitrary $n$-element poset can be counted exactly in time $O^*(c^n)$ for some $c < 2$. Yes: a deterministic exact algorithm runs in $O^*(1.89^n)$, breaking the $2^n$ barrier for the general problem.
Research memory
Koivisto asked at Dagstuhl in 2013 whether the linear extensions of an arbitrary $n$-element poset can be counted exactly in time $O^*(c^n)$ for some $c < 2$. Yes: a deterministic exact algorithm runs in $O^*(1.89^n)$, breaking the $2^n$ barrier for the general problem.
Evidence graph
No public relationships recorded yet.