서론 본 포스트는 Ocaml 공식 문서의 A tour of ocaml 을 기반으로 만들어졌습니다. Ocaml은 대화형 인터프리터인 UTop을 제공하는데, UTop을 이용해서 Ocaml에 입문해보자! 기능 주석 주석은 오직 (* 와 *)만 지원한다. 따라서 이런 괴상한 코드도 작성 가능하다. # 50 + (* A comment in between ...

Ocaml과 함수형 프로그래밍 언어 Ocaml은 ML(Meta Language)계열의 함수형 프로그래밍 언어의 일종입니다. Meta Language는 다음과 같은 특징을 가집니다. 함수형 프로그래밍 패러다임, 불변 데이터와 순수 함수형 프로그래밍을 장려합니다. 함수형 프로그래밍은 함수를 first-class value로 취급하는 점입니다....

서론 문제 설명 $G = (V, E)$에서, 각 Vertex를 $v_i$라 할 때, $v_0$부터 $v_{n-1}$까지의 path들 중, path를 이루는 edge의 최대/최소 weight 차이의 최솟값을 구하시오. 문제 링크 문제 유형 최소 범위 경로(Minimum Range Path) 문제를 풀어봅시다. 최소 범위 경로란? 최소 범위 경로 문...

9주차 계획 개요 9주차(2. 26 ~ 3. 4)의 계획입니다. 30장 최단 경로 알고리즘 서론 문제: ROUTING 문제: FIRETRUCKS 문제: NTHLON 문제: TIMETRIP 문제: DRUNKEN 문제: PROMISES 31장 최소 ...

서론 문제 설명 팀 $n(1 \leq n \leq 100)$개가 회의가 되는 시간대가 각각 $2$개 주어집니다. 팀끼리 겹치지 않게 시간대를 조정하시오, 각 팀당 회의는 무조건 한 번 해야합니다. 한 팀이라도 회의가 불가능할 경우, 불가능함을 보이시오. 문제 링크 문제 유형 2-SAT 문제로 변형해서 2-SAT문제를 함의 그래프(Implicat...