• 대한수학회논문집
• /
• 제18권4호
• /
• pp.745-754
• /
• 2003

Maximum clique problem is to find a maximum clique(largest in size) in an undirected graph G. We present a method that computes either a maximum clique or an upper bound for the size of a maximum clique in G. We show that this method performs well on certain class of graphs and discuss the application of this method in a branch and bound algorithm for solving maximum clique problem, whose efficiency is depended on the computation of good upper bounds.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 춘계학술발표대회
• /
• pp.860-861
• /
• 2010

본 논문에서는 논문들 간의 참조 정보를 이용한 새로운 논문 유사도 계산 방안을 제안한다. 본 논문에서 제안하는 방안은 in-link와 out-link를 undirected-link로 간주함으로써 in-link와 out-link를 동시에 이용하여 논문들 간의 유사도를 적절하게 계산한다. 사례 분석을 통해서 제안하는 방안의 우수성을 검증한다.

• 대한전자공학회논문지
• /
• 제19권6호
• /
• pp.62-66
• /
• 1982

LSI의 레이아웃 CAD 시스템에 있어서 미체선 신호면에 대한 초선가능성을 판정하고 그것을 수정·해결하는 것은 중요하다. 본 논문에서는 무향 그라프 G=(V, E)를 도입하여 2개의 절점 독립(vertex-disjoint)경로의 존재여부를 판정하는 알고리즘을 제안하고, 경로가 존재하는 경우는미결선 신호선을 해결하고, 존재하지 않는 경우는 해결할 수 없음을 보이는 방법을 제시하였다. 제안한 알고리즘의 시간 복잡도는 O(|VlxlEl)이다. A method finding out routability for unrouted signal lines and rerouting those which are turned out to be able to route in layout design of LSI is described. In this paper the problems of finding two-disjoint Paths represented by an undirected graph G=(V,E), where V,E are sets of vertices and edges respectively, are studied. The existence of two-disjoint paths from s1, to t1, (called P1) and from S2 to T2 (called P2) indicated by the four vertices on the graph s1, t1, s2, t2 ∈ V means that two distinct signal lines exist in layout design. It turns out that the proposed time complexity in the algorithm is O (IVI x IEI).

• 대한수학회지
• /
• 제52권6호
• /
• pp.1323-1336
• /
• 2015

Let S be a semigroup with 0 and R be a ring with 1. We extend the definition of the zero-divisor graphs of commutative semigroups to not necessarily commutative semigroups. We define an annihilating-ideal graph of a ring as a special type of zero-divisor graph of a semigroup. We introduce two ways to define the zero-divisor graphs of semigroups. The first definition gives a directed graph ${\Gamma}$(S), and the other definition yields an undirected graph ${\overline{\Gamma}}$(S). It is shown that ${\Gamma}$(S) is not necessarily connected, but ${\overline{\Gamma}}$(S) is always connected and diam$({\overline{\Gamma}}(S)){\leq}3$. For a ring R define a directed graph ${\mathbb{APOG}}(R)$ to be equal to ${\Gamma}({\mathbb{IPO}}(R))$, where ${\mathbb{IPO}}(R)$ is a semigroup consisting of all products of two one-sided ideals of R, and define an undirected graph ${\overline{\mathbb{APOG}}}(R)$ to be equal to ${\overline{\Gamma}}({\mathbb{IPO}}(R))$. We show that R is an Artinian (resp., Noetherian) ring if and only if ${\mathbb{APOG}}(R)$ has DCC (resp., ACC) on some special subset of its vertices. Also, it is shown that ${\overline{\mathbb{APOG}}}(R)$ is a complete graph if and only if either $(D(R))^2=0,R$ is a direct product of two division rings, or R is a local ring with maximal ideal m such that ${\mathbb{IPO}}(R)=\{0,m,m^2,R\}$. Finally, we investigate the diameter and the girth of square matrix rings over commutative rings $M_{n{\times}n}(R)$ where $n{\geq} 2$.

• 정보관리학회지
• /
• 제33권2호
• /
• pp.61-76
• /
• 2016

본 연구는 명망성 지표(closeness prestige, input domain, proximity prestige)를 인용 네트워크 내에서 특정 노드의 영향력 측정을 위한 유용한 척도로 제안하는 것을 목적으로 한다. 명망성 지표의 영향력 측정기준에 대해 알려진 바가 없으므로 본 연구는 이 세 개의 명망성 지표와 다른 영향력 지표를 비교하고자 한다. 무방향 네트워크의 중심성 지표와 유사하게 명망성 지표는 유방향 네트워크에서 특정 중심 노드들을 차별화 시켜준다. 저자 인용 네트워크에서 수행된 상관분석과 주성분분석을 통하여 본 연구는 기존 영향력 지표와 차별된 명망성 지표만의 측정기준을 발굴하였다. 세 개의 무방향 네트워크 중심성 지표와 더불어 단순인용수, h-index, PageRank를 본 연구에서 제시한 명망성 지표와 비교하였다. 이러한 명망성 지표는 기존 영향력 지표와는 차별화된 영향력을 측정하고 있다는 결과를 도출하였으며 명망성 지표는 간접적인 영향력을 기존의 다른 영향력 지표는 직접적인 영향력을 반영한다.

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

사이클 검출 문제에 대해, 단일 출발(SS)을 갖는 단일 연결 리스트(SLL)에 한해 O(n) 복잡도의 거북이와 토끼 경주법(HTA)이 제안되었으며, 다중 출발지-다중 종착지, 다중 분기(MSMDMB)를 갖는 일반 그래프에 대해서는 빠른 방법이 알려져 있지 않고 있다. 본 논문에서는 MSMDMB를 갖는 주어진 무 방향과 방향 그래프의 최대 사이클을 선형시간 복잡도로 검출할 수 있는 방법을 제안하였다. 제안된 방법은 주어진 원 그래프 G에는 사이클 형성 조건을 충족시키지 못하는 다수의 정점(또는 노드)가 존재한다는 사실에 기반하여 이들 정점(또는 노드)들을 제거한 축소된 그래프 G'를 얻었다. 이 축소된 그래프에 대해 선형시간 복잡도인 선형탐색으로 사이클 집합 C와 사이클 길이 λ를 찾았다. 제안된 알고리즘을 실험 데이터에 적용한 결과 모든 데이터들에 대해 최대 사이클을 찾을 수 있음을 보였다.

• 제어로봇시스템학회논문지
• /
• 제18권7호
• /
• pp.617-621
• /
• 2012

This paper studies asymptotic consensus problem for linear multi-agent systems. We propose a distributed state feedback control algorithm for solving the problem under fixed and undirected network communication. In contrast with the conventional algorithms that use global information (e.g., graph connectivity), the proposed algorithm only uses local information from neighbors. The principle for achieving asymptotic consensus is that, for each agent, a distributed update law gradually increases the coupling gain of LQR-type feedback and thus, the overall stability of the multi-agent system is recovered by the gain margin of LQR.

• 제어로봇시스템학회논문지
• /
• 제18권7호
• /
• pp.622-626
• /
• 2012

This paper presents synchronization of LTV (Linear Time-Varying) MAS (Multi-Agent Systems) with heterogeneous time-varying disturbances under a fixed, connected, and undirected communication network. All the agents can collect only relative state information from their neighborhoods. To achieve synchronization of the MAS, an integral control scheme is proposed based on relative state information between agents.

• 제어로봇시스템학회논문지
• /
• 제20권5호
• /
• pp.526-532
• /
• 2014

In this paper, we present and analyze a LQ (Linear Quadratic) inverse optimal state-consensus protocol for continuous-time multi-agent systems with undirected graph topology. By Lyapunov analysis of the state-consensus error dynamics, we show the sufficient conditions on the algebraic connectivity of the graph to guarantee LQ inverse optimality and closed-loop stability. A more relaxed stability condition is also provided in terms of the algebraic connectivity. Finally, a formation control protocol for multiple mobile robots is proposed based on the target LQ inverse optimal consensus protocol, and the simulation results are provided to verify the performance of the proposed LQ inverse formation control method.

• Journal of applied mathematics & informatics
• /
• 제32권1_2호
• /
• pp.1-6
• /
• 2014

Let G = (V ; E) be a simple undirected graph without loops and multiple edges, the vertex and edge sets of it are represented by V = V (G) and E = E(G), respectively. A weighting w of the edges of a graph G induces a coloring of the vertices of G where the color of vertex v, denoted $S_v:={\Sigma}_{e{\ni}v}\;w(e)$. A k-edge-weighting of a graph G is an assignment of an integer weight, w(e) ${\in}${1,2,...,k} to each edge e, such that two vertex-color $S_v$, $S_u$ be distinct for every edge uv. In this paper we determine an exact 3-edge-weighting of complete graphs $k_{3q+1}\;{\forall}_q\;{\in}\;{\mathbb{N}}$. Several open questions are also included.