정렬 버튼이 약속한 것만 믿기

오늘은 이것 하나만

정렬 도구가 반드시 지키는 결과와 안에서 바뀔 수 있는 처리 방법을 나눠 믿을 수 있어요.

먼저 떠올릴 생활 장면정렬 버튼이 약속한 결과와 실제 기계 안에서 쓰는 방법을 따로 적어 두는 것과 같아요.

1짧은 이야기 읽기
2내 생각 하나 고르기
3네 걸음 같이 보기
4내 말로 한 줄 적기

오늘의 작은 이야기

먼저 이 장면만 천천히 읽어요

정렬 버튼의 설명서에서 무엇을 먼저 두 칸으로 나눌까요?

정답을 몰라도 괜찮아요. 지금 생각과 가장 가까운 것을 골라요.

1항상 지키는 약속과 바뀔 수 있는 내부 방법 나누기2지금 한 번 본 내부 방법이 앞으로도 같다고 보기3도구 설명을 읽지 않고 실행 시간만 보고 승인하기

02 · 낯선 말부터 풀기

정확한 이름보다 먼저 쉬운 뜻을 읽어요

처음 보는 말도 책 읽듯 풀어봐요

이 수업은 쉬운 뜻과 생활 예를 아직 함께 준비하지 못했어요. 설명 없는 정확한 이름은 먼저 보여 주지 않을게요.

그림에서 찾을 쉬운 규칙

01입력·출력·원본 변화·같은 값 처리 약속을 표시해요.
02설명서가 반드시 보장한다고 한 문장만 약속 칸에 적어요.
03현재 구현이나 관찰처럼 바뀔 수 있는 내용은 다른 칸에 적어요.
04작은 예시와 반례로 공개 약속만 지켜지는지 확인해요.

03 · 그림으로 보기

카드가 움직이고 찾을 범위가 줄어드는 모습을 따라가요

01오늘의 장면runtime upgrade·polyglot service·성능 이슈 조사를 여덟 장 카드와 두 개 query로 줄여 표준 정렬을 한 알고리즘 이름으로 단정하지 않기 판단을 수행한다.
02첫 걸음입력·출력·원본 변화·같은 값 처리 약속을 표시해요.
03결과 열기내 답을 먼저 적은 뒤 결과를 열어 봐요.

표준 정렬을 한 알고리즘 이름으로 단정하지 않기의 order/query contract·comparison 또는 predicate·partition/boundary·cost·claim 판정을 한 흐름으로 분리한다.내 생각을 먼저 남기면 결과와 쉬운 설명을 차례로 열 수 있어요.현재 화면: 그림 요약 · 그림을 보는 방법: key·tie·input order·query·boundary 중 하나를 바꾸면 comparison·write·candidate interval·result가 어떻게 달라지는지 비교한다. · 움직임 없이 보기: 자동 이동과 큰 변형 없이 선택 상태·선 굵기·pattern·텍스트·표로 같은 정보를 즉시 표시한다.

04 · 책처럼 천천히 되짚기

방금 한 일을 한 줄씩 다시 읽어요

runtime upgrade·polyglot service·성능 이슈 조사를 여덟 장 카드와 두 개 query로 줄여 표준 정렬을 한 알고리즘 이름으로 단정하지 않기 판단을 수행한다.

이 장면에서 주어진 것ss32 · 8-record public fixture · duplicate tie · deterministic key/query order

05 · 이제 내가 해볼 차례

여기까지 오면 이런 일을 할 수 있어요

정렬 도구가 반드시 지키는 결과와 안에서 바뀔 수 있는 처리 방법을 나눠 믿을 수 있어요.

입력·출력·원본 변화·같은 값 처리 약속을 표시해요.
설명서가 반드시 보장한다고 한 문장만 약속 칸에 적어요.
현재 구현이나 관찰처럼 바뀔 수 있는 내용은 다른 칸에 적어요.
작은 예시와 반례로 공개 약속만 지켜지는지 확인해요.

오늘 해낼 일과 다 했다고 볼 기준 보기쉬운 순서를 익힌 뒤 더 정확히 확인하고 싶을 때 열어요.

같은 sort 호출의 언어 표준 계약과 한 runtime 관찰을 서로 다른 문장으로 작성한다.을 수행하고 documented·implementation·measurement·unknown 열을 가진 library claim ledger로 order/query contract·invariant·cost·claim level을 독립 검증한다.

표준 정렬을 한 알고리즘 이름으로 단정하지 않기의 input·output·key/comparator·tie·duplicate·mutation 계약을 AI 없이 먼저 고정한다.
Python은 항상 Timsort, C++은 항상 introsort처럼 version·implementation을 생략해 보편 계약으로 말한다.를 empty·singleton·all-equal·already-sorted·reverse·adversarial 중 해당하는 최소 반례로 재현한다.
correctness와 comparison·write·space·preprocessing/query cost, library 문서와 측정 관찰을 서로 구분한다.
documented·implementation·measurement·unknown 열을 가진 library claim ledger와 사람의 accept·revise·reject 판정 및 보장하지 않는 범위를 제출한다.

06 · 자주 헷갈리는 지점

틀린 답도 이유를 알면 다음에는 맞힐 수 있어요

처음부터 모두 맞힐 필요는 없어요.괜찮아요. 처음 어긋난 한 단계만 찾아요. 도구를 버리지 말고 문장에서 ‘반드시’라고 적힌 말과 관찰로만 본 말을 먼저 갈라요.

헷갈리기 쉬운 이유 세 가지 보기내가 어디에서 다르게 생각했는지 찾고 싶을 때 열어요.

01표준 정렬을 한 알고리즘 이름으로 단정하지 않기에서 작은 예제의 최종 순서나 위치가 맞으면 기준·동률·중복·mutation 계약도 자동으로 맞다.

한 번 더 생각해 볼 질문runtime upgrade·polyglot service·성능 이슈 조사에서 같은 최종 값처럼 보이지만 안정성이나 위치 답이 달라지는 두 계약을 만드세요.

이렇게 고쳐 생각해요공개 API가 보장하는 order·stability·complexity·panic/exception 조건과 특정 구현의 hybrid 전략을 claim level로 분리한다.처럼 정답 전에 input·order·query contract와 observable result를 봉인해야 한다.

02API 보장 한 번이 빠르면 모든 input order·key range·query count에서 같은 방법이 최선이다.

한 번 더 생각해 볼 질문Python은 항상 Timsort, C++은 항상 introsort처럼 version·implementation을 생략해 보편 계약으로 말한다.를 드러내며 선택이 뒤집히는 최소 input family를 제시하세요.

이렇게 고쳐 생각해요documented·implementation·measurement·unknown 열을 가진 library claim ledger에 worst case, preprocessing, comparison/write/space와 관찰값을 분리해야 한다.

03AI 구현과 AI가 만든 expected trace가 일치하면 표준 정렬을 한 알고리즘 이름으로 단정하지 않기의 correctness와 성능이 독립 검증된다.

한 번 더 생각해 볼 질문Python은 항상 Timsort, C++은 항상 introsort처럼 version·implementation을 생략해 보편 계약으로 말한다.를 드러내는 AI-off fixture와 사람이 계산할 expected result를 쓰세요.

이렇게 고쳐 생각해요같은 가정을 공유한 두 결과는 독립 oracle이 아니며 손계산 trace·brute force·metamorphic relation·공식 계약 중 별도 근거가 필요하다.

07 · 더 궁금할 때만 보기