전체보기 (463) 썸네일형 리스트형 [415] 타잔의 SCC(강한 연결 요소) 알고리즘(파이썬 코드) 1. 강한 연결 요소 개념이번 글에서는 파이썬으로 타잔의 SCC 알고리즘을 구현한 코드를 살펴보겠습니다.강한 연결 요소에 대해 알고 싶으시다면 지난 글을 참고하세요.https://kimwooil.tistory.com/380 [380] 강한 연결 요소(SCC)와 타잔의 SCC 알고리즘(Tarjan's SCC algorithm)1. 강한 연결 요소(SCC; Strongly Connected Components) 유향 그래프(Directed Graph)에서 모든 정점이 다른 모든 정점에 도달할 수 있는 경우, 강하게 연결되었다고 합니다. 다시 말하면, 임의의 두 정점 사이kimwooil.tistory.com2. 타잔의 SCC 알고리즘 파이썬 코드위 이미지와 같이 그래프의 강한 연결 요소를 찾아보겠습니다. 가... [414] 2-SAT 문제(개념만, 코드 없음) 1. SAT(충족 가능성 문제)다음과 같은 논리식이 있다고 하면(∧는 and 연산입니다.),논리식 = 변수1 ∧ 변수2 ∧ 변수3변수1, 2, 3이 어떤 값을 가지냐에 따라 논리식은 참이 될 수도 있지만, 다음과 같은 논리식에서는논리식 = 변수1 ∧ not 변수1만약 변수1이 참이면 not 변수1은 거짓이 되기 때문에 위 논리식은 절대 참이 될 수 없습니다. 이렇게 참/거짓을 가지는 변수들로 이루어진 논리식이 주어졌을 때, 그 논리식이 참이 되는 변수값이 존재하는지 찾는 문제를 충족 가능성 문제(SAT)라고 부릅니다.https://ko.wikipedia.org/wiki/충족_가능성_문제 충족 가능성 문제 - 위키백과, 우리 모두의 백과사전위키백과, 우리 모두의 백과사전. 충족 가능성 문제(充足可能性問題,.. [413] 확률및통계 14차시 연속확률분포2 보호되어 있는 글입니다. [412] 확률및통계 13차시 연속확률분포 1 보호되어 있는 글입니다. [411] 컴퓨터네트워크 14차시 무선 PAN(Wireless Personal Area Network) 보호되어 있는 글입니다. [410] 컴퓨터네트워크 13차시 무선 LAN(Wireless LAN) 보호되어 있는 글입니다. [409] 정보통신개론 14차시 미래 통신망 서비스 보호되어 있는 글입니다. [408] 정보통신개론 13차시 고속광역통신망 보호되어 있는 글입니다. 이전 1 ··· 4 5 6 7 8 9 10 ··· 58 다음