답에 꼭 필요한 기억만 골라 엮어 봐요

오늘의 질문

서로 다른 색실이 같은 무늬를 만들 때만 한 매듭으로 합치고, 다른 무늬라면 새 매듭을 만드는 베틀과 같아요.

아직 답을 몰라도 괜찮아요. 아래 작은 예시를 보고 먼저 예상해 보세요.

왜 배우는지 쉬운 설명 보기

두 상황을 같은 답 칸에 넣어도 앞으로 할 수 있는 일이 같을까요?

01 · 혼자 확인해요

연습한 문제를 다시 풀며 혼자 확인하기

지금은 방금 연습한 문제를 다시 보는 시간이에요.아직 “완전히 익혔다”고 기록하지 않아요. 나중에 모양이 다른 문제도 도움 없이 풀면 그때 다시 확인할 수 있어요.

선생님과 검토자가 보는 확인 기준처음 풀 때는 이 숫자를 몰라도 괜찮아요.

답과 과정 확인: 80% 이상
내 말로 설명: 80% 이상
막힌 곳 고치기: 80% 이상
다른 문제에 써보기: 80% 이상

스스로 확인하며 작성 중인 답0 / 4

01
먼저 생각하기 · 기초
dp64-predict: State Loom · 필요한 기억만 엮어 답 만들기에서 선택한 state key는 같은 key의 모든 이력이 같은 미래 선택과 답을 가져야 하며 dependency는 cycle 없이 base로 향한다. 상태·base·transition·순서를 봉인하고 5 tick trace 뒤 복원·귀납 proof·state×work 비용·독립 oracle을 마지막 frame에서만 판정한다.
짧은 이야기
학생은 두 색실이 같은 state node에 들어가기 전에 ‘정말 같은 미래인가?’를 고른다. 정답과 final verdict는 예측을 봉인하기 전 보이지 않는다.
이번에 해볼 것
네 그림에서 두 이력이 같은 state key로 합쳐질지 예측하세요. 합친다면 미래 선택과 값이 같아야 하는 이유를, 합치면 안 된다면 처음 달라지는 미래 선택을 적으세요.
먼저 볼 것
- interval: nextIndex는 같지만 마지막으로 끝난 시각이 3과 7이다.
- edit: 첫 문자열 위치 i는 같지만 두 번째 문자열 위치 j가 2와 5다.
- capacity: item index i는 같지만 남은 capacity가 2와 5다.
- tree: vertex v는 같지만 parent-selected가 false와 true다.
- 그림의 같은 색과 가까운 좌표는 state equivalence 증거가 아니다.
순서대로 적기 · 혼자 고른 답과 까닭 한 줄완벽하지 않아도 괜찮아요. 내 생각을 짧은 한 문장으로 적어 보세요.
연습과 같은 문제를 다시 풀어 보는 시간이에요. 힌트 없이 먼저 생각해 보세요. 지금 적은 답은 바로 합격으로 기록되지 않아요.
정답과 비교

한꺼번에 여덟 문제를 펼치지 않아요. 내 생각을 적고 맞춰 볼 기준을 확인하면 다음 문제 하나만 열립니다.

4개 답이 남았습니다.

02 · 나중에 한 번 더

모양이 다른 문제에서도 같은 생각을 써봐요

도움을 보지 않고 새 그림에서도 “답에 꼭 필요한 기억만 골라 엮어 봐요” 규칙을 한 번 골라 보세요. 무엇이 먼저 달라지는지 말해 보세요.

혼자 확인하기

처음 보는 비슷한 문제를 도움 없이 다시 풀고, 달라진 첫 지점을 내 말로 설명해 보세요.

혼자 해냈다고 볼 기준 보기선생님이나 검토자와 결과를 확인할 때 사용할 기준이에요.

dp64 State Loom · 필요한 기억만 엮어 답 만들기의 미공개 empty·singleton·tie-heavy·state-collision·unreachable·cycle·overflow·scale fixture에서 AI 없이 state meaning·two-history sufficiency·base·recurrence·dependency order·independent optimum·parent witness·cost·human verdict를 작성하고 deterministic replay evidence를 제출한다.

AI가 제안한 State Loom · 필요한 기억만 엮어 답 만들기 설명에 missing state dimension·value-is-state·unreachable-is-zero·cache-is-polynomial·recurrence-is-proof·wrong in-place loop·unsafe sentinel·missing parent tie·pseudo-polynomial-is-polynomial·optimization-without-premise 중 하나 이상을 심어 공식 source와 candidate를 공유하지 않는 작은 oracle로 찾아 수정한다.