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