학습 본문으로 건너뛰기
VAIRODE
그리디 선택 연구소59번째 작은 수업
오늘은 질문 하나만 해결해요59 / 72

처음이어도 괜찮아요 · 그림부터 시작해요

비교 규칙이 뒤집히면 먼저 나오는 후보도 바뀌어요

오늘은 이것 하나만

오늘은 “비교 규칙이 뒤집히면 먼저 나오는 후보도 바뀌어요”를 작은 카드로 해 보고, 고른 까닭을 한 문장으로 말해 봐요.

먼저 떠올릴 생활 장면점수표의 큰 점수를 먼저 볼지 작은 점수를 먼저 볼지 표지판을 정확히 다는 상황과 같아요.
  1. 1짧은 이야기 읽기
  2. 2내 생각 하나 고르기
  3. 3네 걸음 같이 보기
  4. 4내 말로 한 줄 적기
오늘의 작은 이야기
먼저 이 장면만 천천히 읽어요

“비교 규칙이 뒤집히면 먼저 나오는 후보도 바뀌어요” 장면을 보고, 오늘의 규칙에 맞는 첫 카드를 예상해 보세요.

정답을 몰라도 괜찮아요. 지금 생각과 가장 가까운 것을 골라요.

02 · 낯선 말부터 풀기

정확한 이름보다 먼저 쉬운 뜻을 읽어요

처음 보는 말도 책 읽듯 풀어봐요

이 수업은 쉬운 뜻과 생활 예를 아직 함께 준비하지 못했어요. 설명 없는 정확한 이름은 먼저 보여 주지 않을게요.

그림에서 찾을 쉬운 규칙

  1. 01점수표의 큰 점수를 먼저 볼지 작은 점수를 먼저 볼지 표지판을 정확히 다는 상황과 같아요.
  2. 02먼저 “비교 규칙이 뒤집히면 먼저 나오는 후보도 바뀌어요” 규칙을 말해요.
  3. 03첫 카드를 고른 뒤에도 다음 선택이 남는지 표시해요.
  4. 04왜 그 카드를 골랐는지 한 문장으로 말해요.

03 · 그림으로 보기

비교 규칙이 뒤집히면 먼저 나오는 후보도 바뀌어요 · 스티커 바꾸기 그림

비교 규칙이 뒤집히면 먼저 나오는 후보도 바뀌어요를 보고, 따라 하고, 다시 해보는 그림비교 규칙이 뒤집히면 먼저 나오는 후보도 바뀌어요을 관찰, 추론, 검증 세 단계로 설명하는 정적 SVG01오늘의 장면gd59 · 점수표의 큰 점수를먼저 볼지 작은 점수를 먼저 볼지표지판을 정확히 다는 상황과 같아…02첫 걸음점수표의 큰 점수를 먼저 볼지 작은점수를 먼저 볼지 표지판을 정확히다는 상황과 같아요.03결과 열기내 답을 먼저 적은 뒤 결과를 열어봐요.직접 살펴보는 그림 · C++ 비교자와 우선순위 큐 경계 지키기의 관찰·추론·검증 순서를 한눈에 보여 준다.처음 생각과 달라도 괜찮아요. 달라진 첫 단계만 다시 봐요.
  1. 01오늘의 장면gd59 · 점수표의 큰 점수를 먼저 볼지 작은 점수를 먼저 볼지 표지판을 정확히 다는 상황과 같아요.
  2. 02첫 걸음점수표의 큰 점수를 먼저 볼지 작은 점수를 먼저 볼지 표지판을 정확히 다는 상황과 같아요.
  3. 03결과 열기내 답을 먼저 적은 뒤 결과를 열어 봐요.
C++ 비교자와 우선순위 큐 경계 지키기의 관찰·추론·검증 순서를 한눈에 보여 준다.내 생각을 먼저 남기면 결과와 쉬운 설명을 차례로 열 수 있어요.현재 화면: 그림 요약 · 그림을 보는 방법: 정적 SVG의 세 칸을 문서 순서대로 읽고 아래 설명과 함께 확인한다. · 움직임 없이 보기: 자동 이동이나 전환 없이 같은 관찰·추론·검증 세 칸을 유지한다.

04 · 책처럼 천천히 되짚기

방금 한 일을 한 줄씩 다시 읽어요

gd59 · 점수표의 큰 점수를 먼저 볼지 작은 점수를 먼저 볼지 표지판을 정확히 다는 상황과 같아요.

이 장면에서 주어진 것tiny-cpp-comparator-priority-queue fixture with empty·tie·counterexample boundary
내 말로 8자 이상 적어요 · 0 / 240

05 · 이제 내가 해볼 차례

여기까지 오면 이런 일을 할 수 있어요

오늘은 “비교 규칙이 뒤집히면 먼저 나오는 후보도 바뀌어요”를 작은 카드로 해 보고, 고른 까닭을 한 문장으로 말해 봐요.

  • 점수표의 큰 점수를 먼저 볼지 작은 점수를 먼저 볼지 표지판을 정확히 다는 상황과 같아요.
  • 먼저 “비교 규칙이 뒤집히면 먼저 나오는 후보도 바뀌어요” 규칙을 말해요.
  • 첫 카드를 고른 뒤에도 다음 선택이 남는지 표시해요.
  • 왜 그 카드를 골랐는지 한 문장으로 말해요.
오늘 해낼 일과 다 했다고 볼 기준 보기쉬운 순서를 익힌 뒤 더 정확히 확인하고 싶을 때 열어요.

C++23 strict weak ordering과 priority_queue top semantics를 공식 계약으로 확인한다.를 실행 전 봉인하고 broken comparator·stable tie·decrease-key를 표준이 보장한다고 말한다.을 반례·불변식·exchange·stays-ahead·cut 또는 independent oracle로 판정한다.

  • gd59 input·feasible set·objective·tie·irrevocability를 실행 전에 기록한다.
  • gd59 선택 trace에서 첫 divergence와 남은 feasible state를 설명한다.
  • gd59 proof 또는 최소 counterexample를 candidate와 독립된 방식으로 제출한다.
  • gd59 problem theorem·algorithm proof·API contract·measurement claim을 섞지 않는다.

06 · 자주 헷갈리는 지점

틀린 답도 이유를 알면 다음에는 맞힐 수 있어요

처음부터 모두 맞힐 필요는 없어요.지금은 몰라도 괜찮아요. “비교 규칙이 뒤집히면 먼저 나오는 후보도 바뀌어요” 규칙과 고른 뒤 남는 카드만 다시 살펴봐요.

헷갈리기 쉬운 이유 세 가지 보기내가 어디에서 다르게 생각했는지 찾고 싶을 때 열어요.
01gd59에서 지금 가장 좋아 보이는 값이면 전체 최적이다.

한 번 더 생각해 볼 질문같은 첫 선택이 더 나쁜 마지막 답을 만드는 작은 입력을 만들 수 있는가?

이렇게 고쳐 생각해요local choice와 global objective를 연결하는 proof가 별도로 필요하다.

02gd59 예제 세 개가 맞았으므로 모든 입력에서 맞다.

한 번 더 생각해 볼 질문동점·빈 입력·integrality·목표 변경 중 어느 축에서 주장이 깨지는가?

이렇게 고쳐 생각해요finite examples는 관찰이며 exchange·stays-ahead·cut proof 또는 정확한 범위 제한을 대신하지 않는다.

03gd59 구현이 실행되므로 선택 정책도 증명됐다.

한 번 더 생각해 볼 질문공식 API 문서가 보장한 사실과 문제의 최적성 주장을 두 열로 나눌 수 있는가?

이렇게 고쳐 생각해요도구의 API 계약과 알고리즘 최적성 정리는 다른 claim layer다.

07 · 더 궁금할 때만 보기

선생님과 검토자를 위한 믿을 만한 원문

원문과 어디까지 참고했는지 펼쳐 보기처음 배우는 동안에는 열지 않아도 괜찮아요.