그냥 하는 노트와 메모장

* Modular 모듈러 연산은 덧셈, 뺄셈, 곱셈에 대해 닫혀있다. 즉, (a+b)%m = (a%m+b%m)%m과 동일하다. 나눗셈에 대해선 닫혀있지 않으므로 유의한다. ※ 페르마의 소정리를 참고.

- Base case기저 사례라고도 한다.Recursive call에서 Terminal condition을 지정하는 경우를 말한다. - Referential transparency/ Referential transparent function참조적 투명성/ 참조적 투명 함수Argument로 넘긴 입력에 대해 항상 같은 값만을 반환할 때 참조적 투명성이 있다고 한다. 함수가 이런 특징을 띄면 참조적 투명함수라고 한다. - Mathematical exclusion(수학적 배제)수학적 증명을 통한 탐색 공간을 배제하는 방법 - Branch & bound(가지치기, 경험적 배제라고도 함)경험적으로 더 이상 해를 구할 수 없는 조건을 만났을 때, 탐색을 그만 두는 것.탐색을 처음 시작할 때는 조건을 정할 수 없으나..