단일화

덤프버전 :

분류

파일:다른 뜻 아이콘.svg
은(는) 여기로 연결됩니다.
정치 용어에 대한 내용은 단일화(정치) 문서
단일화(정치)번 문단을
단일화(정치)# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
, {{{#!html }}}에 대한 내용은 문서
#s-번 문단을
#s-번 문단을
# 부분을
# 부분을
참고하십시오.




1. 사전적 의미
2. 정치 용어
3. IT 용어
4. 논리 용어
5. 유희왕


1. 사전적 의미[편집]


Unification,

여러 가지였던 것이 한 가지로 됨.

2. 정치 용어[편집]


파일:나무위키상세내용.png   자세한 내용은 단일화(정치) 문서를 참고하십시오.



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. 유희왕[편집]


파일:나무위키상세내용.png   자세한 내용은 단일화(유희왕) 문서를 참고하십시오.


파일:크리에이티브 커먼즈 라이선스__CC.png 이 문서의 내용 중 전체 또는 일부는 2023-11-21 16:38:15에 나무위키 단일화 문서에서 가져왔습니다.

[1] 1의 예시에서는 이해를 돕기위해 단순화 시켰기 때문에 그냥 방정식처럼 보이지만 실제로는 연립방정식의 해를 구하는 것이다.