• 제목/요약/키워드: Polynomial Time Algorithm

검색결과 331건 처리시간 0.034초

다항식 선택을 위한 효율적인 최적화 기법 (Efficient Optimization Method for Polynomial Selection)

  • 김수리;권희택;이용성;장남수;윤기순;김창한;박영호;홍석희
    • 정보보호학회논문지
    • /
    • 제26권3호
    • /
    • pp.631-643
    • /
    • 2016
  • 현재까지 알려진 가장 효율적인 인수분해 방법은 General Number Field Sieve (GNFS)를 이용하는 방법이다. CADO-NFS는 GNFS를 기반으로 구현된 공개된 소프트웨어로 RSA-704의 인수분해에 사용된 도구이다. CADO-NFS에서 다항식 선택은 크게 다항식을 생성하는 과정과 이를 최적화하는 과정으로 나누어져 있다. 그러나 CADO-NFS에서 다항식의 최적화 과정은 전체 다항식 선택 소요 시간 중 약 90%를 차지할 정도로 큰 부하를 주고 있다. 본 논문에서는 사전 연산 테이블을 이용하여 다항식 최적화 과정의 부하를 줄이는 방안을 제안한다. 제안하는 방법은 기존 CADO-NFS의 다항식과 같은 다항식을 선택하지만, 다항식 선택에 걸리는 시간은 약 40% 감소한다.

스도쿠 퍼즐을 위한 이진역추적 알고리즘 (Binary Backtracking Algorithm for Sudoku)

  • 이상운
    • 한국인터넷방송통신학회논문지
    • /
    • 제17권4호
    • /
    • pp.155-161
    • /
    • 2017
  • 본 논문은 지금까지 NP-완전 문제로 다항시간 알고리즘이 존재하지 않는 스도쿠 퍼즐 문제의 해를 다항시간으로 구하는 알고리즘을 제안하였다. 제안된 알고리즘은 빈칸들에 [$1,2,{\cdots},9$] 중에서 행, 열과 블록에 존재하는 실마리 숫자를 제외한 후보 집합을 초기치로 설정하였다. 빈칸의 후보 집합에 대해 Stuart이 제시한 기본적인 규칙들과 더불어 2개의 추가 규칙을 제시하고, 마지막으로 이진 역추적 기법(BBT)을 적용하였다. 다양한 부류의 해를 갖는 실험데이터들에 대해 적용한 결과 제안된 BBT 알고리즘은 어떠한 부류의 해를 갖던지에 상관없이 주어진 스도쿠 퍼즐을 풀 수 있음을 보였다.

A Fuzzy Model Based on the PNN Structure

  • Sang, Rok-Soo;Oh, Sung-Kwun;Ahn, Tae-Chon;Hur, Kul
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 1998년도 The Third Asian Fuzzy Systems Symposium
    • /
    • pp.83-86
    • /
    • 1998
  • In this paper, a fuzzy model based on the Polynomial Neural Network(PNN) structure is proposed to estimate the emission pattern for air pollutant in power plants. the new algorithm uses PNN algorithm based on Group Mehtod of Data Handling (GMDH) algorithm and fuzzy reasoning in order to identify the premise structure and parameter of fuzzy implications rules, and the least square method in order to identify the optimal consequence parameters. Both time series data for the gas furnace and data for the NOx emission process of gas turbine power plants are used for the purpose of evaluating the performance of the fuzzy model. The simulation results show that the proposed technique can produce the optimal fuzzy model with higher accuracy and feasibility than other works achieved previously.

  • PDF

ON [1, 2]-DOMINATION IN TREES

  • Chen, Xue-Gang;Sohn, Moo Young
    • 대한수학회논문집
    • /
    • 제33권2호
    • /
    • pp.631-638
    • /
    • 2018
  • Chellai et al. [3] gave an upper bound on the [1, 2]-domination number of tree and posed an open question "how to classify trees satisfying the sharp bound?". Yang and Wu [5] gave a partial solution for tree of order n with ${\ell}$-leaves such that every non-leaf vertex has degree at least 4. In this paper, we give a new upper bound on the [1, 2]-domination number of tree which extends the result of Yang and Wu. In addition, we design a polynomial time algorithm for solving the open question. By using this algorithm, we give a characterization on the [1, 2]-domination number for trees of order n with ${\ell}$ leaves satisfying $n-{\ell}$. Thereby, the open question posed by Chellai et al. is solved.

AN ESCAPE CRITERION FOR THE COMPLEX POLYNOMIAL, WITH APPLICATIONS TO THE DEGREE-n BIFURCATION SET

  • Kim, Young Ik
    • 충청수학회지
    • /
    • 제16권1호
    • /
    • pp.7-14
    • /
    • 2003
  • Let $P_c(z)=z^n+c$ be a complex polynomial with an integer $n{\geq}2$. We derive a criterion that the critical orbit of $P_c$ escapes to infinity and investigate its applications to the degree-n bifurcation set. The intersection of the degree-n bifurcation set with the real line as well as with a typical symmetric axis is explicitly written as a function of n. A well-defined escape-time algorithm is also included for the improved construction of the degree-n bifurcation set.

  • PDF

GLOBAL MINIMA OF LEAST SQUARES CROSS VALIDATION FOR A SYMMETRIC POLYNOMIAL KEREL WITH FINITE SUPPORT

  • Jung, Kang-Mo;Kim, Byung-Chun
    • Journal of applied mathematics & informatics
    • /
    • 제3권2호
    • /
    • pp.183-192
    • /
    • 1996
  • The least squares cross validated bandwidth is the mini-mizer of the corss validation function for choosing the smooth parame-ter of a kernel density estimator. It is a completely automatic method but it requires inordinate amounts of computational time. We present a convenient formula for calculation of the cross validation function when the kernel function is a symmetric polynomial with finite sup-port. Also we suggest an algorithm for finding global minima of the crass validation function.

Inapproximability of the Max-cut Problem with Negative Weights

  • Hong, Sung-Pil
    • Management Science and Financial Engineering
    • /
    • 제14권1호
    • /
    • pp.87-90
    • /
    • 2008
  • We show that when a max-cut problem is allowed native-weight edges, to decide if the problem has a cut of a positive weight is NP-hard. This implies that there is no polynomial time algorithm which guarantees a cut whose objective value is no less than $1/p(<I>)$ times the optimum for any polynomially computable polynomial p, where denotes the encoding length of an instance I.

Efficient Semi-systolic AB2 Multiplier over Finite Fields

  • Kim, Keewon
    • 한국컴퓨터정보학회논문지
    • /
    • 제25권1호
    • /
    • pp.37-43
    • /
    • 2020
  • 본 논문에서는 유한체상의 SPB(shifted polynomial basis)를 사용한 효율적인 AB2 곱셈 알고리즘을 제안한다. SPB의 특징을 이용하여, AB2 곱셈을 위한 수식을 두 부분으로 분할하였다. 분할된 두 수식은 동시에 실행가능하며, 이를 병렬로 처리하는 알고리즘을 도출하였다. 그리고 제안한 알고리즘을 기반으로 효율적인 세미-시스톨릭(semi-systolic) AB2 곱셈기를 제안한다. 제안한 곱셈기는 기존의 곱셈기에 비해 낮은 공간-시간 복잡도(area-time complexity)를 가진다. 기존의 구조들과 비교하면, 제안한 AB2 곱셈기는 공간-시간 복잡도면에서 Wei, Wang-Guo, Kim-Lee, 및 Choi-Lee의 곱셈기들의 약 94%, 87%, 86%, 및 83% 가량이 감소되었다. 따라서 제안한 곱셈기는 VLSI(very large scale integration) 구현에 적합하며 다양한 응용의 기초적인 구성 요소로 쉽게 적용할 수 있다.

매개변수 사전 오차 모델링 기법을 이용한 SAR 요동측정 알고리즘 (Motion Sensing Algorithm for SAR Image Using Pre-Parametric Error Modeling)

  • 박우정;박용곤종;이수정;박찬국;송종화;배창식
    • 한국항공우주학회지
    • /
    • 제47권8호
    • /
    • pp.566-573
    • /
    • 2019
  • 항공 SAR에서 고품질의 영상을 얻기 위해서는 영상 획득 구간에서 항공기의 요동을 정확히 측정하여야 한다. 특히 요동측정을 할 때 상대적 위치오차 및 불연속성 오차를 줄여야 한다. 이를 해결하기 위해 본 논문에서는 합성 개구 레이더(SAR)에서 실시간으로 요동측정을 하는 매개변수 사전 오차 모델링 방법(P-PEM, Pre-Parametric Error Modeling)을 제안한다. P-PEM은 기존에 본 연구진에서 제안한 항법오차를 다항식으로 모델링하여 추정하는 매개변수 오차 모델링 기법(PEM, Parametric Error Modeling)에서 확장된 기법이다. PEM은 IMU에 의한 INS 오차를 짧은 시간 동안 다항식이라 가정하여 모델링하는 요동측정기법이다. 반면, P-PEM은 다항식 오차 모델의 계수를 미리 추정하고 영상촬영단계에서 사용한다. 시뮬레이션 결과, P-PEM을 적용하면 실시간으로 불연속성 오차를 제거한 요동측정이 가능함을 확인하였다.

화공약품 탱크 적재 문제의 최소 여유량 탱크 적재 알고리즘 (Minimum Margin Tank Loading Algorithm for Chemical Tank Loading Problem)

  • 이상운
    • 한국컴퓨터정보학회논문지
    • /
    • 제20권2호
    • /
    • pp.131-136
    • /
    • 2015
  • 화공약품 탱크 적재 문제는 다항시간으로 해를 찾을 수 있는 알고리즘이 알려져 있지 않아 NP-완전으로 분류된 난제이다. 화공약품 탱크 적재 문제는 상자 포장 문제의 일종으로, Gu$\acute{e}$ret et al.은 $O(m^4)$ 수행 복잡도의 선형계획법으로 해를 얻고자 하였다. 반면에, 본 논문에서는 최소 여유량을 가진 탱크에 적재하는 규칙인 O(m) 복잡도의 알고리즘을 제안하였다. 제안된 방법은 첫 번째로 잔여량이 있는 탱크에 해당 화공약품을 적재하였다. 다음으로, 남은 화공약품을 적재할 수 있는 최소 여유량을 가진 탱크에 해당 화공약품을 적재하였다. 실험 결과, 제안된 알고리즘은 NP-완전 문제인 화공약품 적재 문제에 대해 선형계획법의 $O(m^4)$를 O(m)으로 단축시켰다.