백준 11280번 2-SAT - 3 문제는 2-CNF 논리식의 모든 절을 만족할 수 있는 변수 할당이 존재하는지 판단하는 문제입니다. 그래프와 SCC 알고리즘을 활용하여 각 변수와 부정 변수의 연결 관계를 분석하고, 불가능 조건을 효율적으로 판정하는 과정과 논리-그래프 변환, SCC 판별의 알고리즘적 원리를 상세히 다룹니다.
백준 1671번 상어의 저녁식사 문제는 각 상어의 능력치(크기, 속도, 지능)에 따라 상호 포식 관계를 모델링하고, 한 상어가 최대 두 마리까지 다른 상어를 잡아먹을 수 있다는 제약조건을 적용해 최적의 생존 상어 수를 구하는 이분 매칭 알고리즘 문제입니다. 매칭 과정을 통해 생존 상어의 최소 개수를 도출하며, 비교 및 구현 과정에 그래프와 매칭 알고리즘의 이해가 필수적입니다.
Urwerk는 1997년 스위스 제네바에서 설립된 독립 시계 브랜드로, 위성 디스플레이와 미래지향적 디자인으로 유명하다. UR-Satellite·UR-Chronometry·UR-Special Projects·Historical Pieces 라인업과 대표 모델(UR-100V, EMC, UR-111C, UR-103 등)을 소개하고, 브랜드 철학과 기술·소재를 정리한다.