• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.23 no.2
• /
• pp.185-191
• /
• 2023

To the exact cover problem that remains NP-complete to which no polynomial time algorithm is made available, this paper proposes a linear time algorithm that yields an optimal solution. The proposed algorithm makes use of the set cover problem's major feature which states that "no identical element shall be included in more than one covering set". To satisfy this criterion, the proposed algorithm initially selects a subset with the minimum cardinality and deletes those that contain the cardinality identical to that of the selected subset. This process is repeatedly performed on remaining subsets until the final solution is obtained. Provided that the solution is unattainable, it selects subsets with the maximum cardinality and repeats the same process. The proposed algorithm has not only obtained the optimal solution with ease but also proved its wide applicability on N-queens problems, hence disproving the NP-completeness of the exact cover problem.

• The Journal of Korean Academy of Prosthodontics
• /
• v.45 no.3
• /
• pp.321-328
• /
• 2007

Statement of problem. To work the economic limitation of dental implant usage, some types of domestic implant have been developing. But, there have been seldom reported about the clinical success rate of them as yet. Purpose. The aim of this retrospective multicenter study was to evaluate the performance of CSM implants(CSM company, Daegu, Korea). Material and methods. Thirty-five patients were rehabilitated with 150 CSM implants in this multicenter study. Results. The success rate was 96.2%. CSM Titanium fixtures can obtain slightly higher success rate when a cover screw was not used for implant installation than when used. However it doesn't show significant difference(p=.7615, Fisher's Exact test). Conclusion. This multicenter retrospective study demonstrated the efficacy of the CSM implant in the treatment of variety of clinical manifestation of tooth loss. And it can be assumed that whether a cover screw is used or not should no influence on the osseointegration.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.15 no.1
• /
• pp.207-215
• /
• 2015

This paper proposes a solution-yielding linear time algorithm to NP-complete Sudoku, to which no polynomial time algorithm has been proposed. The proposed algorithm is performed on blocks in the descending order of the number of clues they contain. It firstly determines all numbers that could possibly occur in the blank rows and columns of each block. By deriving an intersecting value of corresponding rows and columns, it assigns the final number for each blank. When tested on the traditional $9{\times}9$ Sudoku, the proposed algorithm has succeeded in obtaining the solution through performance of 9 times, the exact number of the blocks. Test results on modified Jigsaw Sudoku (9 blocks) and Hypersudoku (13 blocks) also show its success in deriving the solutions by execuring 9 and 13 times respectively. Accordingly, this paper proves that the Sudoku problem is in fact P-problem.

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.11 no.1
• /
• pp.70-81
• /
• 2019

An improved three dimensional Rankine source method is developed to solve numerically water wave problems in time domain. The free surface and body surface are both represented by continuous panels rather than a discretization by isolated points. The integral of Rankine source 1/r on free surface panel is calculated analytically instead of numerical approximation. Due to the exact algorithm of Rankine source integral applied on the free surface and body surface, a space increment free surface source distribution method is developed and much smaller amount of source panels are required to cover the fluid domain surface than other numerical approximation methods. The proposed method shows a higher accuracy and efficiency compared to other numerical methods for various water wave problems.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.22 no.2
• /
• pp.184-192
• /
• 1998

This paper deals with an extended analytical solution for the mixture solidification problem, in which temperature is inherently coupled with the solute transport due to the presence of volume contraction induced flow. A new exact solution to the energy equation accounting for the convection effect in the melt is successfully derived, which allows the present analysis to cover a high initial superheating. Difference in properties between the solid and liquid phases is rigorously incorporated into the model equations in the solid fraction weighted form. Taking advantage of linearized correction factors, a systematic and easy-to-implement algorithm for determining the solidus and liquidus positions is introduced, which proves not only to converge stably but also to be very efficient. For a specific case, the present results show excellent agreements with the existing solution. The effect of convection in the melt becomes appreciable with increasing the initial superheating. It is revealed that variable properties in the mushy region significantly affect the solidification behaviors. The present study is also capable of resolving the interaction between microsegregation and macrosegregation.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.32 no.2
• /
• pp.57-65
• /
• 2009

In continuous review inventory model, (${\varrho}$, ${\gamma}$) system, order quantity(${\varrho}$) and reorder point(${\gamma}$) should be determined to calculate inventory-related cost that consists of setup, holding, and penalty costs. The procedure to obtain the exact value of ${\varrho}$ and ${\gamma}$ is complex. In this paper, a regression analysis is proposed to get the approximate inventory-related cost without the determination of ${\varrho}$ and ${\gamma}$ in the case that the standard deviation(${\sigma}$) of the lead time demand is small or that the mean(${\mu}$) of the lead time demand is proportional to ${\sigma}$. To save inventory-related cost, central warehouses with (${\varrho}$, ${\gamma}$) system can be built. Central warehouse can provide some stores with products with the consideration of the tradeoff between inventory-related cost and transportation cost. The number and the location of central warehouses to cover all the stores are determined by a regression-based approach. The performance of the proposed approach is tested by using some computational experiments.