부분 결과 · 오류와 사용량 확인 보류는 채점에서 제외합니다. 오류·답 추출 실패 재시도 기록을 포함하며 원본은 보존했습니다. Python 실행 성공은 수학적 증명 검증을 뜻하지 않습니다.
Problem Statement
6 이하의 자연수 a에 대하여 한 개의 주사위와 한 개의 동전을 사용하여 다음 시행을 한다. 주사위를 한 번 던져 나온 눈의 수가 a보다 작거나 같으면 동전을 5번 던져 앞면이 나온 횟수를 기록하고, 나온 눈의 수가 a보다 크면 동전을 3번 던져 앞면이 나온 횟수를 기록한다. 이 시행을 19200번 반복하여 기록한 수가 3인 횟수를 확률변수 X라 하자. 일 때, 의 값을 오른쪽 표준정규분포표를 이용하여 구한 값이 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
최종 정수 답을 안에 쓰세요.
Ground Truth
977
Recorded model response / solution
Reasoning Process
문제 분석
한 시행에서 기록값이 3이 될 확률 를 구하면:
- 주사위 눈이 이하일 확률 → 동전 5회 중 정확히 3회 앞면:
- 주사위 눈이 보다 클 확률 → 동전 3회 모두 앞면:
이고 이므로 를 구하고, 정규근사로 값과 표 기반 를 계산합니다.
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
검증 결과
계산이 확인되었습니다:
- 결정: 에서 (유일한 해)
- 모수: , ,
- 값: → (정확히 계산됨)
- 표 기반 답: 이므로
- 정합성 확인: 실제 이항분포 의 정확한 누적확률 로 표 기반 값 과 잘 일치 (연속수정 없는 근사가 교과서 풀이에 부합)
따라서 입니다.
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