전체보기 (462) 썸네일형 리스트형 [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차시 고속광역통신망 보호되어 있는 글입니다. [407] 인공지능 14차시 지도 학습 보호되어 있는 글입니다. 이전 1 ··· 4 5 6 7 8 9 10 ··· 58 다음
