• 제목/요약/키워드: exact cover problem

검색결과 6건 처리시간 0.018초

완전 피복 문제의 원소 수 기반 알고리즘 (Algorithm Based on Cardinality Number of Exact Cover Problem)

  • 이상운
    • 한국인터넷방송통신학회논문지
    • /
    • 제23권2호
    • /
    • pp.185-191
    • /
    • 2023
  • 본 논문은 지금까지 NP-완전 문제로 다항시간 알고리즘이 존재하지 않는 완전피복 문제에 대해 선형시간으로 해를 구할 수 있는 알고리즘을 제안하였다. 제안된 알고리즘은 "행과 열에는 동일한 값이 존재하면 안된다"는 완전피복문제의 특징을 이용하였다. 이를 위해 먼저 최소 원소 개수를 가진 부분집합을 선택하고 선택된 부분집합의 원소를 가진 부분집합을 삭제하였다. 남은 부분집합들을 대상으로 반복적으로 수행하면 해를 구한다. 만약, 해를 구하지 못하면 최대 원소 개수를 가진 부분집합을 선택하여 동일한 과정을 수행하였다. 제안된 알고리즘은 일반적인 완전피복 문제의 해를 쉽게 구하였다. 추가로, 완전피복 문제를 보다 일반화한 N-퀸 문제를 대상으로 제안된 알고리즘을 적용할 수 있음을 보였다. 결국, 제안된 완전피복 알고리즘은 완전피복 문제에 대해 P-문제임을 증명하였다.

RETROSPECTIVE MULTICENTER STUDY OF CSM ENDOSSEOUS DENTAL IMPLANT

  • Park, Eun-Young
    • 대한치과보철학회지
    • /
    • 제45권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.

스도쿠 알고리즘 (Sudoku Algorithm)

  • 이상운
    • 한국인터넷방송통신학회논문지
    • /
    • 제15권1호
    • /
    • pp.207-215
    • /
    • 2015
  • 본 논문은 지금까지 NP-완전 문제로 다항시간 알고리즘이 존재하지 않는 스도쿠 문제의 해를 다항시간으로 구하는 알고리즘을 제안하였다. 제안된 알고리즘은 숫자가 많이 들어 있는 블록 내림차순으로 수행한다. 각 블록에서 빈칸들을 대상으로 행에 들어 갈 수 있는 숫자와 열에 들어갈 수 있는 숫자를 결정한다. 행과 열의 교집합을 구하면 해당 빈칸에 들어갈 수 있는 숫자가 결정된다. 이들 숫자를 대상으로 각 빈칸에 들어 갈 수 있는 숫자를 배정하는 방법을 적용하였다. 제안된 알고리즘은 전통적인 $9{\times}9$ 스도쿠에 적용 결과 블록의 개수인 9회만을 수행하여 해를 구하는데 성공하였다. 또한, 변형 스도쿠인 Jigsaw 스도쿠 (9개 블록)와 Hypersudoku (13개 블록)에 적용 결과 Jigsaw 스도쿠는 9회, Hypersudoku는 13회 수행으로 해를 구하는데 성공하였다. 결국, 제안된 알고리즘은 스도쿠 문제가 P-문제임을 증명하였다.

An improved Rankine source panel method for three dimensional water wave problems

  • Feng, Aichun;You, Yunxiang;Cai, Huayang
    • International Journal of Naval Architecture and Ocean Engineering
    • /
    • 제11권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.

혼합물의 응고문제에 대한 확장된 해석해 (An extended analytical solution for the mixture solidification problem)

  • 정재동;유호선;이준식
    • 대한기계학회논문집B
    • /
    • 제22권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.

중앙창고 입지선정을 위한 회귀분석기반 해법 (A Regression-Based Approach for Central Warehouse Location Problem)

  • 유재욱;이동주
    • 산업경영시스템학회지
    • /
    • 제32권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.