• 대한수학회보
• /
• 제54권3호
• /
• pp.1037-1067
• /
• 2017

Motzkin and Straus established a close connection between the maximum clique problem and a solution (namely graph-Lagrangian) to the maximum value of a class of homogeneous quadratic multilinear functions over the standard simplex of the Euclidean space in 1965. This connection and its extensions were successfully employed in optimization to provide heuristics for the maximum clique problem in graphs. It is useful in practice if similar results hold for hypergraphs. In this paper, we develop a homogeneous multilinear function based on the structure of hypergraphs and their complement hypergraphs. Its maximum value generalizes the graph-Lagrangian. Specifically, we establish a connection between the clique number and the generalized graph-Lagrangian of 3-uniform graphs, which supports the conjecture posed in this paper.

• 대한수학회논문집
• /
• 제33권2호
• /
• pp.379-395
• /
• 2018

Assume that R is a commutative ring with non-zero identity which is not an integral domain. An ideal I of R is called an annihilating ideal if there exists a non-zero element $a{\in}R$ such that Ia = 0. S. Visweswaran and H. D. Patel associated a graph with the set of all non-zero annihilating ideals of R, denoted by ${\Omega}(R)$, as the graph with the vertex-set $A(R)^*$, the set of all non-zero annihilating ideals of R, and two distinct vertices I and J are adjacent if I + J is an annihilating ideal. In this paper, we study the relations between the diameters of ${\Omega}(R)$ and ${\Omega}(R[x])$. Also, we study the relations between the diameters of ${\Omega}(R)$ and ${\Omega}(R[[x]])$, whenever R is a Noetherian ring. In addition, we investigate the relations between the diameters of this graph and the zero-divisor graph. Moreover, we study some combinatorial properties of ${\Omega}(R)$ such as domination number and independence number. Furthermore, we study the complement of this graph.

• 정보과학회 논문지
• /
• 제43권5호
• /
• pp.541-552
• /
• 2016

본 논문은 분산 이동 실시간 시스템의 분석과 명세에서 프로세스와 시스템의 복잡도를 획기적으로 감소하기 위한 방법으로 새로운 이음 선택(Conjunctive Choice) 및 여 선택(Complement Choice) 연산을 제안한다. 여 선택 연산은 두 프로세스의 선택(Choice) 연산이 연동하여 동일한 선택을 도출함을 표현한다. 이음 선택 연산은 프로세스 내의 일련의 선택 연산들 간의 의존성을 표현한다. 이음 선택 연산은 프로세스 복잡도를 선택 연산의 의존성의 수 만큼 기하급수적으로 감소시킨다. 마찬가지로 여 선택 연산은 시스템 복잡도를 선택 연산의 의존성의 수 만큼 기하급수적으로 감소시킨다. 그리하여 복잡도가 획기적으로 감소하게 되어 시스템의 명세와 분석이 용이하게 된다. 이 선택 연산은 ${\delta}$-Calculus 프로세스 대수에서 구현하였다. 또한 예제를 ADOxx 플랫폼에서 개발한 SAVE 도구를 사용하여 보여줌으로써 효과와 효율성을 제시한다.

• 디지털융복합연구
• /
• 제20권2호
• /
• pp.345-351
• /
• 2022

단순 무방향 그래프 G 의 L(2,1)-coloring은 d(u,v)가 두 정점 사이의 거리일 때 두 가지 조건 (1) d(x,y) = 1 라면 |f(x)-f(y)|≥ 2, (2) d(x,y) = 2 라면 |f(x)-f(y)|≥ 1 을 만족하는 함수 f : V → [0,1,…,k]를 정의하는 것이다. 임의의 L(2,1)-coloring c 에 대하여 G 의 c-span 은 λ(c)=max{|c(u)-c(v)|| u,v∈V} 이며, L(2,1)-coloring number 인 λ(G)는 모든 가능한 c 에 대하여 λ(G) = min{λ(c)} 로 정의된다. 본 논문에서는 Harary의 정리에 기반하여 지름이 2인 그래프에 대하여 여그래프에 해밀턴 경로의 존재여부를 Tabu Search를 사용해 판단하고 이를 통해 λ(G)가 n(=|V|)과 같음을 분석한다.

• Journal of applied mathematics & informatics
• /
• 제14권1_2호
• /
• pp.39-49
• /
• 2004

Let G be a simple graph and let $\={G}$ denotes its complement. We say that G is integral if its spectrum consists entirely of integers. If $\overline{aK_{a}\;{\bigcup}\;{\beta}K_{b}}$ is integral we show that it belongs to the class of integral graphs $[\frac{kt}{\tau}\;{x_0}\;+\;\frac{mt}{\tau}\;z}\;K_{(t+{\ell}n)+{\ell}m}\;\bigcup\;[\frac{kt}{\tau}\;{y_0}\;+\;\frac{(t\;+\;{\ell}n)k\;+\;{\ell}m}{\tau}\;z]n\;K_{em)$, where (i) t, k, $\ell$, m, $n\;\in\;\mathbb{N}$ such that (m, n) = 1, (n,t) = 1 and ($\ell,\;t$) = 1 ; (ii) $\tau\;=\;((t\;+\;{\ell}n)k\;+\;{\ell}m,\;mt)$ such that $\tau\;$\mid$kt$; (iii) ($x_0,\;y_0$) is a particular solution of the linear Diophantine equation $((t\;+\;{\ell}n)k\;+\;{\ell}m)x\;-\;(mt)y\;=\;\tau\;and\;(iv)\;z\;{\geq}\;{z_0}$ where $z_{0}$ is the least integer such that $(\frac{kt}{\tau}\;{x_0}\;+\;\frac{mt}{\tau}\;{z_0})\;\geq\;1\;and\;(\frac{kt}{\tau}\;{y_0}\;+\;\frac{(t+{\ell}n)k+{\ell}m}{\tau}\;{z_0})\;\geq\;1$.

• 대한수학회보
• /
• 제50권2호
• /
• pp.469-473
• /
• 2013

Let G = (V, E) be a graph and k be a positive integer. A $k$-dominating set of G is a subset $S{\subseteq}V$ such that each vertex in $V{\backslash}S$ has at least $k$ neighbors in S. A Roman $k$-dominating function on G is a function $f$ : V ${\rightarrow}$ {0, 1, 2} such that every vertex ${\upsilon}$ with $f({\upsilon})$ = 0 is adjacent to at least $k$ vertices ${\upsilon}_1$, ${\upsilon}_2$, ${\ldots}$, ${\upsilon}_k$ with $f({\upsilon}_i)$ = 2 for $i$ = 1, 2, ${\ldots}$, $k$. In the paper titled "Roman $k$-domination in graphs" (J. Korean Math. Soc. 46 (2009), no. 6, 1309-1318) K. Kammerling and L. Volkmann showed that for any graph G with $n$ vertices, ${{\gamma}_{kR}}(G)+{{\gamma}_{kR}(\bar{G})}{\geq}$ min $\{2n,4k+1\}$, and the equality holds if and only if $n{\leq}2k$ or $k{\geq}2$ and $n=2k+1$ or $k=1$ and G or $\bar{G}$ has a vertex of degree $n$ - 1 and its complement has a vertex of degree $n$ - 2. In this paper we find a counterexample of Kammerling and Volkmann's result and then give a correction to the result.

• 정보보호학회논문지
• /
• 제30권6호
• /
• pp.1013-1021
• /
• 2020

악성코드 저자 식별은 알려진 악성코드 저자의 특징을 이용하여 알려지지 않은 악성코드의 저자 특징과 비교를 통해 악성코드를 식별하기 위한 연구 분야이다. 바이너리를 이용한 저자 식별 방법은 실질적으로 배포된 악성코드를 대상으로 수집 및 분석이 용이하다는 장점을 갖으나, 소스코드를 이용한 방법보다 특징 활용 범위가 제한된다. 이러한 한계점으로 인해 다수의 저자를 대상으로 정확도가 저하된다는 단점을 갖는다. 본 연구는 바이너리 저자 식별에 한계점을 보완하기 위하여 '바이너리로부터 의미론적 특징 정의'와 '서바이벌 네트워크 개념을 이용한 중복 특징에 대한 허용 범위 정의' 방법을 제안한다. 제안한 방법은 바이너리 정보로부터 Opcode 기반의 그래프 특징을 정의하며, 서바이벌 네트워크 개념을 이용하여 저자별 고유 특징을 선택할 수 있는 허용범위를 정의하는 것이다. 이를 통해 저자별 특징 정의 및 특징 선택 방법을 하나의 기술로 정의할 수 있으며, 실험을 통해 선행연구보다 5.0%의 정확도 향상과 함께 소스코드 기반 분석과 동일한 수준의 정확도 도출이 가능함을 확인할 수 있었다.

• 한국멀티미디어학회논문지
• /
• 제6권3호
• /
• pp.549-555
• /
• 2003

LFSR보다 CA가 랜덤성이 우수한 패턴들을 효율적으로 생성함이 알려지면서 그 응용분야가 점차적으로 확대되고 있다. 특히 Nongroup CA는 해쉬함수의 생성, 암호알고리즘, 이미지 압축 등에 응용되고 있다. 본 논문에서는 TPNCA의 성질들을 분석하고, 선형 TPNCA의 0-트리의 기본경로와 순환상태의 사이클 구조를 이용하여 선형 TPNCA의 상태 전이그래프의 정확한 구조를 파악하는데 사용되던 기존의 행렬의 곱셈 연산 방법을 덧셈 연산으로 대체할 수 있음을 보였다. 또한 선형 TPNCA C의 0-트리의 비순환 상태를 여원벡터로 갖는 여원 TPNCA C'은 C와 그 구조가 동형임을 밝힘으로써 선형 TPNCA로부터 여원 TPNCA의 상태들의 위치를 정확하게 파악하여, CA를 이용하는 알고리즘을 개발하는데 있어 선행되어야 하는 CA의 상태를 분석하는 시간을 효과적으로 줄였다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제32권3호
• /
• pp.407-433
• /
• 2018

본 연구의 목적은 담론적 관점에서 수학 교과서를 분석하기 위해 선행 연구를 바탕으로 분석틀을 재구성하고, 중1수학 교과서의 '그래프 정의'에서 단어와 시각적 매개체가 생성하는 의미와 그 통합 관계를 분석하는데 적용하는 것이다. 담론적 관점은 Sfard(2008)의 의사소통학적 관점과 Halliday(1985/2004)의 체계기능언어학을 바탕으로 발전된 사회기호학적 관점이 통합된 것으로 이를 바탕으로 본 연구에서는 단어와 시각적 매개체가 생성하는 의미는 교과서에 구현된 수학을 관념적 메타기능이 실현하는 의미 측면과 학생의 수학적 활동의 참여 유도성을 대인관계적 메타기능이 실현하는 의미 측면으로 구분하여 분석하였고, 단어와 시각적 매개체의 통합 관계는 텍스트적 메타기능 측면에서 분석하였다. 그 결과 첫째, 단어의 관념적 의미는 수학 담론의 밀도가 높았을 뿐 아니라 수학적 활동의 주체가 모호하였고 학생 참여를 요구하는 단어의 대인관계적 의미는 사고보다는 주로 행동 측면이 강조되었다. 시각적 매개체가 구성하는 관념적 의미에서는 내러티브 다이어그램이 결여되었고 대인관계적 의미에서는 정보 제공에 질적 차이가 있었다. 둘째, 단어와 시각적 매개체의 통합 관계는 구체화, 설명, 유사, 보완처럼 다양한 방식을 통한 풍부한 수학 의미 형성을 위해 통합 관계의 다양성을 지향할 필요가 있었다. 이러한 결과는 수학 교과서를 분석하는데 의미를 생성하는 도구로서 단어와 함께 시각적 매개체의 사용을 분석하고 단어와 시각적 매개체의 통합 관계를 분석하였기 때문에 담론적 관점에서 교과서 분석의 새로운 분석틀을 제공한 의미가 있다.

• 전자공학회논문지CI
• /
• 제48권4호
• /
• pp.27-34
• /
• 2011

본 논문에서는 멀티미디어 콘텐츠 보호에 대한 반공모 코드를 위한 동적 멀티미디어 핑거프린팅 코드를 설계하는 알고리즘을 제안한다. 기존의 반공모 코드(ACC: Anti-Collusion Code)를 위한 멀티미디어 핑거프린팅 코드는 BIBD(Balanced Incomplete Block Design)의 접속행렬을 보수행렬로 변환하여 k를 k+1로 증대시키는 수리적 방법으로 설계되었다. 그리고 보수행렬의 코드벡터를 사용자에게 핑거프린팅 코드로 부여하고, 콘텐츠에 삽입하였다. 제안된 알고리즘에서는 사용자가 구매하는 콘텐츠로부터 특징점을 추출하고, 이를 기반으로 동적으로 핑거프린팅 코드를 설계할 수 있도록 BIBD의 v와 k+1 조건을 만족하는 반공모 코드의 후보성 코드를 코드북(Codebook)에 구축하고 ${\lambda}+1$ 조건을 만족하는 행렬(이하, Rhee행렬이라 함.)을 생성한다. 실험을 통하여 콘텐츠의 특징점 기반으로 생성된 Rhee행렬의 코드벡터는 v비트의 유의수준 ($1-{\alpha}$)에서 신뢰구간에 k가 존재하며, Rhee행렬의 각 행과 행, 열과 열 사이의 유클리디안 거리가 BIBD 기반의 보수행렬과 그래프 기반의 보수행렬과 같은 k값이 산출되었다. 더욱이 Rhee행렬의 첫 행과 첫 열은 생성과정에서 초기 점화벡터로 콘텐츠 포렌식 마크 정보가 되며, 이와 관계가 있는 나머지 코드벡터들과의 관계성이 코드북에 기록되어 있기 때문에, 공모된 코드를 추적할 때 원 핑거프린팅 코드의 상관관계 계수를 구할 필요 없이 코드북의 탐색으로 공모자를 추적이 용이하다. 따라서 본 논문에서 생성된 Rhee행렬은 수리적으로 생성된 BIBD 기반의 행렬보다 ACC로서 강인성과 충실도가 우수하다.