부분 점수·언어 제약 해석

오늘의 질문

subtask별 constraints와 허용 언어·보장 범위를 읽어 단계적 solution plan과 claim boundary를 만든다. 이를 생략하면 한 언어가 목록에 있다는 이유로 모든 문제에서 같은 지원·성능·통과를 가정한다.에서도 그럴듯한 Big-O나 벤치마크 숫자는 만들 수 있지만 실행 가능한 선택과 반증 가능한 근거를 남길 수 없습니다.

아직 답을 몰라도 괜찮아요. 아래 작은 예시를 보고 먼저 예상해 보세요.

01 · 혼자 확인해요

연습한 문제를 다시 풀며 혼자 확인하기

지금은 방금 연습한 문제를 다시 보는 시간이에요.아직 “완전히 익혔다”고 기록하지 않아요. 나중에 모양이 다른 문제도 도움 없이 풀면 그때 다시 확인할 수 있어요.

답과 과정 확인: 80% 이상
내 말로 설명: 80% 이상
막힌 곳 고치기: 80% 이상
다른 문제에 써보기: 80% 이상

스스로 확인하며 작성 중인 답0 / 4

01
먼저 생각하기 · 기초
cx62 predict · 부분 점수·언어 제약 해석: “한 언어가 목록에 있다는 이유로 모든 문제에서 같은 지원·성능·통과를 가정한다.” 조건에서 비용·메모리·판정이 어떻게 바뀔지 실행 전에 봉인한다.
지금은 답을 먼저 보여 주지 않아요. 내가 적은 답은 연습 메모로만 저장되고, 합격으로 기록되지 않아요.
외운 답에 기대지 않았는지 밝히고, 내 까닭과 “항상 맞다”는 말을 깨는 장면까지 쓰기20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.
연습과 같은 문제를 다시 풀어 보는 시간이에요. 힌트 없이 먼저 생각해 보세요. 지금 적은 답은 바로 합격으로 기록되지 않아요.
움직임과 비교
02
내 말로 설명하기 · 익힌 것을 써보기
cx62 explain · 부분 점수·언어 제약 해석: subtask별 constraints와 허용 언어·보장 범위를 읽어 단계적 solution plan과 claim boundary를 만든다.이 필요한 이유와 subtask-to-solution matrix와 language caveat만으로 입증할 수 없는 범위를 설명한다.
지금은 답을 먼저 보여 주지 않아요. 내가 적은 답은 연습 메모로만 저장되고, 합격으로 기록되지 않아요.
외운 답에 기대지 않았는지 밝히고, 내 까닭과 “항상 맞다”는 말을 깨는 장면까지 쓰기20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.
연습과 같은 문제를 다시 풀어 보는 시간이에요. 힌트 없이 먼저 생각해 보세요. 지금 적은 답은 바로 합격으로 기록되지 않아요.
설명 기준과 비교
03
틀린 곳 고치기 · 익힌 것을 써보기
cx62 debug · 부분 점수·언어 제약 해석: AI가 만든 분석에 “한 언어가 목록에 있다는 이유로 모든 문제에서 같은 지원·성능·통과를 가정한다.” 반례를 주입하고 최초 잘못된 가정만 수정한다.
지금은 답을 먼저 보여 주지 않아요. 내가 적은 답은 연습 메모로만 저장되고, 합격으로 기록되지 않아요.
외운 답에 기대지 않았는지 밝히고, 내 까닭과 “항상 맞다”는 말을 깨는 장면까지 쓰기20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.
연습과 같은 문제를 다시 풀어 보는 시간이에요. 힌트 없이 먼저 생각해 보세요. 지금 적은 답은 바로 합격으로 기록되지 않아요.
답과 설명 함께 비교
04
새 문제에 써보기 · 새 문제
cx62 transfer · 부분 점수·언어 제약 해석: KOI·IOI-style subtask·online judge로 판단을 옮겨 보존할 invariant와 달라지는 비용 모델을 방어한다.
지금은 답을 먼저 보여 주지 않아요. 내가 적은 답은 연습 메모로만 저장되고, 합격으로 기록되지 않아요.
외운 답에 기대지 않았는지 밝히고, 내 까닭과 “항상 맞다”는 말을 깨는 장면까지 쓰기20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.
연습과 같은 문제를 다시 풀어 보는 시간이에요. 힌트 없이 먼저 생각해 보세요. 지금 적은 답은 바로 합격으로 기록되지 않아요.
설명 기준과 비교

4개 답이 남았습니다.

02 · 나중에 한 번 더

모양이 다른 문제에서도 같은 생각을 써봐요

부분 점수·언어 제약 해석의 미공개 입력 family에서 semantics·cost model·bound·budget verdict를 독립적으로 재구성하는 능력의 미공개 입력 family에서 AI 없이 semantics·비용 단위·exact 또는 bounded count·반례·time-space verdict를 작성하고 deterministic replay evidence를 제출한다.

검증 과제

AI가 제안한 부분 점수·언어 제약 해석 분석에 hidden copy, 잘못된 입력 차원, average/worst 혼동, reversed bound, overflow, noisy timing gate 또는 memory 누락 중 하나 이상을 심어 독립 반례와 계산으로 찾아 수정한다.