用可执行图结构显式表示算法知识,实现跨领域零样本迁移。
GEAKG: Generative Executable Algorithm Knowledge Graphs
- 用大模型生成可运行的算法节点与组合模式,构建可执行知识图谱。
- 在70组跨数据集任务中实现神经架构搜索,且对旅行商问题的求解经验可零样本迁移到调度任务。
- 无需改写框架代码,通用架构支持多领域快速部署,适合算法自动化研究者。
在问题求解算法中,过程性知识——即算法设计与算子组合的实践方法——常隐含于代码之中,随运行过程丢失,需为每个新领域重新构建。知识图谱(KG)在组织陈述性知识方面表现优异,但现有范式难以将过程性知识表示为可执行、可学习的图结构。我们提出生成式可执行算法知识图谱(GEAKG),其节点存储可执行算子,边编码学习到的组合模式,遍历过程可生成解决方案。GEAKG具有生成性(拓扑与算子由大语言模型合成)、可执行性(每个节点为可运行代码)和可迁移性(学习模式可在无训练情况下跨领域泛化)。该框架在引擎层面与领域无关:同一三层架构与基于蚁群优化(ACO)的学习引擎可适配不同领域,仅通过可插拔本体(RoleSchema)配置。两个案例研究——不共享任何领域特定框架代码——验证了这一假设:(1) 在两个表格基准上,针对70组跨数据集迁移对进行神经架构搜索;(2) 组合优化中,从旅行商问题学到的知识零样本迁移至调度与分配任务。结果表明,算法专长可被显式表示、学习并作为可执行知识图谱迁移。
原文摘要 · Abstract (English)
In the context of algorithms for problem solving, procedural knowledge -- the know-how of algorithm design and operator composition -- remains implicit in code, lost between runs, and must be re-engineered for each new domain. Knowledge graphs (KGs) have proven effective for organizing declarative knowledge, yet current KG paradigms provide limited support for representing procedural knowledge as executable, learnable graph structures. We introduce \textit{Generative Executable Algorithm Knowledge Graphs} (GEAKG), a class of KGs whose nodes store executable operators, whose edges encode learned composition patterns, and whose traversal generates solutions. A GEAKG is \emph{generative} (topology and operators are synthesized by a Large Language Model), \emph{executable} (every node is runnable code), and \emph{transferable} (learned patterns generalize zero-shot across domains). The framework is domain-agnostic at the engine level: the same three-layer architecture and Ant Colony Optimization (ACO)-based learning engine can be instantiated across domains, parameterized by a pluggable ontology (\texttt{RoleSchema}). Two case studies -- sharing no domain-specific framework code -- provide concrete evidence for this framework hypothesis: (1)~Neural Architecture Search across 70 cross-dataset transfer pairs on two tabular benchmarks, and (2)~Combinatorial Optimization, where knowledge learned on the Traveling Salesman Problem transfers zero-shot to scheduling and assignment domains. Taken together, the results support that algorithmic expertise can be explicitly represented, learned, and transferred as executable knowledge graphs.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。