在计算机科学中，状态空间是用来描述一组用在简单模型的离散状态。可以用多元组[N, A, S, G]来定义，其中：此状态空间就是状态空间搜寻要搜寻的范围。借由图论可以理解及分析状态空间的含意。状态空间有以下共同的特质：