图论是专门研究人们在自然界和社会生活中遇到的包含某种二元关系的问题或系统，它把这种问题或系统抽象为什么？