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

25 results; page 1/1.

## Question 201: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0001`; number: 201
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0001/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0001/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0001.json)

## Question 202: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0002`; number: 202
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0002/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0002/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0002.json)

## Question 203: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0003`; number: 203
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0003/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0003/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0003.json)

## Question 204: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0004`; number: 204
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0004/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0004/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0004.json)

## Question 205: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0005`; number: 205
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0005/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0005/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0005.json)

## Question 206: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0006`; number: 206
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0006/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0006/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0006.json)

## Question 207: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0007`; number: 207
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0007/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0007/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0007.json)

## Question 208: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0008`; number: 208
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0008/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0008/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0008.json)

## Question 209: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0009`; number: 209
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0009/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0009/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0009.json)

## Question 210: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0010`; number: 210
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0010/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0010/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0010.json)

## Question 211: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0011`; number: 211
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0011/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0011/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0011.json)

## Question 212: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0012`; number: 212
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0012/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0012/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0012.json)

## Question 213: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0013`; number: 213
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0013/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0013/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0013.json)

## Question 214: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0014`; number: 214
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0014/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0014/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0014.json)

## Question 215: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0015`; number: 215
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0015/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0015/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0015.json)

## Question 216: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0016`; number: 216
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0016/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0016/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0016.json)

## Question 217: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0017`; number: 217
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0017/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0017/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0017.json)

## Question 218: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0018`; number: 218
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0018/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0018/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0018.json)

## Question 219: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0019`; number: 219
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0019/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0019/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0019.json)

## Question 220: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0020`; number: 220
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0020/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0020/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0020.json)

## Question 221: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0021`; number: 221
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0021/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0021/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0021.json)

## Question 222: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0022`; number: 222
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0022/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0022/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0022.json)

## Question 223: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0023`; number: 223
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0023/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0023/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0023.json)

## Question 224: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0024`; number: 224
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0024/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0024/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0024.json)

## Question 225: Vertex-Set Equality Is Not Yet a Complete Valid Topological Permutation

- ID: `q-20261015-advance-20261116-r06-topological-ordering-dag-0025`; number: 225
- Processing: second_context_reviewed
- MKO: [mko-topological-ordering-dag](/en/mko/mko-topological-ordering-dag/)
- Family: [qf-mod47-toposort-order-audit](/en/explore/?family=qf-mod47-toposort-order-audit)
- Batch: [batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations](/en/explore/?batch=batch-20261015-advance-20261116-r06-topological-ordering-dag-foundations)
- [Derivation](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0025/) / [Markdown](/en/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0025/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261116-r06-topological-ordering-dag-0025.json)

