存在图基础

支持存在图表示的基础数据结构和操作