arXiv:2411.00031cs.LOcs.AI2024-11综述被引 6

提出状态转换理论,系统梳理代数问题求解的理论框架。

A Theoretical Review on Solving Algebra Problems

  • 基于状态与变换构建代数求解的理论框架
  • 揭示传统综述忽略的算法贡献差异
  • 适用于文字题与图示题的统一分析

求解代数问题(APs)在过去十年中持续吸引大量研究关注,涌现出众多算法与理论。然而,现有工作在理论基础和研究范围上仍不完整。本文旨在填补这一空白,提出一个新评审框架,以建立理论基础、设计评估体系并拓展研究范围。首先提出状态转换理论(STT),强调求解算法应基于状态与变换结构,而非仅关注变换过程本身。该理论为新评审框架奠定基础,可容纳以关系为核心的算法,适用于文字题与图示题。该方法不仅凸显引入新状态的必要性,还能揭示以往综述中被掩盖的个体算法贡献。

原文摘要 · Abstract (English)

Solving algebra problems (APs) continues to attract significant research interest as evidenced by the large number of algorithms and theories proposed over the past decade. Despite these important research contributions, however, the body of work remains incomplete in terms of theoretical justification and scope. The current contribution intends to fill the gap by developing a review framework that aims to lay a theoretical base, create an evaluation scheme, and extend the scope of the investigation. This paper first develops the State Transform Theory (STT), which emphasizes that the problem-solving algorithms are structured according to states and transforms unlike the understanding that underlies traditional surveys which merely emphasize the progress of transforms. The STT, thus, lays the theoretical basis for a new framework for reviewing algorithms. This new construct accommodates the relation-centric algorithms for solving both word and diagrammatic algebra problems. The latter not only highlights the necessity of introducing new states but also allows revelation of contributions of individual algorithms obscured in prior reviews without this approach.

代数求解理论框架状态转换

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。