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

따라 해보기 · 직접 바꿔보기

빠른 규칙과 최적을 보장하는 규칙은 달라요

오늘의 질문

가까운 식당부터 보는 편한 방법과 가장 짧은 전체 이동을 찾는 방법을 구분하는 상황과 같아요.

아직 답을 몰라도 괜찮아요. 아래 작은 예시를 보고 먼저 예상해 보세요.
왜 배우는지 쉬운 설명 보기

오늘은 “빠른 규칙과 최적을 보장하는 규칙은 달라요”를 작은 카드로 해 보고, 고른 까닭을 한 문장으로 말해 봐요.

01 · 같이 연습해요

작은 문제부터 하나씩 직접 풀어봐요

먼저 예상하고, 한 단계씩 확인하고, 막힌 곳을 고쳐 봐요. 도움을 열어도 괜찮아요. 도움을 본 문제는 나중에 모양을 바꿔 다시 풀어보면 됩니다.

연습에서 작성 중인 답0 / 8
  1. 01

    찾아보기 · 기초

    gd49 정확 그리디와 휴리스틱 구분하기 · recognize에서 proof-backed exact greedy와 quality-unproven heuristic을 claim level로 구분한다.

    이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.

    정답 대신 4단계 힌트 보기
    1. 먼저 볼 것

      gd49: 최종 점수보다 첫 선택 뒤 남은 가능한 답을 표시한다.

    2. 뜻 풀기

      feasibility와 optimality를 분리하고 안전한 선택을 proof 또는 counterexample로 판정한다.

    3. 다음 도움

      내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.

    정답과 비교

한꺼번에 여덟 문제를 펼치지 않아요. 내 생각을 적고 맞춰 볼 기준을 확인하면 다음 문제 하나만 열립니다.

8개 답이 남았습니다.

02 · 막힌 곳을 찾아요

틀린 답에서 생각이 갈라진 첫 지점 찾기

전부 다시 풀지 않아도 돼요.지금은 몰라도 괜찮아요. “빠른 규칙과 최적을 보장하는 규칙은 달라요” 규칙과 고른 뒤 남는 카드만 다시 살펴봐요.

막히는 이유와 고치는 방법 자세히 보기같은 곳에서 다시 막혔을 때 필요한 설명만 펼쳐 보세요.
헷갈림 01

gd49 선택 도중 objective나 tie policy를 바꾼다.

겉으로 보이는 막힘
같은 입력의 expected answer가 설명할 때마다 달라진다.
막힌 까닭
실행 전 계약을 봉인하지 않았다.
다시 해보는 방법
versioned contract를 다시 만들고 이전 trace를 무효 처리한다.
헷갈림 02

그리디라는 단어를 썼다는 이유로 optimality를 자동 부여한다.

겉으로 보이는 막힘
첫 선택과 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 · 내게 맞는 도움 고르기

같은 목표를 원하는 도움만큼 연습해요

안내 받으며

한 단계씩

네 단계 중 지금 필요한 한 단계만 열어 천천히 따라가요.

도움을 봐도 괜찮아요.
혼자 해보기

내 힘으로

새로운 “빠른 규칙과 최적을 보장하는 규칙은 달라요” 카드에서도 같은 순서로 첫 선택을 하고, 고른 까닭을 한 문장으로 말해 보세요.

이름과 숫자만 바뀐 작은 문제부터 시작해요.
더 도전하기

하나 더 바꾸기

시작점이나 선 하나를 더 바꾸고, 답이 달라지는지 먼저 예상해요.

한 번에 한 가지만 바꿔요.
내게 맞는 연습 방법 자세히 보기한 단계 도움, 혼자 하기, 한 걸음 더를 쉬운 말로 나눴어요.

한 단계 도움: 그림에서 지금 볼 한 곳만 짚고, 내 생각을 먼저 고른 뒤 다음 칸을 열어요.

혼자 해보기: 새로운 “빠른 규칙과 최적을 보장하는 규칙은 달라요” 카드에서도 같은 순서로 첫 선택을 하고, 고른 까닭을 한 문장으로 말해 보세요.

한 걸음 더: 한 번에 약속 하나만 바꾸고 답이 어떻게 달라지는지 먼저 예상한 뒤 확인해요.