一般化
代数数
布尔代数
代数结构
域代数上的
计算机科学
领域(数学分析)
连接部件
离散数学
数学
纯数学
算法
数学分析
标识
DOI:10.1007/978-3-319-57418-9_7
摘要
This paper characterizes connected components of both directed and undirected graphs as atomic fixpoints. As algebraic structure for our investigations we combine complete Boolean algebras with the well-known theory of Kleene Algebra with domain. Using diamond operators as an algebraic generalization of relational image and preimage we show how connected components can be modeled as atomic fixpoints of functions operating on tests and prove some advanced theorems concerning connected components.
科研通智能强力驱动
Strongly Powered by AbleSci AI