(2014.2.15 수정되었습니다. 맨 아래 요약 있습니다.)
　　
이분 탐색은 문제상황이 어떻든지 핵심만 파악되면 즉각적으로 간단히 커스텀 할 수 있습니다.
제가 이분 탐색을 적용하는 방식을 적어볼께요.
누군가에게는 도움이 될지도 모르겠습니다.
　

[이진 탐색] 커스텀 핵심 요약

　
수직선을 좌, 우로 나누었을 때,

1) 좌측구역A, 우측구역B —> 조건 성립 여부가 서로 달라야 함

　 이 문제는 심사완료 가능한 시간의 최솟값을 구해야 합니다.
　
　 —> 좌측 A구역(a포함): 조건을 성립시키지 못하는 수들로 설정
　 　 —> a: 절대 심사 완료를 못할 시간 0으로 초기화
　
　 —> 우측 B구역(b포함): 조건을 성립시킬 수 있는 수들로 설정
　 　 —> b: n명 이상을 심사 완료 시킬 수 있도록 충분히 큰 수로 초기화
　
　 Q) 범위 최대값인 b를 모르겠다??
　 　 —> 방법 1) b를 엄청나게 크게 잡는다.. (어차피 O(logN)..)
　 　 —> 방법 2) (a,b)=(0,1) 설정 후 —> a,b를 2배씩 늘려가는 코드 추가
　 　 　 (첫 번째 방법에 비해서 범위구하는데 O(logN) 만큼 소요되지만,
　 　 　 대신 이따가 while 줄여나갈 때 횟수를 절약 가능하므로 도찐 개찐..

def solution(n, times):
    a,b = 0,1
    while not is_ok(n, times, b):
        a,b = b, 2*b
    ########################### 여기까지 코드 작성시 탐색범위 a,b까지 설정 완료

def is_ok(n, times, x): ####### 조건 만족 여부(n명 이상 심사 완료 가능)
    return n <= sum(x//i for i in times)

2) a, b의 평균 m을 지정하는 방법 --> 매 iter마다 반드시 길이 축소

　 　(반드시 a값이 1칸이상 올라가든지, b값이 1칸이상 내려와야 합니다)
　
　조건만족 여부가 서로 다른 a, b에 대해서 수직선상 선분 [a, b]는
　while 진행시마다 --> 평균값 m을 통해서 길이가 대략 절반씩 줄어듭니다.
　
　a, b가 어떤 값이든, 절반씩 줄어들다 보면 while 끝머리에서 반드시 구간 길이가 1이 됩니다.
　--> 이 때, 구간의 평균값 m을 어떻게 정의하느냐에 따라
　 　 　즉, 소수점 내림 적용의 m=(a+b)//2, 또는 소수점 올림 적용의 m=(a+b+1)//2
　 　 　선택에 따라 마지막 체크에서 m은 a를 가리키거나 b를 가리킵니다. (예) [0,1]
　
　while 초반 a,b 차이가 클 경우에는 항상 a 라서 상관없지만,
　마지막에 a+1=b 상황이 되었을 때는 m이 a 또는 b와 같아질 수밖에 없는데...
　
　평균을 m=(a+b)//2 로 정의하면 m은 중앙 또는 좌측을 가리키므로
　 　--> 적어도 m는 마지막까지 항상 보장 되고,
　평균을 m=(a+b+1)//2 로 정의하면 m은 중앙 또는 우측을 가리키므로
　 　--> 적어도 a는 마지막까지 항상 보장 된다는 것만 유념하면 되겠습니다.
　
　
　

while a<b:
    m = (a+b)//2
    if is_ok(n, times, m):
        b = m
    else:
        a = m+1

while a<b:
    m = (a+b)//2
    a,b = (a,m) if is_ok(n, times, m) else (m+1,b)