[논문 리뷰] On the anti-forcing number of fullerene graphs

Qin Yang, Heping Zhang외 1명|arXiv (Cornell University)|2015. 03. 06.

Graph theory and applications참고 문헌 15인용 수 25

한 줄 요약

이 논문은 모든 풀러렌 그래프의 반강제 수가 최소 네임을 증명하며, 모든 짝수 n ≥ 20에 대해 (n = 22 및 n = 26 제외) 반강제 수가 네인 풀러렌이 존재함을 보이고, 거리 배열의 방향 그래프와 네 가지 특정 연산을 사용하여 이러한 모든 풀러렌을 체계적으로 생성하는 방법을 제시한다. 주요 기여는 반강제 수가 최소인 네인 풀러렌을 완전히 특성화한 데 있다.

ABSTRACT

The anti-forcing number of a connected graph $G$ is the smallest number of edges such that the remaining graph obtained by deleting these edges has a unique perfect matching. In this paper, we show that the anti-forcing number of every fullerene has at least four. We give a procedure to construct all fullerenes whose anti-forcing numbers achieve the lower bound four. Furthermore, we show that, for every even $n\geq20$ ($n eq22,26$), there exists a fullerene with $n$ vertices that has the anti-forcing number four, and the fullerene with 26 vertices has the anti-forcing number five.

연구 동기 및 목표

• 풀러렌 그래프의 최소 가능한 반강제 수를 결정하는 것.
• 반강제 수의 하한인 네를 달성하는 모든 풀러렌을 특성화하는 것.
• 모든 짝수 n ≥ 20(n ≠ 22, 26)에 대해 반강제 수가 네인 풀러렌을 적어도 하나 구성하는 것.
• 유일한 26정점 풀러렌의 반강제 수를 결정하여 다섯임을 보이는 것.

제안 방법

• 반강제 수를 제거한 간선의 최소 수가 유일한 완전 매칭을 유도하는 것으로 정의한다.
• 반강제 수가 네인 풀러렌의 생성 과정을 모델링하기 위해 거리 배열의 방향 그래프 D를 사용한다.
• 초기 그래프를 유지하면서 반강제 수와 정점 수를 보존하는 네 가지 연산(O1–O4)을 도입한다.
• 반강제 수가 네인 풀러렌에 해당하는 공백 거리 배열로 향하는 방향 그래프 D 내의 방향 보행을 구성한다.
• 유도를 사용하여 결과 그래프 F − E₀가 유일한 완전 매칭을 가짐을 증명함으로써 반강제 수가 정확히 네임을 보장한다.
• 사이클릭 5간선커트의 구조와 풀러렌의 2확장 가능성 구조를 이용하여 구성 및 연결성 특성을 검증한다.

실험 결과

연구 질문

• RQ1 어느 풀러렌 그래프에 대해서도 반강제 수의 최소 가능한 값은 무엇인가?
• RQ2 짝수 n ≥ 20에 대해 반강제 수가 네인 풀러렌이 존재하는 n는 무엇인가?
• RQ3 반강제 수가 네인 모든 풀러렌을 유한한 초기 그래프 집합에서 체계적으로 생성할 수 있는가?
• RQ4 유일한 26정점 풀러렌의 반강제 수는 무엇인가?

주요 결과

• 모든 풀러렌 그래프의 반강제 수는 최소 네임이다.
• 반강제 수가 네인 모든 풀러렌은 거리배열 그래프 내의 방향 보행을 따라 네 가지 정의된 연산을 통해 여섯 개의 초기 시드 그래프에서 생성될 수 있다.
• 모든 짝수 n ≥ 20에 대해 n ≠ 22 및 n ≠ 26일 때, n개의 정점을 가지며 반강제 수가 네인 풀러렌이 적어도 하나 존재한다.
• 유일한 26정점 풀러렌은 반강제 수가 다섯이며, 크기가 다섯인 명시적 반강제 집합을 구성함으로써 확인되었다.
• 구성 방법은 결과 그래프 F − E₀가 유일한 완전 매칭을 가짐을 보장하여 반강제 수가 정확히 네임을 증명한다.
• 거리 배열 그래프 D 내의 방향 보행은 반강제 수를 유지하며 초기 그래프에서 최종 그래프로의 풀러렌 구조의 성장을 정확히 추적한다.