아직 답을 몰라도 괜찮아요. 아래 작은 예시를 보고 먼저 예상해 보세요.왜 배우는지 쉬운 설명 보기
오늘은 “한 번 고른 답이 끝까지 괜찮은지 확인해요”를 작은 카드로 해 보고, 고른 까닭을 한 문장으로 말해 봐요.
01 · 같이 연습해요
작은 문제부터 하나씩 직접 풀어봐요
먼저 예상하고, 한 단계씩 확인하고, 막힌 곳을 고쳐 봐요. 도움을 열어도 괜찮아요. 도움을 본 문제는 나중에 모양을 바꿔 다시 풀어보면 됩니다.
연습에서 작성 중인 답0 / 8
01
찾아보기 · 기초
gd64 Safe Choice Forge · 한 번의 선택을 증명하기 · recognize에서 4 workload×4 policy×4 profile의 64선택과 선택당 8프레임, 총 512프레임을 objective·feasibility·local choice·proof/counterexample·verdict로 판정한다.
짧은 이야기
SAFE CHOICE FORGE에는 max-compatible-activities·fractional-capacity-value·minimum-spanning-forest·indivisible-capacity-value 네 workload와 earliest-finish-first·highest-value-density·minimum-safe-connector·largest-immediate-gain 네 policy가 있다.
이번에 해볼 것
먼저 목표를 한 줄로 적고, 생활 카드의 네 작업을 4×4 계약표에 놓으세요. 각 칸에 가능한 답, 목표, 동점, 나눌 수 있는지와 첫 번째로 맞지 않는 조건을 표시하세요.
먼저 볼 것
max-compatible-activities는 겹치지 않는 활동 개수를 최대화하며 맞닿는 끝점의 포함 규칙을 먼저 정한다.
fractional-capacity-value는 물건을 나눌 수 있고 양수 capacity 안에서 value 합을 최대화한다.
minimum-spanning-forest는 cycle 없이 각 입력 component를 잇는 edge cost 합을 최소화한다.
indivisible-capacity-value는 물건을 통째로만 고르고 capacity 안에서 value 합을 최대화한다.
같은 작은 정답이 나왔다는 사실과 모든 계약을 충족했다는 주장은 다르다.
정답 대신 4단계 힌트 보기
먼저 볼 것
gd64: 최종 점수보다 첫 선택 뒤 남은 가능한 답을 표시한다.
뜻 풀기
feasibility와 optimality를 분리하고 안전한 선택을 proof 또는 counterexample로 판정한다.
다음 도움
내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.
정답과 비교
한꺼번에 여덟 문제를 펼치지 않아요. 내 생각을 적고 맞춰 볼 기준을 확인하면 다음 문제 하나만 열립니다.
8개 답이 남았습니다.
02 · 막힌 곳을 찾아요
틀린 답에서 생각이 갈라진 첫 지점 찾기
전부 다시 풀지 않아도 돼요.지금은 몰라도 괜찮아요. “한 번 고른 답이 끝까지 괜찮은지 확인해요” 규칙과 고른 뒤 남는 카드만 다시 살펴봐요.
막히는 이유와 고치는 방법 자세히 보기같은 곳에서 다시 막혔을 때 필요한 설명만 펼쳐 보세요.
헷갈림 01
gd64 선택 도중 objective나 tie policy를 바꾼다.
겉으로 보이는 막힘
같은 입력의 expected answer가 설명할 때마다 달라진다.
막힌 까닭
실행 전 계약을 봉인하지 않았다.
다시 해보는 방법
versioned contract를 다시 만들고 이전 trace를 무효 처리한다.
헷갈림 02
애니메이션·최종 숫자·AI 설명 하나를 independent proof로 사용한다.
겉으로 보이는 막힘
첫 선택과 global optimum 사이에 근거 없는 도약이 남는다.
막힌 까닭
safe-choice premise나 residual problem을 증명하지 않았다.
다시 해보는 방법
exchange·stays-ahead·cut 중 맞는 도구를 선택하거나 최소 반례로 거부한다.
헷갈림 03
candidate와 expected generator가 같은 선택 helper를 공유한다.
겉으로 보이는 막힘
mutant가 candidate와 oracle을 함께 바꿔 잘못된 답을 통과시킨다.
막힌 까닭
검산 계층이 독립적이지 않다.
다시 해보는 방법
작은 exhaustive model·metamorphic relation·수작업 sealed fixture 중 다른 계열로 교체한다.
03 · 내게 맞는 도움 고르기
같은 목표를 원하는 도움만큼 연습해요
안내 받으며
한 단계씩
네 단계 중 지금 필요한 한 단계만 열어 천천히 따라가요.
도움을 봐도 괜찮아요.혼자 해보기
내 힘으로
새로운 “한 번 고른 답이 끝까지 괜찮은지 확인해요” 카드에서도 같은 순서로 첫 선택을 하고, 고른 까닭을 한 문장으로 말해 보세요.
이름과 숫자만 바뀐 작은 문제부터 시작해요.더 도전하기
하나 더 바꾸기
시작점이나 선 하나를 더 바꾸고, 답이 달라지는지 먼저 예상해요.
한 번에 한 가지만 바꿔요.
내게 맞는 연습 방법 자세히 보기한 단계 도움, 혼자 하기, 한 걸음 더를 쉬운 말로 나눴어요.
한 단계 도움: 그림에서 지금 볼 한 곳만 짚고, 내 생각을 먼저 고른 뒤 다음 칸을 열어요.
혼자 해보기: 새로운 “한 번 고른 답이 끝까지 괜찮은지 확인해요” 카드에서도 같은 순서로 첫 선택을 하고, 고른 까닭을 한 문장으로 말해 보세요.
한 걸음 더: 한 번에 약속 하나만 바꾸고 답이 어떻게 달라지는지 먼저 예상한 뒤 확인해요.
