{"schema_version":"ocme-site-results-v1","locale":"zh-Hant","page_type":"practice","facts":{"questions":36000,"reviewed":36000,"display_candidates":0,"knowledge":302,"guides":299,"paths":59,"batches":360,"families":1441,"atlas":302,"core":80,"evidence":9,"formal_evidence":5,"formal_subjects":4,"lean_files":6,"lean_toolchain":"leanprover/lean4:v4.30.0","question_state":"candidate","english_state":"ai_candidate","question_Lean":"NOT_RUN","canonical_truth_promotion":false},"filters":{"page":"5"},"kind":"batches","total":360,"pages":15,"page":5,"entries":[{"id":"batch-20261014-advance-20261106-r02-clique-and-independent-set-foundations","title":{"zh-Hant":"Clique與獨立集基礎 · 脈衝 R02","en":"Valid Cliques, Independent Sets, Inclusion-Maximality and Global Extrema"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-clique-and-independent-set"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261106-r01-chromatic-number-foundations","title":{"zh-Hant":"色數基礎 · 脈衝 R01","en":"Proper Palettes, Exact Chromatic Minima and Independent Certificate Flags"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-chromatic-number"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261105-r07-weak-law-large-numbers-foundations","title":{"zh-Hant":"弱大數律基礎 · 脈衝 R07","en":"Declared IID Premises, Chebyshev Upper Bounds and Strict All-n Tails"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-weak-law-large-numbers"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261105-r06-sampling-distribution-foundations","title":{"zh-Hant":"抽樣分布基礎 · 脈衝 R06","en":"Complete Fibre Pushforwards, Parameter Families and Nonclaim Markers"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-sampling-distribution"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261105-r05-homeomorphism-foundations","title":{"zh-Hant":"同胚基礎 · 脈衝 R05","en":"Both Continuity Directions, Finite Discrete Scope and Metric Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-homeomorphism"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261105-r04-eulerian-trail-foundations","title":{"zh-Hant":"Euler trail與circuit基礎 · 脈衝 R04","en":"Single-Use Edges, Degree Parity, Support Connectivity and Zero Circuits"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-eulerian-trail"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261105-r03-euclidean-algorithm-foundations","title":{"zh-Hant":"Euclidean演算法基礎 · 脈衝 R03","en":"Exact Division Chains, Signed Bezout Witnesses and Zero Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-euclidean-algorithm"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261105-r02-dual-vector-space-foundations","title":{"zh-Hant":"對偶向量空間基礎 · 脈衝 R02","en":"Functional Pairings, Dual Bases and Opposite Coordinate Laws"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-dual-vector-space"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261105-r01-direct-sum-foundations","title":{"zh-Hant":"子空間直和基礎 · 脈衝 R01","en":"Unique Decompositions, Ambient Coverage and Multi-Summand Independence"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-direct-sum"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261104-r07-lp-convergence-foundations","title":{"zh-Hant":"Lp收斂基礎 · 脈衝 R07","en":"Exact Finite-Atomic p-Moments, Moment Tolerances and Symbolic Tails"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-lp-convergence"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261104-r06-spanning-tree-foundations","title":{"zh-Hant":"生成樹基礎 · 脈衝 R06","en":"Full-Vertex Connectivity, Acyclicity, Edge Counts and Unweighted Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-spanning-tree"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261104-r05-chinese-remainder-theorem-foundations","title":{"zh-Hant":"中國剩餘定理基礎 · 脈衝 R05","en":"Normalized CRT Solutions, Product Uniqueness and Noncoprime Compatibility"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-chinese-remainder-theorem"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261104-r04-statistical-estimator-foundations","title":{"zh-Hant":"統計估計量基礎 · 脈衝 R04","en":"One Total Statistic, Observed Estimates, Expectations and Nonclaim Markers"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-statistical-estimator"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261104-r03-absolute-convergence-of-series-foundations","title":{"zh-Hant":"級數絕對收斂基礎 · 脈衝 R03","en":"Absolute Geometric Sums, Conditional Harmonic Tails and Finite Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-absolute-convergence-of-series"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations","title":{"zh-Hant":"函數列一致收斂基礎 · 脈衝 R02","en":"Common Strict Finite-Domain Witnesses, Supremum Gaps and Evidence Limits"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-uniform-convergence-of-functions"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261104-r01-rank-nullity-theorem-foundations","title":{"zh-Hant":"秩－零度定理基礎 · 脈衝 R01","en":"Rectangular Map Direction, Exact Kernel/Image Bases and Rank-Nullity"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-rank-nullity-theorem"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261103-r07-modular-inverse-foundations","title":{"zh-Hant":"模反元素基礎 · 脈衝 R07","en":"Signed Extended Euclid, Normalized Inverses and Nonunit Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-modular-inverse"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261103-r06-maximum-matching-foundations","title":{"zh-Hant":"最大匹配基礎 · 脈衝 R06","en":"Maximum Matchings: Validity before Global Optimality"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-maximum-matching"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261103-r05-connected-topological-space-foundations","title":{"zh-Hant":"連通拓撲空間基礎 · 脈衝 R05","en":"Connected Topological Spaces: Actual Spaces and Independent Reference Conventions"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-connected-topological-space"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261103-r04-parametric-statistical-model-foundations","title":{"zh-Hant":"參數統計模型基礎 · 脈衝 R04","en":"Complete Law Tables, Likelihoods and Parameter-Observation Roles"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-parametric-statistical-model"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261103-r03-infinite-series-foundations","title":{"zh-Hant":"無窮級數基礎 · 脈衝 R03","en":"Exact Partial Sums, Geometric and Telescoping Tails, Harmonic Boundaries"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-infinite-series"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261103-r02-pointwise-convergence-of-functions-foundations","title":{"zh-Hant":"函數列逐點收斂基礎 · 脈衝 R02","en":"Signed Pointwise Values, Strict Epsilon Tails and Finite-Domain Maxima"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-pointwise-convergence-of-functions"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261103-r01-matrix-rank-foundations","title":{"zh-Hant":"矩陣秩基礎 · 脈衝 R01","en":"Exact RREF Rank, Minor Bounds and Singular-Determinant Limits"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-matrix-rank"],"state":"candidate_validated"},{"id":"batch-20261014-advance-20261102-r07-regular-language-foundations","title":{"zh-Hant":"正規語言基礎 · 脈衝 R07","en":"Arbitrary-Word Mod-Count Invariants and Exact Prefix-Trie DFA Constructions"},"summary":{"zh-Hant":"","en":""},"date":"2026-10-14","count":100,"mko_ids":["mko-regular-language"],"state":"candidate_validated"}],"title":"題批目錄"}