실수 경계를 몇 번까지 좁힐지 정하기

오늘은 이것 하나만

가능과 불가능이 한 방향으로 한 번만 바뀌는 질문을 만들고 첫 가능 또는 마지막 가능을 구간으로 찾을 수 있어요.

먼저 떠올릴 생활 장면딱 맞는 온도를 끝없이 찾지 않고, 충분히 가까워졌거나 약속한 횟수만큼 물어보면 멈추는 것과 같아요.

1짧은 이야기 읽기
2내 생각 하나 고르기
3네 걸음 같이 보기
4내 말로 한 줄 적기

오늘의 작은 이야기

먼저 이 장면만 천천히 읽어요

숫자를 반씩 줄이기 전에 가능·불가능 표에서 무엇을 확인할까요?

정답을 몰라도 괜찮아요. 지금 생각과 가장 가까운 것을 골라요.

1가능 여부가 한 방향으로 한 번만 바뀌는지와 찾을 경계 정하기2가운데 답 하나가 가능하면 그 값을 바로 최종 답으로 쓰기3가능 여부를 묻지 않고 숫자 크기만 비교하기

02 · 낯선 말부터 풀기

정확한 이름보다 먼저 쉬운 뜻을 읽어요

처음 보는 말도 책 읽듯 풀어봐요

이 수업은 쉬운 뜻과 생활 예를 아직 함께 준비하지 못했어요. 설명 없는 정확한 이름은 먼저 보여 주지 않을게요.

그림에서 찾을 쉬운 규칙

01작은 답 후보부터 가능·불가능을 한 줄로 적어요.
02가능 여부가 바뀌는 한 경계와 바뀌는 방향을 표시해요.
03현재 [시작, 끝)과 가운데 질문의 결과를 기록해요.
04첫 가능 또는 마지막 가능이라는 약속한 답에서 멈췄는지 확인해요.

03 · 그림으로 보기

카드가 움직이고 찾을 범위가 줄어드는 모습을 따라가요

01오늘의 장면수치 threshold·geometry 근사·simulation parameter를 여덟 장 카드와 두 개 query로 줄여 실수 경계를 몇 번까지 좁힐지 정하기 판단을 수행한다.
02첫 걸음작은 답 후보부터 가능·불가능을 한 줄로 적어요.
03결과 열기내 답을 먼저 적은 뒤 결과를 열어 봐요.

실수 경계를 몇 번까지 좁힐지 정하기의 order/query contract·comparison 또는 predicate·partition/boundary·cost·claim 판정을 한 흐름으로 분리한다.내 생각을 먼저 남기면 결과와 쉬운 설명을 차례로 열 수 있어요.현재 화면: 그림 요약 · 그림을 보는 방법: key·tie·input order·query·boundary 중 하나를 바꾸면 comparison·write·candidate interval·result가 어떻게 달라지는지 비교한다. · 움직임 없이 보기: 자동 이동과 큰 변형 없이 선택 상태·선 굵기·pattern·텍스트·표로 같은 정보를 즉시 표시한다.

04 · 책처럼 천천히 되짚기

방금 한 일을 한 줄씩 다시 읽어요

수치 threshold·geometry 근사·simulation parameter를 여덟 장 카드와 두 개 query로 줄여 실수 경계를 몇 번까지 좁힐지 정하기 판단을 수행한다.

이 장면에서 주어진 것ss56 · 8-record public fixture · duplicate tie · deterministic key/query order

05 · 이제 내가 해볼 차례

여기까지 오면 이런 일을 할 수 있어요

가능과 불가능이 한 방향으로 한 번만 바뀌는 질문을 만들고 첫 가능 또는 마지막 가능을 구간으로 찾을 수 있어요.

작은 답 후보부터 가능·불가능을 한 줄로 적어요.
가능 여부가 바뀌는 한 경계와 바뀌는 방향을 표시해요.
현재 [시작, 끝)과 가운데 질문의 결과를 기록해요.
첫 가능 또는 마지막 가능이라는 약속한 답에서 멈췄는지 확인해요.

오늘 해낼 일과 다 했다고 볼 기준 보기쉬운 순서를 익힌 뒤 더 정확히 확인하고 싶을 때 열어요.

sqrt(2) 근사에서 60회 반복과 tolerance 종료를 비교하고 출력 오차를 계산한다.을 수행하고 interval width·iteration·float neighbors·rounding·error bound ledger로 order/query contract·invariant·cost·claim level을 독립 검증한다.

실수 경계를 몇 번까지 좁힐지 정하기의 input·output·key/comparator·tie·duplicate·mutation 계약을 AI 없이 먼저 고정한다.
left와 right가 같아질 때까지 반복하거나 출력 소수점과 내부 tolerance를 같은 것으로 본다.를 empty·singleton·all-equal·already-sorted·reverse·adversarial 중 해당하는 최소 반례로 재현한다.
correctness와 comparison·write·space·preprocessing/query cost, library 문서와 측정 관찰을 서로 구분한다.
interval width·iteration·float neighbors·rounding·error bound ledger와 사람의 accept·revise·reject 판정 및 보장하지 않는 범위를 제출한다.

06 · 자주 헷갈리는 지점

틀린 답도 이유를 알면 다음에는 맞힐 수 있어요

처음부터 모두 맞힐 필요는 없어요.괜찮아요. 처음 어긋난 한 단계만 찾아요. 구간 전체를 버리지 말고 가능 여부가 두 번 바뀌는 곳 또는 잘못 남긴 절반 하나를 먼저 찾아요.

헷갈리기 쉬운 이유 세 가지 보기내가 어디에서 다르게 생각했는지 찾고 싶을 때 열어요.

01실수 경계를 몇 번까지 좁힐지 정하기에서 작은 예제의 최종 순서나 위치가 맞으면 기준·동률·중복·mutation 계약도 자동으로 맞다.

한 번 더 생각해 볼 질문수치 threshold·geometry 근사·simulation parameter에서 같은 최종 값처럼 보이지만 안정성이나 위치 답이 달라지는 두 계약을 만드세요.

이렇게 고쳐 생각해요absolute/relative tolerance, fixed iteration count, floating representation과 final rounding contract를 명시해 종료와 오차를 제한한다.처럼 정답 전에 input·order·query contract와 observable result를 봉인해야 한다.

02허용 오차(tolerance) 한 번이 빠르면 모든 input order·key range·query count에서 같은 방법이 최선이다.

한 번 더 생각해 볼 질문left와 right가 같아질 때까지 반복하거나 출력 소수점과 내부 tolerance를 같은 것으로 본다.를 드러내며 선택이 뒤집히는 최소 input family를 제시하세요.

이렇게 고쳐 생각해요interval width·iteration·float neighbors·rounding·error bound ledger에 worst case, preprocessing, comparison/write/space와 관찰값을 분리해야 한다.

03AI 구현과 AI가 만든 expected trace가 일치하면 실수 경계를 몇 번까지 좁힐지 정하기의 correctness와 성능이 독립 검증된다.

한 번 더 생각해 볼 질문left와 right가 같아질 때까지 반복하거나 출력 소수점과 내부 tolerance를 같은 것으로 본다.를 드러내는 AI-off fixture와 사람이 계산할 expected result를 쓰세요.

이렇게 고쳐 생각해요같은 가정을 공유한 두 결과는 독립 oracle이 아니며 손계산 trace·brute force·metamorphic relation·공식 계약 중 별도 근거가 필요하다.

07 · 더 궁금할 때만 보기