처음이어도 괜찮아요 · 그림부터 시작해요
큰 동전부터 내기 전에 동전 묶음을 봐요
오늘은 “큰 동전부터 내기 전에 동전 묶음을 봐요”를 작은 카드로 해 보고, 고른 까닭을 한 문장으로 말해 봐요.
먼저 떠올릴 생활 장면지갑에 든 동전 종류가 바뀌면 같은 금액도 다른 방법으로 내야 하는 상황과 같아요.- 1짧은 이야기 읽기
- 2내 생각 하나 고르기
- 3네 걸음 같이 보기
- 4내 말로 한 줄 적기
02 · 낯선 말부터 풀기
정확한 이름보다 먼저 쉬운 뜻을 읽어요
처음 보는 말도 책 읽듯 풀어봐요
이 수업은 쉬운 뜻과 생활 예를 아직 함께 준비하지 못했어요. 설명 없는 정확한 이름은 먼저 보여 주지 않을게요.
그림에서 찾을 쉬운 규칙
- 01지갑에 든 동전 종류가 바뀌면 같은 금액도 다른 방법으로 내야 하는 상황과 같아요.
- 02먼저 “큰 동전부터 내기 전에 동전 묶음을 봐요” 규칙을 말해요.
- 03첫 카드를 고른 뒤에도 다음 선택이 남는지 표시해요.
- 04왜 그 카드를 골랐는지 한 문장으로 말해요.
03 · 그림으로 보기
큰 동전부터 내기 전에 동전 묶음을 봐요 · 이어달리기 그림
- 01오늘의 장면gd10 · 지갑에 든 동전 종류가 바뀌면 같은 금액도 다른 방법으로 내야 하는 상황과 같아요.
- 02첫 걸음지갑에 든 동전 종류가 바뀌면 같은 금액도 다른 방법으로 내야 하는 상황과 같아요.
- 03결과 열기내 답을 먼저 적은 뒤 결과를 열어 봐요.
04 · 책처럼 천천히 되짚기
방금 한 일을 한 줄씩 다시 읽어요
gd10 · 지갑에 든 동전 종류가 바뀌면 같은 금액도 다른 방법으로 내야 하는 상황과 같아요.
tiny-coin-change-contract fixture with empty·tie·counterexample boundary05 · 이제 내가 해볼 차례
여기까지 오면 이런 일을 할 수 있어요
오늘은 “큰 동전부터 내기 전에 동전 묶음을 봐요”를 작은 카드로 해 보고, 고른 까닭을 한 문장으로 말해 봐요.
- 지갑에 든 동전 종류가 바뀌면 같은 금액도 다른 방법으로 내야 하는 상황과 같아요.
- 먼저 “큰 동전부터 내기 전에 동전 묶음을 봐요” 규칙을 말해요.
- 첫 카드를 고른 뒤에도 다음 선택이 남는지 표시해요.
- 왜 그 카드를 골랐는지 한 문장으로 말해요.
오늘 해낼 일과 다 했다고 볼 기준 보기쉬운 순서를 익힌 뒤 더 정확히 확인하고 싶을 때 열어요.
coin denomination·target·동전 수 제한·목표를 명시하고 policy를 검증한다.를 실행 전 봉인하고 익숙한 화폐 예제에서 성공한 규칙을 임의 동전 체계로 일반화한다.을 반례·불변식·exchange·stays-ahead·cut 또는 independent oracle로 판정한다.
- gd10 input·feasible set·objective·tie·irrevocability를 실행 전에 기록한다.
- gd10 선택 trace에서 첫 divergence와 남은 feasible state를 설명한다.
- gd10 proof 또는 최소 counterexample를 candidate와 독립된 방식으로 제출한다.
- gd10 problem theorem·algorithm proof·API contract·measurement claim을 섞지 않는다.
06 · 자주 헷갈리는 지점
틀린 답도 이유를 알면 다음에는 맞힐 수 있어요
처음부터 모두 맞힐 필요는 없어요.지금은 몰라도 괜찮아요. “큰 동전부터 내기 전에 동전 묶음을 봐요” 규칙과 고른 뒤 남는 카드만 다시 살펴봐요.
헷갈리기 쉬운 이유 세 가지 보기내가 어디에서 다르게 생각했는지 찾고 싶을 때 열어요.
01gd10에서 지금 가장 좋아 보이는 값이면 전체 최적이다.
한 번 더 생각해 볼 질문같은 첫 선택이 더 나쁜 마지막 답을 만드는 작은 입력을 만들 수 있는가?
이렇게 고쳐 생각해요local choice와 global objective를 연결하는 proof가 별도로 필요하다.
02gd10 예제 세 개가 맞았으므로 모든 입력에서 맞다.
한 번 더 생각해 볼 질문동점·빈 입력·integrality·목표 변경 중 어느 축에서 주장이 깨지는가?
이렇게 고쳐 생각해요finite examples는 관찰이며 exchange·stays-ahead·cut proof 또는 정확한 범위 제한을 대신하지 않는다.
03gd10 구현이 실행되므로 선택 정책도 증명됐다.
한 번 더 생각해 볼 질문공식 API 문서가 보장한 사실과 문제의 최적성 주장을 두 열로 나눌 수 있는가?
이렇게 고쳐 생각해요도구의 API 계약과 알고리즘 최적성 정리는 다른 claim layer다.
07 · 더 궁금할 때만 보기
선생님과 검토자를 위한 믿을 만한 원문
원문과 어디까지 참고했는지 펼쳐 보기처음 배우는 동안에는 열지 않아도 괜찮아요.
이 수업의 설명이 공식 규칙과 맞는지 선생님과 검토자가 다시 확인할 때 쓰는 원문이에요.
이 수업의 설명이 공식 규칙과 맞는지 선생님과 검토자가 다시 확인할 때 쓰는 원문이에요.
이 수업의 설명이 공식 규칙과 맞는지 선생님과 검토자가 다시 확인할 때 쓰는 원문이에요.
