(2022-11-21) 예비 코로나 확진자의 일기

- 오늘 한일

 

# 병원 가서 신속항원검사받기

어제 열과 근육통이 너무 심해서 약을 먹고 자고 일어났지만 아침에도 역시 38도가 넘는 열이 나고 있었다..

엄마도 기침이 심하게 나서 같이 병원으로 가서 신속항원검사를 받았고, 그 결과 엄마는 양성 난 음성이 떴다( 난 왜 음성..? 내가 더 증상이 심한데..)

집으로 돌아와서 교수님들에게 메일을 드리고 학과 사무실에 연락해 설명한 결과 출석 인정은 해주신다고 한다.. (이런 게 웃픈 건가 ㅠ)

아무튼 내일이면 몸이 괜찮아지겠지..

그래도 친구들 덕분에 수업시간 빠진 부분은 무리가 없을 것 같다 ㅎㅎ (다들 고맙습니당😀👍)

 

# 알고리즘 수시고사 범위 정리

낮에 병원에서 처방받은 약을 먹고 잠을 자고 일어나니 몸이 괜찮아졌다.

그래서 이번 주 수요일에 시험을 볼 수 있을 지 모르겠지만 공부를 하는게 맞는 것 같아서 잠깐이라도 해보았다..

T를 그래프 G의 MST라고 하고 edge(u,v)는 G에 포함된 edge라고 한다. edge (u,v)를 제거하면서 생기는 두개의 트리를 T1, T2라고 하고 나누어진 두 부분의 그래프를 G1, G2 라고 하면 T1은 G1의 MST ---> P1        and T2는 G2의 MST ---> P2 여기서 증명해야하는 것은 w(T) = w(u,v) + w(T1) + w(T2)를 증명하는 것이다( w는 가중치) 교수님은 이것을 증명할 때 가장 쉬운 방법이 Contradiction이라고 한다. (Contradiction 증명법은 어떤 명제 p가 있을 때 ~p를 참이라고 가정한 후 ~p가 거짓임을 보여주면 p가 참이되는 증명 방법이다) 이 방법을 이용하여 증명해보면 P ≡ P1 ∧ P2 ~P ≡ ~(P1 ∧ P2) ≡ ~P1 ∨ ~P2 가 된다. 따라서 ~P1과 ~P2 둘 중 한 가지라도 거짓임을 보이면 ~P는 거짓이 되는 것이고 P는 참이 되는 것이다. ~P1 = T1이 G1의 MST가 아니다를 가정 T1의 G1의 MST가 아니므로 w(T1)보다 가중치가 작은 w(T'1)이 존재하게 된다. w(u,v) + w(T'1) + w(T2) < w(u,v) + w(T1) + w(T2)  이 성립하게 된다. (w(u,v) + w(T1) + w(T2) 은 그래프 G의 MST인 w(T)를 의미한다) 처음에 가정한 사실(T는 그래프 G의 MST)과 모순이되므로 ~P1은 거짓이 되고 ~P 또한 거짓이 된다. 따라서 P는 참이므로 T1과 T2는 G1과 G2의 MST가 된다.

이렇게 하는 게 맞는 것인지 모르겠다.. 조금 더 문장을 깔끔하게 정리해야 할 것 같다.