# 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.

100 results; page 4/4.

## Question 16376: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0076`; number: 16376
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0076/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0076/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0076.json)

## Question 16377: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0077`; number: 16377
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0077/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0077/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0077.json)

## Question 16378: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0078`; number: 16378
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0078/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0078/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0078.json)

## Question 16379: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0079`; number: 16379
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0079/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0079/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0079.json)

## Question 16380: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0080`; number: 16380
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0080/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0080/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0080.json)

## Question 16381: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0081`; number: 16381
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0081/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0081/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0081.json)

## Question 16382: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0082`; number: 16382
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0082/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0082/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0082.json)

## Question 16383: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0083`; number: 16383
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0083/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0083/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0083.json)

## Question 16384: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0084`; number: 16384
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0084/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0084/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0084.json)

## Question 16385: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0085`; number: 16385
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0085/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0085/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0085.json)

## Question 16386: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0086`; number: 16386
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0086/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0086/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0086.json)

## Question 16387: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0087`; number: 16387
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0087/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0087/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0087.json)

## Question 16388: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0088`; number: 16388
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0088/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0088/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0088.json)

## Question 16389: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0089`; number: 16389
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0089/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0089/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0089.json)

## Question 16390: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0090`; number: 16390
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0090/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0090/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0090.json)

## Question 16391: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0091`; number: 16391
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0091/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0091/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0091.json)

## Question 16392: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0092`; number: 16392
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0092/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0092/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0092.json)

## Question 16393: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0093`; number: 16393
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0093/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0093/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0093.json)

## Question 16394: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0094`; number: 16394
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0094/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0094/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0094.json)

## Question 16395: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0095`; number: 16395
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0095/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0095/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0095.json)

## Question 16396: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0096`; number: 16396
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0096/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0096/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0096.json)

## Question 16397: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0097`; number: 16397
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0097/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0097/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0097.json)

## Question 16398: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0098`; number: 16398
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0098/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0098/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0098.json)

## Question 16399: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0099`; number: 16399
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0099/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0099/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0099.json)

## Question 16400: A Supplied Larger Valid Matching Refutes Maximum Cardinality

- ID: `q-20261014-advance-20261101-r05-graph-matching-0100`; number: 16400
- Processing: second_context_reviewed
- MKO: [mko-graph-matching](/en/mko/mko-graph-matching/)
- Family: [qf-mod32-matching-maximum-distinction](/en/explore/?family=qf-mod32-matching-maximum-distinction)
- Batch: [batch-20261014-advance-20261101-r05-graph-matching-foundations](/en/explore/?batch=batch-20261014-advance-20261101-r05-graph-matching-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0100/) / [Markdown](/en/questions/q-20261014-advance-20261101-r05-graph-matching-0100/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261101-r05-graph-matching-0100.json)

