• Korean Journal of Mathematics
• /
• 제27권2호
• /
• pp.525-534
• /
• 2019

Let $P(G,{\lambda})$ denote the number of proper vertex colorings of G with ${\lambda}$ colors. The chromatic polynomial $P(C_n,{\lambda})$ for the cycle graph $C_n$ is well-known as $$P(C_n,{\lambda})=({\lambda}-1)^n+(-1)^n({\lambda}-1)$$ for all positive integers $n{\geq}1$. Also its inductive proof is widely well-known by the deletion-contraction recurrence. In this paper, we give this inductive proof again and three other proofs of this formula of the chromatic polynomial for the cycle graph $C_n$.

• Korean Journal of Mathematics
• /
• 제16권3호
• /
• pp.425-437
• /
• 2008

Let P be a poset and G = G(P) be the incomparability graph of P. Stanley [7] defined the chromatic symmetric function $X_{G(P)}$ which generalizes the chromatic polynomial ${\chi}_G$ of G, and showed all coefficients are nonnegative in the e-expansion of $X_{G(P)}$ for a poset P of rank 1. In this paper, we construct a sign reversing involution on the set of special rim hook P-tableaux with some conditions. It gives a combinatorial proof for (3+1)-free conjecture of a poset P of rank 1.

• 한국수학사학회지
• /
• 제15권1호
• /
• pp.147-168
• /
• 2002

In this paper, we introduce the arrangement of hyperplanes and the graph theory. In particular, we explain how to study the 4-color problem by using characteristic polynomials of the arrangement of hyperplanes. The 4-color problem was appeared in 1852 at first and Appel and Haken proved it by using computer in 1976. The arrangement of hyperplanes induced from a graph is called a graphic arrangement. Graphic arrangement is a subarrangement of Braid arrangement. Thus the chromatic function of a graph is equal to the characteristic polynomial of a graphic arrangement. If we use this result, we can apply the theory of the arrangement of hyperplanes to the study for the chromatic functions.

• 한국컴퓨터정보학회논문지
• /
• 제19권5호
• /
• pp.19-25
• /
• 2014

본 논문은 평면상의 거리가 1인 인접 정점들에 대해 서로 다른 색을 칠할 경우 최대로 필요한 색인 채색수를 찾는 문제를 연구하였다. 지금까지 채색수 상한 값은 $4{\leq}{\chi}(G){\leq}7$로 알려져 있으며, Hadwiger-Nelson은 ${\chi}(G){\leq}7$, Soifer는 ${\chi}(G){\leq}9$를 제안하였다. 먼저, 최소로 필요로 하는 채색수를 구하는 알고리즘을 제안하고, Hadwiger-Nelson의 정육각형 그래프를 대상으로 채색수를 구한 결과 ${\chi}(G)=3$이 될 수 있음을 보였다. Hadwiger-Nelson의 정육각형 그래프를 12개 인접 정점으로 가정할 경우 ${\chi}(G)=4$를 구하였다. 또한, Soifer의 8개 인접 정점 정사각형 그래프에 대해 채색수를 구한 결과 ${\chi}(G)=4$임을 보였다. 결국, 제안된 알고리즘은 최소 차수 정점부터 색을 배정하는 단순한 다항시간 규칙을 적용하여 평면의 최대 채색수는 ${\chi}(G)=4$임을 제안한다.

• Journal of applied mathematics & informatics
• /
• 제25권1_2호
• /
• pp.155-167
• /
• 2007

A graph G is called to be a 2-degree integral subgraph of a q-tree if it is obtained by deleting an edge e from an integral subgraph that is contained in exactly q - 1 triangles. An added-vertex q-tree G with n vertices is obtained by taking two vertices u, v (u, v are not adjacent) in a q-trees T with n - 1 vertices such that their intersection of neighborhoods of u, v forms a complete graph $K_{q}$, and adding a new vertex x, new edges xu, xv, $xv_{1},\;xv_{2},\;{\cdots},\;xv_{q-4}$, where $\{v_{1},\;v_{2},\;{\cdots},\;v_{q-4}\}\;{\subseteq}\;K_{q}$. In this paper we prove that a graph G with minimum degree not equal to q - 3 and chromatic polynomial $$P(G;{\lambda})\;=\;{\lambda}({\lambda}-1)\;{\cdots}\;({\lambda}-q+2)({\lambda}-q+1)^{3}({\lambda}-q)^{n-q-2}$$ with $n\;{\geq}\;q+2$ has and only has 2-degree integral subgraph of q-tree with n vertices and added-vertex q-tree with n vertices.

• 한국컴퓨터정보학회논문지
• /
• 제20권4호
• /
• pp.111-117
• /
• 2015

시험 일정 계획 수립 문제는 정확한 해를 다항시간으로 구하는 알고리즘이 알려져 있지 않은 NP-완전이다. 이 문제에 대해, Gu${\acute{e}}$ret et al.은 $O(m^4)$ 수행 복잡도의 선형계획법으로 해를 얻고자 하였다. 반면에, 본 논문에서는 O(m) 복잡도의 채색 수 알고리즘을 제안하였다. 제안된 방법은 원 데이터를 교과목에 대한 부적합성 행렬과 그래프로 변환시켰다. 다음으로, 부적합성 제약조건을 충족하면서 최소의 시간으로 시험을 치루기 위해, 최소 차수 정점(교과목)부터 인접하지 않은 정점들을 $C_i$ 색으로 배정하여 $B_i$ 상자에 채웠다. 실험 결과, 제안된 알고리즘은 시험 일정 계획 수립 문제에 대해 선형계획법의 $O(m^4)$를 O(m)으로 단축시키면서도 동일한 해를 얻었다.

• 대한산업공학회지
• /
• 제18권2호
• /
• pp.43-49
• /
• 1992

Edge coloring problem is to find a minimum cardinality coloring of the edges of a graph so that any pair of edges incident to a common node do not have the same colors. Edge coloring problem is NP-hard, hence it is unlikely that there exists a polynomial time algorithm. We formulate the problem as a covering of the edges by matchings and find valid inequalities for the convex hull of feasible solutions. We show that adding the valid inequalities to the linear programming relaxation is enough to determine the minimum coloring number(chromatic index). We also propose a method to use the valid inequalities as cutting planes and do the branch and bound search implicitly. An example is given to show how the method works.

• 한국컴퓨터정보학회논문지
• /
• 제16권7호
• /
• pp.85-93
• /
• 2011

본 논문은 지금까지 NP-완전인 난제로 알려진 정점 색칠 문제를 선형시간 복잡도로 해결한 알고리즘을 제안하였다. 제안된 알고리즘은 그래프 G=(V,E)의 최소 채색수 ${\chi}(G)$=k를 결정하기 위해 사전에 k값을 알지 못한다는 가정에 기반하고 있다. 단지 주어진 그래프를 독립집합 $\overline{C}$와 정점 피복 집합 C로 정확히 양분하여 $\overline{C}$에 색을 배정하는 방법을 적용하였다. 독립집합 $\overline{C}$의 원소는 ${\delta}(G)$인 정점 ${\upsilon}$가, C의 원소는 정점 ${\upsilon}$의 인접 정점들 u가배정된다. 축소된 그래프 C는 다시 $\overline{C}$와 C로 양분되며, 이 과정을 C의 간선이 없을 때까지 수행한다. 26개의 다양한 그래프를 대상으로 제안된 알고리즘을 적용한 결과 정점 ${\upsilon}$를 선택하는 횟수는 정점의 수 n보다 작은 값을 나타내었으며, ${\chi}(G)$=k를 찾는데 성공하였다.

• 한국컴퓨터정보학회논문지
• /
• 제18권11호
• /
• pp.159-165
• /
• 2013

본 논문은 NP-완전 문제인 간선 색칠과 그래프 부류 결정 문제를 동시에 해결하는 O(E)의 다항시간 알고리즘을 제안하였다. 제안된 알고리즘은 최대차수-최소차수 정점 쌍 간선을 단순히 선택하는 방법으로 간선 채색수 ${\chi}^{\prime}(G)$를 결정하였다. 결정된 ${\chi}^{\prime}(G)$는 ${\Delta}(G)$ 또는 ${\Delta}(G)+1$을 얻는다. 결국, 알고리즘 수행 결과 얻은 ${\chi}^{\prime}(G)$로부터 ${\chi}^{\prime}(G)={\Delta}(G)$이면 부류 1, ${\chi}^{\prime}(G)={\Delta}(G)+1$이면 부류 2로 분류할 수 있다. 또한, 미해결 문제로 알려진 "최대차수가 6인 단순, 평면 그래프는 부류 1이다."라는 Vizing의 평면 그래프 추정도 증명하였다.

• 천문학회보
• /
• 제40권2호
• /
• pp.40.1-40.1
• /
• 2015

Off-axis reflective optical systems have attractive advantages relative to their on-axis or refractive counterparts, for example, zero chromatic aberration, no obstruction, and a wide field of view. For the efficient operation of off-axis reflective system, the surface accuracy of freeform mirrors should be higher than the order of wavelengths at which the reflective optical systems operate. Especially for applications in shorter wavelength regions, such as visible and ultraviolet, higher surface accuracy of freeform mirrors is required to minimize the light scattering. In this work, we propose the error compensation algorithm (ECA) for the correction of wavefront errors on freeform mirrors. The ECA converts a form error pattern into polynomial expression by fitting a least square method. The error pattern is measured by using an ultra-high accurate 3-D profilometer (UA3P, Panasonic Corp.). The measured data are fitted by two fitting models: Sag (Delta Z) data model and form (Z) data model. To evaluate fitting accuracy of these models, we compared the fitted error patterns with the measured error pattern.