# OCME · Knowledge & practice explorer

302 MKO / 1,441 families / 360 batches / 36,000 questions.

36,000 second-context math/bilingual reviewed; 0 display/symbol-checked candidates. Source questions: candidate. English: ai_candidate. No new proof, Lean, SREG or training.

200 results; page 2/8.

## Question 851: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0026`; number: 851
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0026/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0026/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0026.json)

## Question 852: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0027`; number: 852
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0027/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0027/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0027.json)

## Question 853: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0028`; number: 853
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0028/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0028/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0028.json)

## Question 854: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0029`; number: 854
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0029/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0029/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0029.json)

## Question 855: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0030`; number: 855
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0030/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0030/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0030.json)

## Question 856: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0031`; number: 856
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0031/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0031/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0031.json)

## Question 857: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0032`; number: 857
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0032/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0032/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0032.json)

## Question 858: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0033`; number: 858
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0033/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0033/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0033.json)

## Question 859: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0034`; number: 859
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0034/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0034/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0034.json)

## Question 860: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0035`; number: 860
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0035/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0035/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0035.json)

## Question 861: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0036`; number: 861
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0036/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0036/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0036.json)

## Question 862: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0037`; number: 862
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0037/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0037/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0037.json)

## Question 863: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0038`; number: 863
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0038/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0038/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0038.json)

## Question 864: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0039`; number: 864
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0039/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0039/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0039.json)

## Question 865: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0040`; number: 865
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0040/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0040/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0040.json)

## Question 866: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0041`; number: 866
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0041/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0041/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0041.json)

## Question 867: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0042`; number: 867
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0042/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0042/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0042.json)

## Question 868: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0043`; number: 868
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0043/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0043/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0043.json)

## Question 869: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0044`; number: 869
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0044/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0044/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0044.json)

## Question 870: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0045`; number: 870
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0045/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0045/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0045.json)

## Question 871: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0046`; number: 871
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0046/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0046/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0046.json)

## Question 872: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0047`; number: 872
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0047/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0047/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0047.json)

## Question 873: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0048`; number: 873
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0048/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0048/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0048.json)

## Question 874: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0049`; number: 874
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0049/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0049/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0049.json)

## Question 875: One Strictly Better Feasible Point Refutes Candidate Global Optimality

- ID: `q-20261015-pulse-20261119-r07-0050`; number: 875
- Processing: second_context_reviewed
- MKO: [mko-optimization-problem](/en/mko/mko-optimization-problem/)
- Family: [qf-mod50-optdeep-improvement-witness](/en/explore/?family=qf-mod50-optdeep-improvement-witness)
- Batch: [batch-20261015-advance-20261119-r07-optimization-problem-foundations](/en/explore/?batch=batch-20261015-advance-20261119-r07-optimization-problem-foundations)
- [Derivation](/en/questions/q-20261015-pulse-20261119-r07-0050/) / [Markdown](/en/questions/q-20261015-pulse-20261119-r07-0050/index.md) / [JSON](/data/question-derivations/questions/q-20261015-pulse-20261119-r07-0050.json)

[Next](/en/explore/index.md?mko=mko-optimization-problem&page=3)
