Problem Analysis #probability_29

Union Alpha · Run 1

Python ● execution succeeded
Correct
206.49s
6,413 toks

부분 결과 · 오류와 사용량 확인 보류는 채점에서 제외합니다. 오류·답 추출 실패 재시도 기록을 포함하며 원본은 보존했습니다. Python 실행 성공은 수학적 증명 검증을 뜻하지 않습니다.

Problem Statement

6 이하의 자연수 a에 대하여 한 개의 주사위와 한 개의 동전을 사용하여 다음 시행을 한다. 주사위를 한 번 던져 나온 눈의 수가 a보다 작거나 같으면 동전을 5번 던져 앞면이 나온 횟수를 기록하고, 나온 눈의 수가 a보다 크면 동전을 3번 던져 앞면이 나온 횟수를 기록한다. 이 시행을 19200번 반복하여 기록한 수가 3인 횟수를 확률변수 X라 하자. E(X)=4800E(X)=4800일 때, P(X≤4800+30a)P(X\le4800+30a)의 값을 오른쪽 표준정규분포표를 이용하여 구한 값이 k이다. 1000×k1000\times k의 값을 구하시오. 표준정규분포표: z | P(0≤Z≤z) 0.5 | 0.191 1.0 | 0.341 1.5 | 0.433 2.0 | 0.477 2.5 | 0.494 3.0 | 0.499

최종 정수 답을 \boxed{} 안에 쓰세요.

Ground Truth
977
Recorded model response / solution
Reasoning Process

문제 분석

한 시행에서 기록값이 3이 될 확률 pp를 구하면:

  • 주사위 눈이 aa 이하일 확률 a6\frac{a}{6} → 동전 5회 중 정확히 3회 앞면: (53)/25=1032\binom{5}{3}/2^5 = \frac{10}{32}
  • 주사위 눈이 aa보다 클 확률 6−a6\frac{6-a}{6} → 동전 3회 모두 앞면: 18\frac{1}{8}
p=a6⋅1032+6−a6⋅18=a+432p=\frac{a}{6}\cdot\frac{10}{32}+\frac{6-a}{6}\cdot\frac18=\frac{a+4}{32}

X∼B(19200, p)X \sim B(19200,\ p)이고 E(X)=19200⋅a+432=600(a+4)=4800E(X)=19200\cdot\frac{a+4}{32}=600(a+4)=4800이므로 aa를 구하고, 정규근사로 zz값과 표 기반 kk를 계산합니다.

Reasoning Process

Recorded Python call:


import math

n = 19200

def p_of(a):
    return (a/6)*(10/32) + ((6-a)/6)*(1/8)

# 1) find a with E(X) = 4800
cand = [(a, 19200*p_of(a)) for a in range(1,7)]
print("E(X) by a:", cand)
a = next(a for a,e in cand if abs(e-4800) < 1e-9)
print("a =", a)

p = p_of(a)
mu = n*p
var = n*p*(1-p)
sd = math.sqrt(var)
print("p =", p, " mu =", mu, " sigma =", sd)

thr = 4800 + 30*a
print("threshold =", thr)

# 2) z-score (textbook, no continuity correction) and with continuity correction
z = (thr - mu)/sd
z_cc = (thr + 0.5 - mu)/sd
print("z =", z, " z_cc =", z_cc)

Phi = lambda t: 0.5*(1+math.erf(t/math.sqrt(2)))
print("Phi(z) =", Phi(z), " Phi(z_cc) =", Phi(z_cc))

# 3) exact binomial CDF P(X <= thr) via log-space summation
def binom_cdf(n, p, kmax):
    s = 0.0
    logp, log1p = math.log(p), math.log(1-p)
    logC = 0.0  # log C(n,0)
    for x in range(0, kmax+1):
        if x > 0:
            logC += math.log(n - x + 1) - math.log(x)
        s += math.exp(logC + x*logp + (n-x)*log1p)
    return s

exact = binom_cdf(n, p, thr)
print("exact P(X<=4920) =", exact)

# 4) table-based answer: P(0<=Z<=2.0)=0.477 -> k = 0.5+0.477
k_table = 0.5 + 0.477
print("k (table) =", k_table, " 1000k =", 1000*k_table)

Tool Output
Execution succeeded E(X) by a: [(1, 3000.0), (2, 3600.0), (3, 4200.0), (4, 4799.999999999999), (5, 5400.0), (6, 6000.0)] a = 4 p = 0.24999999999999997 mu = 4799.999999999999 sigma = 59.99999999999999 threshold = 4920 z = 2.0000000000000155 z_cc = 2.008333333333349 Phi(z) = 0.9772498680518216 Phi(z_cc) = 0.9776960590006887 exact P(X<=4920) = 0.9774746677245534 k (table) = 0.977 1000k = 977.0
Reasoning Process

검증 결과

계산이 확인되었습니다:

  1. aa 결정: E(X)=600(a+4)=4800E(X)=600(a+4)=4800에서 a=4a=4 (유일한 해)
  2. 모수: p=a+432=14p=\frac{a+4}{32}=\frac14, μ=4800\mu=4800, σ=19200⋅14⋅34=60\sigma=\sqrt{19200\cdot\frac14\cdot\frac34}=60
  3. zz값: X≤4800+120=4920X\le 4800+120=4920 → z=4920−480060=2.0z=\dfrac{4920-4800}{60}=2.0 (정확히 계산됨)
  4. 표 기반 답: P(0≤Z≤2.0)=0.477P(0\le Z\le 2.0)=0.477이므로 k=0.5+0.477=0.977k=0.5+0.477=0.977
  5. 정합성 확인: 실제 이항분포 B(19200,0.25)B(19200, 0.25)의 정확한 누적확률 P(X≤4920)≈0.97747P(X\le 4920)\approx 0.97747로 표 기반 값 0.9770.977과 잘 일치 (연속수정 없는 z=2.0z=2.0 근사가 교과서 풀이에 부합)

따라서 1000×k=1000×0.977=9771000\times k = 1000 \times 0.977 = 977입니다.

977\boxed{977}
Final Model Output
977

Comparative Analysis (Pprobability_29) (Average across runs)

Averages use reported measurements only. Missing usage is not treated as zero.

Avg Time Taken

Union Alpha
206.5
Solar Pro 4
162.5
MiMo V2.6 Pro
71.9
Grok 4.7
56.0
Motif 3
55.1
Muse Spark 1.3
16.2
DeepSeek V4.1 Flash
14.3
Solar Mini 4 Preview
4.0

Avg Token Usage

Solar Pro 4
20,003
Grok 4.7
19,390
Motif 3
12,271
MiMo V2.6 Pro
11,157
DeepSeek V4.1 Flash
7,376
Union Alpha
6,413
Muse Spark 1.3
5,639
Solar Mini 4 Preview
3,109
    CSAT 2026 · Problem probability_29 · Union Alpha | EntropyMath