[논문 리뷰] Mathematical Interpretation between Genotype and Phenotype Spaces and Induced Geometric Crossovers

Yourim Yoon, Yong-Hyuk Kim외 2명|ArXiv.org|2009. 07. 18.

Genome Rearrangement Algorithms참고 문헌 33인용 수 3

한 줄 요약

이 논문은 유전적 알고리즘의 성능을 햖थ기 위해 몽환 공간 이론을 활용하여 형질-유전자 맵핑을 수학적으로 엄밀하게 다루는 몽환 기하 교차법을 제안한다. 형질 공간을 유전자 공간의 몽환 거리 공간으로 정의함으로써 기하적 교차를 가능하게 하여 검색 공간을 축소하고 중복을 제거함으로써 다양한 문제, 예를 들어 그래프, 대칭 함수, 원형 순열, 가변 길이 시퀀스 등에서 검색 효율성과 효과성을 향상시킨다.

ABSTRACT

In this paper, we present that genotype-phenotype mapping can be theoretically interpreted using the concept of quotient space in mathematics. Quotient space can be considered as mathematically-defined phenotype space in the evolutionary computation theory. The quotient geometric crossover has the effect of reducing the search space actually searched by geometric crossover, and it introduces problem knowledge in the search by using a distance better tailored to the specific solution interpretation. Quotient geometric crossovers are directly applied to the genotype space but they have the effect of the crossovers performed on phenotype space. We give many example applications of the quotient geometric crossover.

연구 동기 및 목표

• 진화 계산에서의 형질-유전자 맵핑을 몽환 공간의 수학적 개념과 공식적으로 연결하기 위해.
• 유전자 공간에서 유도된 몽환 구조를 통해 형질 공간에서 작동하는 기하 교차의 이론을 개발하기 위해.
• 형질의 구조에 맞는 거리 기반 교차를 통해 형질 표현의 검색 공간을 축소하고 중복을 제거하기 위해.
• 기존의 교차 기법들 — 예를 들어 정규화, 동형 교차, 군 기반 교차 — 을 하나의 기하 프레임워크 아래 통합하고 일반화하기 위해.
• 그래프, 순열, 가변 길이 시퀀스 등 다양한 문제 영역에서 몽환 기하 교차의 실용적이고 이론적인 이점을 입증하기 위해.

제안 방법

• 유전자 공간과 형질 공간을 거리 공간으로 정의하고, 형질 공간을 유전자 공간에 대한 동치 관계에 대한 몽환 공간으로 간주한다.
• 유전자 공간의 거리를 올려 형질 공간에 몽환 거리를 구성함으로써, 이 거리가 진짜 해결책의 구조를 반영하도록 보장한다.
• 몽환 거리를 사용하여 유전자 공간에서 기하 교차를 적용함으로써, 형질 공간에서 직접 수행된 것처럼 행동하는 교차 연산을 유도한다.
• 해결책 표현의 대칭성을 모델링하기 위해 군 작용을 사용하여 동치 관계를 정의한다 (예: 그래프에서의 노드 재라벨링, 원형 순열에서의 회전).
• 특정 문제들에 대해 몽환 기하 교차를 적용한다: 군집화, 그래프, 대칭 함수, 원형 순열, 가변 길이 시퀀스.
• 시퀀스 문제의 경우, 늘어난 시퀀스를 유전자로 모델링하고 정렬된 시퀀스를 몽환 대표로 간주함으로써 동형 교차를 몽환 기하 교차로 재해석한다.

실험 결과

연구 질문

• RQ1 진화 계산에서의 형질-유전자 맵핑은 어떻게 몽환 공간 이론을 공식적으로 해석할 수 있는가?
• RQ2 유전자 공간에서의 기하 교차와 그가 형질 공간에 유도하는 효과 사이의 수학적 관계는 무엇인가?
• RQ3 몽환 기하 교차는 형질 표현의 검색 공간을 어떻게 축소하고 중복을 제거하는가?
• RQ4 몽환 기하 교차는 어떻게 기존의 교차 기법들 — 예를 들어 정규화, 동형 교차 — 를 일반화하고 통합하는가?
• RQ5 몽환 거리의 사용은 대칭적이거나 중복적인 표현을 가진 문제에서 기하 교차의 효과성을 어떻게 향상시키는가?

주요 결과

• 형질-유전자 맵핑은 동치 관계에 대한 유전자 공간의 몽환 집합으로 공식적으로 해석될 수 있다.
• 몽환 기하 교차는 동일한 그래프에 대한 서로 다른 인접 행렬과 같은 중복 표현을 걸러내어 효과적인 검색 공간을 줄인다.
• 대칭 함수와 원형 순열의 경우, 군 작용에 따라 해를 정렬함으로써 회전 또는 반사 편향을 제거한다.
• 가변 길이 시퀀스의 동형 교차는 늘어난 시퀀스를 유전자로 사용할 경우 수학적으로 몽환 기하 교차와 동치이다.
• 형질 공간에 정의된 몽환 거리는 기하 교차가 해결책 공간의 진짜 구조적 특성을 반영하도록 보장하여 더 효과적인 검색을 이끈다.
• 이 프레임워크는 이전의 방법들 — 정규화, 군 기반 교차 — 를 재해석하고 일반화하여 표현 인식형 교차 연산자에 대한 통합된 이론적 기반을 제공한다.