單一化 / Unification
1. 사전적 의미
여러 가지였던 것이 한 가지로 됨.2. 정치 용어
3. IT 용어
두 개의 그래프 G(2가지 집합을 E라 한다) 및 G* (2가지 집합을 E*라 한다)에 대하여 가지 집합 E와 E* 사이에 1:1 대응이 존재하고, 이 대응 상태에서 G의 폐로와 G*의 컷셋(cutset)이 1:1로 대응할 때 G와 G*를 서로 다른 것을 말한다.4. 논리 용어
1차 논리에서의 변수는 초변수(meta variable)로 생각할 수 있는데 이 초변수의 연립방정식을 푸는 것을 단일화라고 하고 그 해를 단일화 기호(unifier)라고 부른다. 예를 들어 [math( f(X) = f(f(Z)) )]라는 단일화 문제(Unification problem)가 있다면 이 둘이 같아지도록 초변수 [math(X\text{ 와 } Z)]를 설정해야 할 것이다. 그렇다면 [math(X=f(c), Z=c)]인 상황을 생각해 볼 수 있다. 그런데 이외에도 [math(X=f(f(c)), Z=f(c))]인 경우에도 이 연립방정식[1]의 해가 될 수 있다. 따라서 이렇게 많은 해 중에서 의미있는 것을 구별해내기 위해 most general unifier라는 개념을 도입하였다. most general unifier는 어떤 단일화 문제의 모든 답들의 근간이 될 수 있는 답을 말한다. 예를 들어 아까의 예시의 경우 most general unifier는 [math(X=f(Y),Z=Y)]다. 그러면 초변수 [math(Y)]에 들어가는 값에 따라 전부 답이 될 수 있는 가장 기초적인 답이라고 할 수 있다.5. 유희왕
[1] 1의 예시에서는 이해를 돕기위해 단순화 시켰기 때문에 그냥 방정식처럼 보이지만 실제로는 연립방정식의 해를 구하는 것이다.