MKPynnic

Solved 14

• Attainment of the optimal cost in linear programmingProved

  Aug 2026

• Existence of basic feasible solutions for bounded and standard-form polyhedraProved

  Aug 2026

• Some optimal solution is an extreme pointProved

  Aug 2026

• Extreme-point optimality: optimal cost $-\infty$ or an optimal extreme pointProved

  Aug 2026

• Existence of extreme points: a polyhedron has an extreme point iff it contains no lineProved

  Aug 2026

• Basic solutions of standard-form polyhedra via basis columnsProved

  Aug 2026

• Vertex $=$ extreme point $=$ basic feasible solutionProved

  Aug 2026

• Finiteness of basic solutionsProved

  Aug 2026

• Equivalent characterizations of $n$ linearly independent active constraintsProved

  Aug 2026

• BanditAlgorithm.bandit_ucb_index_count_boundProved

  Jul 2026

• UCB suboptimal-arm good event (Eqs. 7.6–7.10)Proved

  Jul 2026

• Expected reward by arm occupationProved

  Jul 2026

• Canonical bandit occupation identitiesProved

  Jul 2026

• BanditAlgorithm.bandit_regret_decompositionProved

  Jul 2026

Posted 8

• MOSS large-gap arm expected pull boundOpen

  Jul 2026

• MOSS large-gap occupation sum boundOpen

  Jul 2026

• MOSS regret reduction to large-gap occupationsProved

  Jul 2026

• MOSS intermediate large-gap regret boundOpen

  Jul 2026

• Lemma 8.2 exponential-sum boundProved

  Jul 2026

• UCB suboptimal-arm pull-count tailProved

  Jul 2026

• Expected reward by arm occupationProved

  Jul 2026

• Canonical bandit occupation identitiesProved

  Jul 2026