Reporch
문제
랭킹
포럼
챌린지
소개
IDE
로그인
회원가입
SCC와 2-SAT | Reporch
목록
학습 경로
SCC와 2-SAT
강한 연결 요소를 축약하고 함의 그래프를 이용해 논리 제약의 가능성과 배정을 구합니다.
0 / 8
0%
01
강한 연결 그룹 번호
5
방향 그래프의 강한 연결 요소를 구하고, 포함 정점 최솟값 순으로 그룹 번호를 붙이세요.
2
100.00%
02
서로 왕복 가능한 정점 쌍
5
서로에게 모두 도달할 수 있는 서로 다른 정점의 순서 없는 쌍 수를 구하세요.
2
100.00%
03
외부에서 들어오지 않는 그룹
5
SCC 축약 그래프에서 진입 차수가 0인 요소 수를 구하세요.
2
100.00%
04
밖으로 나가지 않는 그룹의 정점
5
SCC 축약 그래프에서 진출 차수가 0인 모든 요소의 정점을 구하세요.
2
100.00%
05
축약 그래프의 최대 점수
4
정점 점수가 있는 방향 그래프에서 경로로 모을 수 있는 최대 점수를 구하세요. 같은 SCC의 점수는 모두 모읍니다.
2
100.00%
06
두 선택 절의 만족 가능성
4
각 절이 두 리터럴의 OR로 주어질 때 모든 절을 만족할 수 있는지 판정하세요.
4
44.44%
07
두 선택 절의 실제 배정
3
모든 2-SAT 절을 만족하는 변수 배정 하나를 구하세요.
2
100.00%
08
스위치 같음·다름 제약
4
두 스위치 값이 같아야 하는지 다른 값이어야 하는지 주어진 모든 제약을 만족할 수 있는지 판정하세요.
2
100.00%