CoolFace
Datasetpublic

math-ai/BlueMO

BlueMO 🚀 BlueMO: A Comprehensive Collection of Challenging Mathematical Olympiad Problems from the Little Blue Book Series   BlueMO is a comprehensive and challenging dataset comprising mathematical olympiad problems paired with detailed solutions, meticulously curated from the esteemed "Little Blue Book" (小蓝书) series (Second Edition)—a vital resource for Chinese students training for national and international olympiad math competitions. Designed to… See the full description on the dataset page: https://huggingface.co/datasets/math-ai/BlueMO.

sourceHugging Facecc-by-nd-4.0updated 8mo agoView on Hugging Face
3likes9.4kdownloads
0210.json8 linesDownload Raw Back to calculation
1{2    "source_file": "./raw_volume-zh/volume11/exercise1.tex",3    "problem_type": "calculation",4    "problem": "问题13. $n$ 对夫妻任意排成一行, 求没有任何一对夫妻相邻的排法总数.",5    "solution": "$S$ 表示 $n$ 对夫妻排成一行的所有全排列组成的集合, $A_i$ 表示其中第 $i$ 对夫妻相邻的全排列集合, 则由容斥原理得所求排列的总数为\n$\\left|\\complement_S A_1 \\cap \\complement_S A_2 \\cap \\cdots \\cap \\complement_S A_n\\right|=|S|-\\sum_{i=1}^n\\left|A_i\\right|+\\sum_{1 \\leqslant i<j \\leqslant n}\\left|A_i \\cap A_j\\right|- \\cdots+(-1)^n \\cdot\\left|A_1 \\cap A_2 \\cap \\cdots \\cap A_n\\right|=(2 n) !-\\mathrm{C}_n^1 \\cdot 2(2 n-1) !+\\mathrm{C}_n^2 2^2 \\cdot (2 n-2) !-\\cdots+(-1)^k \\mathrm{C}_n^k 2^k(2 n-k) !+\\cdots+(-1)^n \\mathrm{C}_{2 n}^{2 n} \\cdot 2^n \\cdot n !$.",6    "remark": "",7    "figures": []8}