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

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

숫자의 범위와 답 모양을 먼저 적어요

오늘의 질문

장보기 전에 예산 단위와 살 물건 개수, 거스름돈 표시 방법을 적어 두는 상황과 같아요.

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

오늘은 “숫자의 범위와 답 모양을 먼저 적어요”를 작은 카드로 해 보고, 고른 까닭을 한 문장으로 말해 봐요.

01 · 같이 연습해요

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

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

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

    찾아보기 · 기초

    gd02 입력·출력·수치 범위 봉인하기 · recognize에서 정수 범위·음수 허용·빈 입력·출력 witness 형식을 실행 전에 고정한다.

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

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

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

    2. 뜻 풀기

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

    3. 다음 도움

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

    정답과 비교

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

8개 답이 남았습니다.

02 · 막힌 곳을 찾아요

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

전부 다시 풀지 않아도 돼요.지금은 몰라도 괜찮아요. “숫자의 범위와 답 모양을 먼저 적어요” 규칙과 고른 뒤 남는 카드만 다시 살펴봐요.

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

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

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

작은 예제만 보고 overflow·빈 입력·불가능 상태를 정의하지 않는다.

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

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

안내 받으며

한 단계씩

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

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

내 힘으로

새로운 “숫자의 범위와 답 모양을 먼저 적어요” 카드에서도 같은 순서로 첫 선택을 하고, 고른 까닭을 한 문장으로 말해 보세요.

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

하나 더 바꾸기

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

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

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

혼자 해보기: 새로운 “숫자의 범위와 답 모양을 먼저 적어요” 카드에서도 같은 순서로 첫 선택을 하고, 고른 까닭을 한 문장으로 말해 보세요.

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