Re[5]: [Help-glpk] LPP & MIP

[Richard Prescott]

On Mon, 2 Aug 2004, Andrew Makhorin wrote:

> Does "a human resolving" means that you are able to find an integer
> feasible solution to any instance of bpp and prove its optimality doing
> that faster than computer?

You're right, it is not proof in my human thing.

If no solver (available) can found a faster answer, does this mean that 
it is impossible to do better?  I feel a little bit screwed.

Thanks

Richard