먼저 생각하기 · 기초
gd42 프림의 경계 간선 선택을 컷으로 증명하기 · predict에서 M06 Prim trace를 cut property의 S·V\S witness로 다시 해석한다.
지금은 답을 먼저 보여 주지 않아요. 내가 적은 답은 연습 메모로만 저장되고, 합격으로 기록되지 않아요.
연습과 같은 문제를 다시 풀어 보는 시간이에요. 힌트 없이 먼저 생각해 보세요. 지금 적은 답은 바로 합격으로 기록되지 않아요.
도움 없이 한 번 더 풀어보기
이미 연결한 동네와 아직인 동네 사이의 가장 가벼운 버스 노선을 고르는 상황과 같아요.
아직 답을 몰라도 괜찮아요. 아래 작은 예시를 보고 먼저 예상해 보세요.오늘은 “이어진 마을 밖으로 나가는 가장 가벼운 길을 골라요”를 작은 카드로 해 보고, 고른 까닭을 한 문장으로 말해 봐요.
01 · 혼자 확인해요
지금은 방금 연습한 문제를 다시 보는 시간이에요.아직 “완전히 익혔다”고 기록하지 않아요. 나중에 모양이 다른 문제도 도움 없이 풀면 그때 다시 확인할 수 있어요.
먼저 생각하기 · 기초
지금은 답을 먼저 보여 주지 않아요. 내가 적은 답은 연습 메모로만 저장되고, 합격으로 기록되지 않아요.
연습과 같은 문제를 다시 풀어 보는 시간이에요. 힌트 없이 먼저 생각해 보세요. 지금 적은 답은 바로 합격으로 기록되지 않아요.
한꺼번에 여덟 문제를 펼치지 않아요. 내 생각을 적고 맞춰 볼 기준을 확인하면 다음 문제 하나만 열립니다.
4개 답이 남았습니다.
02 · 나중에 한 번 더
새로운 “이어진 마을 밖으로 나가는 가장 가벼운 길을 골라요” 카드에서도 같은 순서로 첫 선택을 하고, 고른 까닭을 한 문장으로 말해 보세요.
처음 보는 비슷한 문제를 도움 없이 다시 풀고, 달라진 첫 지점을 내 말로 설명해 보세요.
gd42 프림의 경계 간선 선택을 컷으로 증명하기의 미공개 empty·singleton·tie-heavy·counterexample·integrality-change·objective-change·overflow·scale fixture에서 AI 없이 contract·ordered choice trace·proof 또는 최소 반례·independent optimum·human verdict를 작성하고 deterministic replay evidence를 제출한다.
AI가 제안한 프림의 경계 간선 선택을 컷으로 증명하기 설명에 local-is-global·example-is-proof·fractional-to-integral copy·weighted interval earliest-finish·negative-edge Dijkstra·heap-is-proof·hidden tie·approximation-is-exact·market-is-standard·API-is-runtime 중 하나 이상을 심어 공식 source와 독립 oracle로 찾아 수정한다.