차분 대체 알고리즘의 종결성: 주요화 순서를 통한 분석
본 논문은 성공적인 차분 대체 알고리즘(KSDS)의 종결성에 대한 심도 있는 연구를 제공하며, 특히 주요화 순서를 이용하여 이 알고리즘이 언제 종료되는지 분석한다. KSDS는 다항식 함수에서 특정 조건을 만족하는 경우 양적으로 종료되며, 이러한 조건은 주로 단항식의 계수와 그들의 관계에 기반한다. 1. KSDS의 정의 및 배경 KSDS는 입력 함수 f를 다항식 형태로 표현하고, 이 다항식에서 특정한 대체 규칙을 적용하여 새로운 다항식을 생성하는 알고리즘이다. 논문에서는 단항식이 양수 또는 음수 계수를 가질 때의 특성을 정의한다. 특
Symbolic Computation
Mathematics
Computer Science