k8s한지 너무 오래되서 복습 겸 전에 봤던 책을 다시 보고 있다. 환경 구성부터 다시하고 있는데 vagrant로 centos vm 인스턴스 설치하는 도중 아래 에러가 발생해서 정리해본다. Could not retrieve mirrorlist http://mirrorlist.centos.org/?release=7&arch=x86_64&repo=os&infra=stock error wascurl#6 - "Could not resolve host: mirrorlist.centos.org; Unknown error" 현재 사용 중인 vm이 centos7 버전으로 만든 건데, centos7이 EOS되어 발생하는 에러이다. 따라서 yum repo의 url을 아래와 같이 변경하면 된다. vagrant 기준으로, ..
https://www.acmicpc.net/problem/2519 2-SAT 관련 문제입니다. 명제를 정의하는데 시간을 많이 썼지만, 실질적인 구현은 크게 어렵지 않습니다. 주어진 문제를 보면, N명의 사람들이 3개의 막대기를 갖고 있고, 각자 최대 1개의 막대기를 뺄 수 있습니다. 이 때 막대기를 뺀 상태에서 모든 막대기가 겹치는지, 겹치지 않는다면 무엇을 뺀 것인지를 구하는 문제입니다. 문제를 2-SAT 문제로 대입하면 다음과 같습니다. 2-SAT : (x1 or x2) and (x3 or x4) and .... 와 같은 CNF 에서 명제가 true가 되는 x1, x2, ... 의 해를 구할 수 있는가문제 : 모든 막대기들이 겹치지 않는가 즉, clause에 해당하는 것은 각 막대기들이 겹칠 때 ..
https://www.acmicpc.net/problem/112812-SAT 문제를 공부해보았습니다. 2-SAT문제는 아래와 같습니다.(x or y) : clause 를 대상으로 CNF 형태 (모두 and로 묶여 있는 형태) 에 대해 해가 존재하는 지를 판단 (만족하는 해가 있는가?) 하는 satisfiability 문제입니다. x or y == ~x -> yx or y == y or x == ~y -> x 이므로 CNF로 주어진 식을 아래와 같이 그래프로 표현할 수 있습니다. ex) (~x1 or x2) and (~x2 or x3) and (x1 or x3) and (x3 or x2) x1 -> x2, ~x2 -> ~x1x2 -> x3, ~x3 -> ~x2~x1 -> x3, ~x3 -> x1~x3 ..