• Bulletin of the Korean Mathematical Society
• /
• v.53 no.1
• /
• pp.139-151
• /
• 2016

A k-total-coloring of a graph G is a coloring of $V{\cup}E$ using k colors such that no two adjacent or incident elements receive the same color. The total chromatic number ${\chi}^{{\prime}{\prime}}(G)$ of G is the smallest integer k such that G has a k-total-coloring. Let G be a planar graph with maximum degree ${\Delta}$. In this paper, it's proved that if ${\Delta}{\geq}7$ and G does not contain adjacent 5-cycles, then the total chromatic number ${\chi}^{{\prime}{\prime}}(G)$ is ${\Delta}+1$.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.23 no.2
• /
• pp.83-101
• /
• 1998

Assembly U-lines are increasingly accepted in industry, especially just-in-time production systems, for the efficient utilization of workforce. In this paper, we present an integer programming formulation and a branch-and-bound method for balancing the U-line with the objective of minimizing the number of workstations with a fixed cycle time. In the mathematical model, we provide the method that can reduce the number of variables and constraints. The proposed branch-and-bound method searches the optimal solution based on a depth-first-search. To efficiently search for the optimal solutions to the problems, an assignment rule is used in the method. Bounding strategies and dominance rules are also utilized. Some problems require a large amount of computation time to find the optimal solutions. For this reason. some heuristic fathoming rules are also proposed. Extensive experiments with test-bed problems in the literature are carried out to show the performance of the proposed method. The computational results show that our method is promising in solution quality.

• Management Science and Financial Engineering
• /
• v.16 no.3
• /
• pp.71-84
• /
• 2010

In this study, we present the exact methods of transforming the continuous solutions into the discrete ones for two types of bit-loading problem, marginal adaptive (MA) and rate adaptive (RA) problem, in multicarrier communication systems. While the computational complexity of existing solution methods for discrete optimal solutions depends on the number of bits to be assigned (R), the proposed method determined by the number of subcarriers (N), making ours be more efficient in most cases where R is much larger than N. Furthermore our methods have some strength of their simpler form to make a practical use.

• Korean Management Science Review
• /
• v.12 no.1
• /
• pp.1-17
• /
• 1995

The success of cell manufacturing applications in FMS rests on the effective cell formation to maintain the independent relations both between machine cells and between part families. This paper presents an integrated method for concurrent formation of cells and families with no E.E (Exceptional Element) in FMS with alternative routings. To determine the maximum number of cell and family with no E.E, mathematical conditions and properties are derived. New concept of nonsimilarity is introduced for each machine and part based on machine-operation incidence matrix and part-operation incidence matrix. To concurrently form the cells and families, integer programming based mathematical models are developed. For the predetermined number of cell or family, model I is used to identify whether E.E exists or not. Model II forms cells and families considering only nonsimilarity. But model III can consider nonsimilarity and processing times. The proposed method is tested and proved by using numerical examples.

• Honam Mathematical Journal
• /
• v.39 no.2
• /
• pp.297-305
• /
• 2017

Let ${\alpha}$ > 0 be a real number and $(s_{\alpha}(n))_{n{\geq}1}$ be the lexicographically greatest Sturmian word of slope ${\alpha}$. We investigate Dirichlet series of the form ${\sum}^{\infty}_{n=1}s_{\alpha}(n)n^{-s}$. To do this, a generalization of Euler's totient function is required. For a real ${\alpha}$ > 0 and a positive integer n, an arithmetic function ${\varphi}{\alpha}(n)$ is defined to be the number of positive integers m for which gcd(m, n) = 1 and 0 < m/n < ${\alpha}$. Under a condition Re(s) > 1, this paper establishes an identity ${\sum}^{\infty}_{n=1}s_{\alpha}(n)n^{-S}=1+{\sum}^{\infty}_{n=1}{\varphi}_{\alpha}(n)({\zeta}(s)-{\zeta}(s,1+n^{-1}))n^{-s}$.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.7 no.3
• /
• pp.545-551
• /
• 2012

In this paper, we propose a new cryptosystem based on the IQC depended on the complexity of class number and intractibility of factoring integer, and introduce two algorithm which reduce encryption and decryption times. To recognize the security of the cryptosystem, we take a simple example to analyze the complexities of public key and secret key and then introduce the operating process of the cryptosystem.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.04a
• /
• pp.40-43
• /
• 2000

This paper is concerned with development of an efficient Ρ-median approach applicable to large cell formation(CF) problems. A two-phase methodology that seeks to minimize the number of exceptional elements is proposed. In phase I, two efficient Ρ-median formulations which contain fewer binary variables than existing Ρ-median formulations are constructed. These make it possible to implement large CF problem within reasonable computer runtime with commercially available linear integer programming codes. Given the initial cell configuration found with the new p-median formulations, in phase II bottleneck machines and parts are reassigned to reduce the number of exceptional elements. This procedure has the flexibility to provide the cell designer with alternative solutions. Test results on large CF problems show a substantial efficiency of the new Ρ-median formulations.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.25 no.4
• /
• pp.40-45
• /
• 2002

An AS/RS construction cost minimization model under throughput rate requirement constraint has been developed, whose objective function includes S/R machine cost, storage rack cost, and interrace conveyor cost. S/R machine cost is a function of the storage rack height, the unit load weight, and the control logic used by the system, while storage rack cost is a function of the storage rack height, the weight and the volume of the unit load. Since the model is a nonlinear integer programming problem which is very hard to solve exactly with large problem size, a solution procedure is developed to determine the height and the length of the storage rack with a fixed number of S/R machines, while increasing the number of S/R machines one by one to meet the throughput rate requirement.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.35 no.2
• /
• pp.173-180
• /
• 2012

이 논문에서는 작업의 처리시간이 임의의 확률분포를 따르고 작업의 납기일이 작업마다 별개인 상황에서의 단일 기계 스케줄링문제에 관하여 살펴본다. 이 때 충분히 이른 작업의 수를 최대화시키는 데에 관심을 둔다. 이러한 스케줄링문제를 풀기 위한 두 가지 알고리즘, 즉 이진정수계획모형과 스케줄링 규칙을 제안한다. 여기서 제안하는 스케줄링 규칙은 처리시간과 납기일이 확정적인 경우에 지연작업의 수를 최소화시켜주는 스케줄링을 제공하는 기존 알고리즘을 처리시간과 납기일이 확률적인 경우로 확장한 것이다. 다음으로 이진정수계획모형과 스케줄링규칙을 성과측면에서 비교한다. 그 결과 대부분의 경우에 스케줄링 규칙이 이진정수계획모형과 거의 같은 스케줄을 제공할 뿐만 아니라 컴퓨터자원을 매우 적게 소모한다.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.3
• /
• pp.623-647
• /
• 2020

The greatest integer that does not belong to a numerical semigroup S is called the Frobenius number of S. The Frobenius problem, which is also called the coin problem or the money changing problem, is a mathematical problem of finding the Frobenius number. In this paper, we introduce the Frobenius problem for two kinds of numerical semigroups generated by the Thabit numbers of the first kind, and the second kind base b, and by the Cunningham numbers. We provide detailed proofs for the Thabit numbers of the second kind base b and omit the proofs for the Thabit numbers of the first kind base b and Cunningham numbers.