서로 다른 색실이 같은 무늬를 만들 때만 한 매듭으로 합치고, 다른 무늬라면 새 매듭을 만드는 베틀과 같아요.
아직 답을 몰라도 괜찮아요. 아래 작은 예시를 보고 먼저 예상해 보세요.왜 배우는지 쉬운 설명 보기
두 상황을 같은 답 칸에 넣어도 앞으로 할 수 있는 일이 같을까요?
01 · 같이 연습해요
작은 문제부터 하나씩 직접 풀어봐요
먼저 예상하고, 한 단계씩 확인하고, 막힌 곳을 고쳐 봐요. 도움을 열어도 괜찮아요. 도움을 본 문제는 나중에 모양을 바꿔 다시 풀어보면 됩니다.
연습에서 작성 중인 답0 / 8
01
찾아보기 · 기초
dp64-recognize: State Loom · 필요한 기억만 엮어 답 만들기에서 선택한 state key는 같은 key의 모든 이력이 같은 미래 선택과 답을 가져야 하며 dependency는 cycle 없이 base로 향한다. 상태·base·transition·순서를 봉인하고 5 tick trace 뒤 복원·귀납 proof·state×work 비용·독립 oracle을 마지막 frame에서만 판정한다.
짧은 이야기
STATE LOOM에는 weighted-interval-value·edit-distance·bounded-capacity-value·tree-independent-selection 네 문제군과 네 state design이 있다. 학생은 코드가 아니라 상태의 뜻부터 판정한다.
이번에 해볼 것
4×4 상태 계약표를 만드세요. 각 칸에서 부분 문제의 뜻, 미래에 필요한 정보, base, 의존 방향과 첫 위반을 표시하고 두 이력을 같은 key로 합쳐도 되는지 설명하세요.
먼저 볼 것
weighted-interval-value의 상태는 처리할 다음 interval 위치 또는 끝난 prefix와 선택 가능한 다음 위치를 구분해야 한다.
edit-distance의 상태는 두 문자열에서 아직 처리하지 않은 두 위치를 함께 알아야 한다.
bounded-capacity-value의 상태는 다음 item 위치와 남은 또는 사용한 capacity를 함께 알아야 한다.
tree-independent-selection의 상태는 subtree root와 parent를 선택했는지에 따른 제약을 구분해야 한다.
같은 key로 합친 두 이력에서 가능한 미래 답이 다르면 그 key는 충분한 상태가 아니다.
정답 대신 4단계 힌트 보기
먼저 볼 것
dp64: 최종 숫자를 가리고 네 문제군×네 상태 설계×네 입력 profile의 64선택·512프레임 loom에서 같은 state로 합치는 두 이력과 들어오는 화살표를 표시한다.
뜻 풀기
state는 미래 답을 정하는 필요한 기억이고 recurrence는 모든 합법적 마지막 선택을 더 작은 state로 연결한다.
다음 도움
내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.
정답과 비교
한꺼번에 여덟 문제를 펼치지 않아요. 내 생각을 적고 맞춰 볼 기준을 확인하면 다음 문제 하나만 열립니다.
8개 답이 남았습니다.
02 · 막힌 곳을 찾아요
틀린 답에서 생각이 갈라진 첫 지점 찾기
전부 다시 풀지 않아도 돼요.괜찮아요. 마지막 숫자는 잠시 가리고 “답에 꼭 필요한 기억만 골라 엮어 봐요” 그림에서 먼저 달라지는 한 곳만 다시 찾아봐요.
막히는 이유와 고치는 방법 자세히 보기같은 곳에서 다시 막혔을 때 필요한 설명만 펼쳐 보세요.
헷갈림 01
표를 채우는 중 state index나 저장값의 뜻을 바꾼다.
겉으로 보이는 막힘
같은 칸을 설명할 때마다 다른 작은 질문이 된다.
막힌 까닭
실행 전 state 문장을 봉인하지 않았다.
다시 해보는 방법
state meaning·domain·answer codomain을 versioned contract로 다시 쓰고 기존 trace를 무효 처리한다.
헷갈림 02
예쁜 animation이나 마지막 숫자를 상태 충분성·점화식 정당성·비용 증명으로 오인한다.
겉으로 보이는 막힘
작은 oracle과 후보가 처음 갈라지거나 아직 계산하지 않은 state를 읽는다.
막힌 까닭
상태 충분성·case coverage·base·dependency order 중 하나가 깨졌다.
다시 해보는 방법
최소 divergence를 보존하고 빠진 dimension·case·base·order만 수정한 뒤 전체 bounded domain을 재검산한다.
헷갈림 03
AI candidate와 expected generator가 같은 recurrence·cache·tie helper를 공유한다.
겉으로 보이는 막힘
같은 mutant가 candidate와 oracle을 함께 바꿔 통과한다.
막힌 까닭
검산 계층이 독립적이지 않다.
다시 해보는 방법
작은 exhaustive model·다른 graph model·metamorphic relation·수작업 sealed fixture 중 다른 계열로 교체하고 사람이 판정한다.
03 · 내게 맞는 도움 고르기
같은 목표를 원하는 도움만큼 연습해요
안내 받으며
한 단계씩
네 단계 중 지금 필요한 한 단계만 열어 천천히 따라가요.
도움을 봐도 괜찮아요.혼자 해보기
내 힘으로
도움을 보지 않고 새 그림에서도 “답에 꼭 필요한 기억만 골라 엮어 봐요” 규칙을 한 번 골라 보세요. 무엇이 먼저 달라지는지 말해 보세요.
이름과 숫자만 바뀐 작은 문제부터 시작해요.더 도전하기
하나 더 바꾸기
시작점이나 선 하나를 더 바꾸고, 답이 달라지는지 먼저 예상해요.
한 번에 한 가지만 바꿔요.
내게 맞는 연습 방법 자세히 보기한 단계 도움, 혼자 하기, 한 걸음 더를 쉬운 말로 나눴어요.
한 단계 도움: 그림에서 지금 볼 한 곳만 짚고, 내 생각을 먼저 고른 뒤 다음 칸을 열어요.
혼자 해보기: 도움을 보지 않고 새 그림에서도 “답에 꼭 필요한 기억만 골라 엮어 봐요” 규칙을 한 번 골라 보세요. 무엇이 먼저 달라지는지 말해 보세요.
한 걸음 더: 한 번에 약속 하나만 바꾸고 답이 어떻게 달라지는지 먼저 예상한 뒤 확인해요.
