Core Concepts
본 논문에서는 additively idempotent 세미링 S 상에서 XA = Y 선형 시스템의 해를 완전히 특성화한다. 특히 S가 일반화된 열대 세미링인 경우, 해의 완전한 특성화와 계산 비용에 대한 명시적 상한을 제공한다.
Abstract
본 논문은 additively idempotent 세미링 S 상에서 XA = Y 선형 시스템의 해를 연구한다.
선형 시스템이 해를 가지는 경우, 그 최대 해를 완전히 특성화한다.
S가 일반화된 열대 세미링인 경우, 해의 완전한 특성화와 계산 비용에 대한 명시적 상한을 제공한다.
S가 유한한 경우, 키 교환 프로토콜에 대한 공격을 제안한다.
주요 결과는 다음과 같다:
Theorem 2.5: additively idempotent 세미링 S 상에서 선형 시스템의 최대 해를 특성화
Theorem 3.6, Corollary 3.7, Theorem 3.12: 일반화된 열대 세미링 S 상에서 선형 시스템의 해 특성화 및 계산 비용 분석
Theorem 4.1: 유한 additively idempotent 세미링 S 상에서 선형 시스템의 해 존재성 및 최대 해 계산
이러한 결과들은 선형 시스템 이론과 응용 분야에 기여한다.
Stats
선형 시스템 XA = Y에서 A = (a_ij) ∈ M_m×n(S), Y ∈ S^m이고 X는 크기 n의 미지수 벡터이다.
Quotes
"본 논문에서는 additively idempotent 세미링 S 상에서 XA = Y 선형 시스템의 해를 완전히 특성화한다."
"특히 S가 일반화된 열대 세미링인 경우, 해의 완전한 특성화와 계산 비용에 대한 명시적 상한을 제공한다."