이 논문에서는 EDGE 언어의 설계 목표를 설명하고 Einsums에 추가한 확장 사항을 살펴본다. Einsums 표기법은 그래프 알고리즘을 표현하는 데 유용한 수학적 프레임워크를 제공한다. EDGE는 그래프-행렬 이중성과 Einsum 표기법의 강력함을 활용한다.
EDGE에서는 사용자 정의 데이터 값 및 유형, 텐서 초기화, 사용자 정의 연산자, 그래프 엔터티/텐서 좌표에 대한 계산과 그래프 값/텐서 데이터에 대한 계산의 분리, 반복 알고리즘, 조건부 계산 등을 지원한다.
EDGE 언어를 통해 연구자들은 다양한 그래프 알고리즘과 구현을 더 쉽게 비교할 수 있고, 개발자들은 무엇을 계산할지(Einsum 표기로 기술)와 어떻게 계산할지(하위 수준 세부사항)를 분리할 수 있다. 또한 EDGE 표현식에 대한 대수적 조작을 통해 새로운 알고리즘 변형을 발견할 수 있다.
Sang ngôn ngữ khác
từ nội dung nguồn
arxiv.org
Thông tin chi tiết chính được chắt lọc từ
by Toluwanimi O... lúc arxiv.org 04-18-2024
https://arxiv.org/pdf/2404.11591.pdfYêu cầu sâu hơn