01 · 같이 연습해요
작은 문제부터 하나씩 직접 풀어봐요
먼저 예상하고, 한 단계씩 확인하고, 막힌 곳을 고쳐 봐요. 도움을 열어도 괜찮아요. 도움을 본 문제는 나중에 모양을 바꿔 다시 풀어보면 됩니다.
연습에서 작성 중인 답0 / 8
- 01
찾아보기 · 기초
gd33 가장 이른 마감부터 최대 지각 줄이기 · recognize에서 single machine·release-free·maximum lateness objective에서 deadline order를 증명한다.
이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.
정답 대신 4단계 힌트 보기
- 먼저 볼 것
gd33: 최종 점수보다 첫 선택 뒤 남은 가능한 답을 표시한다.
- 뜻 풀기
feasibility와 optimality를 분리하고 안전한 선택을 proof 또는 counterexample로 판정한다.
- 다음 도움
내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.
한꺼번에 여덟 문제를 펼치지 않아요. 내 생각을 적고 맞춰 볼 기준을 확인하면 다음 문제 하나만 열립니다.
8개 답이 남았습니다.
02 · 막힌 곳을 찾아요
틀린 답에서 생각이 갈라진 첫 지점 찾기
전부 다시 풀지 않아도 돼요.지금은 몰라도 괜찮아요. “마감이 빠른 일을 먼저 놓아 가장 큰 늦음을 줄여요” 규칙과 고른 뒤 남는 카드만 다시 살펴봐요.
막히는 이유와 고치는 방법 자세히 보기같은 곳에서 다시 막혔을 때 필요한 설명만 펼쳐 보세요.
gd33 선택 도중 objective나 tie policy를 바꾼다.
- 겉으로 보이는 막힘
- 같은 입력의 expected answer가 설명할 때마다 달라진다.
- 막힌 까닭
- 실행 전 계약을 봉인하지 않았다.
- 다시 해보는 방법
- versioned contract를 다시 만들고 이전 trace를 무효 처리한다.
총 완료시간·늦은 작업 수·가중 벌점에도 같은 proof를 복사한다.
- 겉으로 보이는 막힘
- 첫 선택과 global optimum 사이에 근거 없는 도약이 남는다.
- 막힌 까닭
- safe-choice premise나 residual problem을 증명하지 않았다.
- 다시 해보는 방법
- exchange·stays-ahead·cut 중 맞는 도구를 선택하거나 최소 반례로 거부한다.
candidate와 expected generator가 같은 선택 helper를 공유한다.
- 겉으로 보이는 막힘
- mutant가 candidate와 oracle을 함께 바꿔 잘못된 답을 통과시킨다.
- 막힌 까닭
- 검산 계층이 독립적이지 않다.
- 다시 해보는 방법
- 작은 exhaustive model·metamorphic relation·수작업 sealed fixture 중 다른 계열로 교체한다.
03 · 내게 맞는 도움 고르기
같은 목표를 원하는 도움만큼 연습해요
안내 받으며한 단계씩
네 단계 중 지금 필요한 한 단계만 열어 천천히 따라가요.
도움을 봐도 괜찮아요.혼자 해보기내 힘으로
새로운 “마감이 빠른 일을 먼저 놓아 가장 큰 늦음을 줄여요” 카드에서도 같은 순서로 첫 선택을 하고, 고른 까닭을 한 문장으로 말해 보세요.
이름과 숫자만 바뀐 작은 문제부터 시작해요.더 도전하기하나 더 바꾸기
시작점이나 선 하나를 더 바꾸고, 답이 달라지는지 먼저 예상해요.
한 번에 한 가지만 바꿔요. 내게 맞는 연습 방법 자세히 보기한 단계 도움, 혼자 하기, 한 걸음 더를 쉬운 말로 나눴어요.
한 단계 도움: 그림에서 지금 볼 한 곳만 짚고, 내 생각을 먼저 고른 뒤 다음 칸을 열어요.
혼자 해보기: 새로운 “마감이 빠른 일을 먼저 놓아 가장 큰 늦음을 줄여요” 카드에서도 같은 순서로 첫 선택을 하고, 고른 까닭을 한 문장으로 말해 보세요.
한 걸음 더: 한 번에 약속 하나만 바꾸고 답이 어떻게 달라지는지 먼저 예상한 뒤 확인해요.