Skip to main content

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

1
  • $\begingroup$ I think that for the general case, by standard results any basic feasible solution has polynomial bit complexity, and this extends to any integer solution that is a convex combination of basic feasible solutions. So, in the case that the polytope is bounded, every integer solution is a convex combination of basic feasible solutions, and so has polynomial bit complexity. The unresolved case is when the polytope is unbounded: in an unbounded polytope, if the polytope contains an integer solution, must there be one w/ polynomial bit complexity? $\endgroup$ Commented Oct 1, 2024 at 15:13