• 정보보호학회지
• /
• 제9권4호
• /
• pp.81-87
• /
• 1999

Density'(밀도)가 비교적 높은 Chor-Rivest 암호체계는 기존의 LLL과 같은 유형의 공격법이 아니라 비밀키를 일부 찾아내므로 써 공격이 가능하고 '98 Crypto에 처음 발표되 고 '99 Crypto에 그의 공격법과 안전성이 논의된 hidden subset sum problem은 기존의 knapsack 유형의 암호체계와 마찬가지로 밀도가 높을 때 안전하고 밀도가 낮으면 공격이 가능하다 따라서 두 암호체계의 접목을 통하여 안전한 암호체계가 가능한지를 살펴보는 것 도 의미가 있을 것이다, 결론적으로 이야기하면 두암호체계의 접목은 여러 가지 문제점을 포함하고 있기 때문에 어려우리라 생각된다. 제1장에서의 hidden subset sum problem을 살 펴보고 제2장에서는 Chor-Rivest 암호체계를 분석해보고 제 3장에서 Chor-Rivest 암호체계 의 변경 가능한 요소들을 살펴보고 제4장에서 Chor-Rivest 암호체계에 hidden subset sum problem의 활용이 가능한지를 살펴보도록한다. knapsack 유형의 암호체계들중 비교적 최근 까지 안전하다고 하는 암호체계들을 살펴봄으로써 이런 유형들의 개발여부를 생각해 볼수 있는 기회가 되리라 기대된다.

• 예술인문사회 융합 멀티미디어 논문지
• /
• 제8권4호
• /
• pp.259-267
• /
• 2018

부분집합 합 문제는 유한개의 정수로 이루어진 집합이 있을 때 이 집합의 부분집합 중에서 그 집합의 원소들의 합이 특정 값이 되는 경우가 있는지를 알아내는 문제로, 잘 알려진 다항식 시간 내에 풀기 어려운 NP-완비 문제이다. 유전 알고리즘은 선택과 교차, 돌연변이 등의 연산을 통해 주어진 문제의 최적해를 구하는 알고리즘이다. 동적 계획법은 주어진 문제를 풀기 위해서 문제를 하나 또는 여러 개의 하위 문제로 나누어 풀이하는 방법이다. 본 논문에서는 부분집합 합 문제를 풀이하는 유전 알고리즘을 설계 및 구현하고, 답을 찾는 데까지 걸리는 시간 성능을 동적 계획법의 경우와 실험적으로 비교하였다. 양의 정수인 원소 63 개를 가진 집합에서 '쉬움'과 '어려움'의 난이도를 고려하여 총 17 개의 문제를 선정하고, 이 문제들을 풀이하는 두 알고리즘의 성능을 비교하는 실험을 진행하였다. 17 개의 문제 중 13 개의 문제에서 본 논문에서 제시한 유전 알고리즘은 동적 계획법과 비교하여 약 84%가 우수한 시간 성능을 보였다.

• 대한수학회보
• /
• 제59권6호
• /
• pp.1339-1348
• /
• 2022

Let A = {a₁ < a₂ < ⋯} be a sequence of integers and let P(A) = {Σε_ia_i : a_i ∈ A, ε_i = 0 or 1, Σε_i < ∞}. Burr posed the following question: Determine conditions on integers sequence B that imply either the existence or the non-existence of A for which P(A) is the set of all non-negative integers not in B. In this paper, we focus on some problems of subset sum related to Burr's question.

• 한국인터넷방송통신학회논문지
• /
• 제22권2호
• /
• pp.9-14
• /
• 2022

본 논문은 부분집합 합 문제의 해를 수행 복잡도 O(nlogn)으로 얻는 알고리즘을 제안하였다. SSP는 집합 S의 원소가 초증가수열과 랜덤수열로 구성된 경우로 구분된다. 초증가수열 SSP의 해를 구하는 알고리즘은 수행 복잡도 O(nlogn)의 가산 알고리즘 (Additive Algorithm)이 제안되었다. 그러나 랜덤수열 SSP의 해를 구하는 알고리즘은 2ⁿ-1의 가능한 모든 경우수를 확인하는 Brute-Force 방법으로 수행 복잡도는 O(n2ⁿ)만이 알려져 있다. 결국, SSP는 NP-완전 (NP-Complete) 문제로 알려져 있다. 본 논문은 초증가수열과 랜덤수열 SSP에 대해 수행 복잡도 O(nlogn)으로 해를 구하는 감산 알고리즘 을 제안하였다. 기존 개념은 목표 값 t보다 작은 값으로 구성된 부분집합 S에 대해 부분집합의 합에서 목표값을 뺀 값을 잉여량 (Residual, r)으로 하여 잉여량 보다 작은 값들 중 최대 값을 S에서 제거하는 방법을 적용하였다. 제안된 알고리즘을 다양한 초증가수열과 랜덤수열 SSP에 적용한 결과 S의 원소 개수보다 적은 수행 횟수로 해를 빠르게 얻는데 성공하였다. 결국, 제안된 알고리즘은 SSP의 해를 얻는 일반적인 알고리즘으로 적용할 수 있을 것이다.

• 한국콘텐츠학회논문지
• /
• 제13권12호
• /
• pp.680-689
• /
• 2013

최근 즐거움과 학습 효과를 동시에 제공하는 교육용 기능성 게임이 많은 주목을 받고 있다. 그러나 대부분의 교육용 게임들을 유아나 아동들을 대상으로 하고 있고, 고등 교육에서 이러한 게임을 활용하는 것은 여전히 어려운 실정이다. 반면, 본 논문은 대학생들에게 수리계획법을 가르치는데 활용할 수 있는 교육용 게임을 개발하고자 한다. 잘 알려져 있듯이, 대부분의 퍼즐 게임들은 연관된 최적화 문제로의 변형이 가능하며, 본 논문에서는 부분집합총합문제 기반 교육용 퍼즐 게임을 제안한다. 이 게임은 사용자가 퍼즐을 플레이하거나 이를 풀기 위한 수리계획모형을 작성할 수 있게 도와준다. 나아가, 사용자들은 모형 작성을 위한 적절한 안내를 제공받으며, 작성된 모형은 자동 생성된 데이터들에 의해 평가된다. 본 논문의 교육용 게임은 산업공학이나 경영과학 분야 대학생들에게 기본적인 수리계획모형을 가르치는데 특히 도움이 될 것으로 기대된다.

• 대한수학회지
• /
• 제55권6호
• /
• pp.1337-1358
• /
• 2018

In this paper, we study the solvability of the nonlinear Dirichlet problem with sum of the operators of independent non standard growths $$-div\({\mid}{\nabla}u{\mid}^{p_1(x)-2}{\nabla}u\)-\sum\limits^n_{i=1}D_i\({\mid}u{\mid}^{p_0(x)-2}D_iu\)+c(x,u)=h(x),\;{\in}{\Omega}$$ in a bounded domain ${\Omega}{\subset}{\mathbb{R}}^n$. Here, one of the operators in the sum is monotone and the other is weakly compact. We obtain sufficient conditions and show the existence of weak solutions of the considered problem by using monotonicity and compactness methods together.

• Kyungpook Mathematical Journal
• /
• 제45권2호
• /
• pp.293-299
• /
• 2005

Let ${\cal{L}}$ be a commutative subspace lattice on a Hilbert space ${\cal{H}}$ and X and Y be operators on ${\cal{H}}$. Let $${\cal{M}}_X=\{{\sum}{\limits_{i=1}^n}E_{i}Xf_{i}:n{\in}{\mathbb{N}},f_{i}{\in}{\cal{H}}\;and\;E_{i}{\in}{\cal{L}}\}$$ and $${\cal{M}}_Y=\{{\sum}{\limits_{i=1}^n}E_{i}Yf_{i}:n{\in}{\mathbb{N}},f_{i}{\in}{\cal{H}}\;and\;E_{i}{\in}{\cal{L}}\}.$$ Then the following are equivalent. (i) There is an operator A in $Alg{\cal{L}}$ such that AX = Y, Ag = 0 for all g in ${\overline{{\cal{M}}_X}}^{\bot},A^*A=AA^*$ and every E in ${\cal{L}}$ reduces A. (ii) ${\sup}\;\{K(E, f)\;:\;n\;{\in}\;{\mathbb{N}},f_i\;{\in}\;{\cal{H}}\;and\;E_i\;{\in}\;{\cal{L}}\}\;<\;\infty,\;{\overline{{\cal{M}}_Y}}\;{\subset}\;{\overline{{\cal{M}}_X}}$and there is an operator T acting on ${\cal{H}}$ such that ${\langle}EX\;f,Tg{\rangle}={\langle}EY\;f,Xg{\rangle}$ and ${\langle}ET\;f,Tg{\rangle}={\langle}EY\;f,Yg{\rangle}$ for all f, g in ${\cal{H}}$ and E in ${\cal{L}}$, where $K(E,\;f)\;=\;{\parallel}{\sum{\array}{n\\i=1}}\;E_{i}Y\;f_{i}{\parallel}/{\parallel}{\sum{\array}{n\\i=1}}\;E_{i}Xf_{i}{\parallel}$.

• 한국경영과학회지
• /
• 제25권3호
• /
• pp.1-15
• /
• 2000

In this paper, we propose a practical cut generation method based on the Chvatal-Gomory procedure for the (0, 1)-Knapsack problem with a variable capacity. For a given set N of n items each of which has a positive integral weight and a facility of positive integral capacity, a feasible solution of the problem is defined as a subset S of N along with the number of facilities that can satisfy the sum of weights of all the items in S. We first derive a class of valid inequalities for the problem using Chvatal-Gomory procedure, then analyze the associated separation problem. Based on the results, we develop an affective cut generation method. We then analyze the theoretical strength of the inequalities which can be generated by the proposed cut generation method. Preliminary computational results are also presented which show the effectiveness of the proposed cut generation method.

• 융합보안논문지
• /
• 제14권7호
• /
• pp.59-64
• /
• 2014

이 논문에서는 고정된 개수를 가진 bin들을 이용하여 실행 복잡도가 $p(n){\cdot}2^{O(\sqrt{n})}$인 알고리즘을 제시한다, 여기서 x는 (5)n개의 객체들에 대한 리스트의 길이에 대한 총 비트 수를 나타낸다. 이러한 방법은 수치적 크기나 비중의 합의 리스트를 이용하는 여러 가지 최적화 알고리즘이나 결정 문제등에 적용할 수 있다. 이 논문에서 제시한 알고리즘은 의사-다항식(pseudo-polynomial) 시간을 갖는 NP-Complete의 많은 문제들을 결정적인 서브-지수 시간에 해결할 수 있은 가능성을 제시한다. 여기서 제시한 알고리즘을 이용하여 생명공학의 유전자 분석에 적용하려고 한다.

• Journal of applied mathematics & informatics
• /
• 제15권1_2호
• /
• pp.503-510
• /
• 2004

Given vectors x and y in a Hilbert space, an interpolating operator is a bounded operator T such that Tx = y. An interpolating operator for n vectors satisfies the equation $Tx_i\;=\;y_i,\;for\;i\;=\;1,\;2,\;\cdots,\;n$. In this paper the following is proved: Let H be a Hilbert space and L be a commutative subspace lattice on H. Let H and y be vectors in H. Let $M_x\;=\;\{{\sum{n}{i=1}}\;{\alpha}_iE_ix\;:\;n\;{\in}\;N,\;{\alpha}_i\;{\in}\;{\mathbb{C}}\;and\;E_i\;{\in}\;L\}\;and\;M_y\;=\;\{{\sum{n}{i=1}}\;{\alpha}_iE_iy\;:\;n\;{\in}\;N,\;{\alpha}_i\;{\in}\;{\mathbb{C}}\;and\;E_i\;{\in}\;L\}. Then the following are equivalent. (1) There exists an operator A in AlgL such that Ax = y, Af = 0 for all f in ${\overline{M_x}}^{\bot}$, AE = EA for all $E\;{\in}\;L\;and\;A^{*}\;=\;A$. (2) $sup\;\{\frac{{\parallel}{{\Sigma}_{i=1}}^{n}\;{\alpha}_iE_iy{\parallel}}{{\parallel}{{\Sigma}_{i=1}}^{n}\;{\alpha}_iE_iy{\parallel}}\;:\;n\;{\in}\;N,\;{\alpha}_i\;{\in}\;{\mathbb{C}}\;and\;E_i\;{\in}\;L\}\;<\;{\infty},\;{\overline{M_u}}\;{\subset}{\overline{M_x}}$ and < Ex, y >=< Ey, x > for all E in L.