PS: Problem Solving (문제 풀이)
CP: Competitive Programming (경쟁 프로그래밍)
CS: Computer Science (컴퓨터 과학)
STL: Standard Template Library (표준 템플릿 라이브러리)
맞왜틀: 맞는 것 같은데 왜 틀리지
틀왜맞: 틀릴 것 같은데 왜 맞지
솔브닥: Solved.ac 티어 안내 서비스
업솔빙: (≈대회 때 못 푼 문제/헷갈리는 문제를 곱씹어보는 과정)
absorbing+upsolving2
예제: 문제에서 주어진 input과 output
테케: 테스트 케이스의 약자로, 예제의 일반화. 조건을 만족한다면 다 통용해서 사용함.
올솔: All Solve! 다 풀어낸 경우
NGD: 노가다. 수학에서 자주 쓰여서 자연스럽게 PS에서도 통용됨.
wlog: 의 약자. 일반성을 잃지 않는다는 뜻인데, 예를 들어 세 수의 관계가 대칭적일 경우 라고 순서를 강제하는 것이 있다.
WithoutLossOfGenerality
a,b,c
a≤b≤c
isw: 의 약자. 직역하면 같은 방식으로. 값만 바뀌고 동일한 구조를 유지하는 경우 똑같은 것을 또 쓰는 것을 막기 위함이다.
IntheSameWay
s.t.: 의 약자. '다음을 만족하는' 이라는 뜻이다.
suchthat
∎: QED (유클리드가 증명을 끝마친 후 "이것이 보여져서 참이다" 정도의 의미를 라틴어로 적었던 것)
i.e.: 의 약자. 영어로는 that is 정도의 의미이다. '즉,'과 같은 의미이다. (사실 '즉'이 더 짧은 것 같은데?)
idest
∀: for all이라는 뜻. "모든 ~에 대해서"라고 할 때 사용한다.
∃: exists라는 뜻. "~인 ~가 존재한다"라고 할 때 사용한다.
알아두면 좋을 것 같은 글 보여서 공유드립니다 행님들