电路的竞技场：判定图、电路与自动机之间的联系
数据结构与算法
2024-04-16 v1 数据库
形式语言与自动机理论
摘要
本文档介绍了用于定义布尔函数的两种相关形式化体系的导论：二元判定图和布尔电路。它介绍了这些形式化体系及其在知识编译背景下研究的若干变体。最后，它解释了这些形式化体系如何与字和树上的自动机概念相联系。
引用
@article{arxiv.2404.09674,
title = {A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata},
author = {Antoine Amarilli and Marcelo Arenas and YooJung Choi and Mikaël Monet and Guy Van den Broeck and Benjie Wang},
journal= {arXiv preprint arXiv:2404.09674},
year = {2024}
}
备注
26 pages