P287:

P287:
Input:
Output:
Complexity:
Comment:
Theorem 5, 6.
Reference:
[Boros2004a] (Bibtex)