- "linear feasibility solving is SPT" (due to the strong duality theorem)
- "solving zero-sum games is SPT" (see here)
Are there others? I'd be especially interested in knowing if there are any examples that are purely "discrete" or "combinatorial" in flavor, e.g. "X is [complexity class]" (not SPT and without reference to real numbers).