宇宙的弗里德曼解。为了在更普遍的条件下研究爱因斯坦方程，数值相对论应运而生。数值求解爱因斯坦方程的必要前提是将四维时空还原为各自独立的三维空间与一维时间，也就是时空的“3＋1解构”。这个过程可以通过几种或简或繁的途径实现。这个问题的首个突破是由理查德·阿诺维特、斯坦利·德塞尔以及查尔斯·W·米斯纳于1950年代后期利用哈密顿力学沿着保罗·狄拉克给出的途径实现的。他们对于爱因斯坦方程的推演结果称作ADM形式。出于技术原因，他们的结果并不适用于数值计算。它的双曲性很弱，因而在实际计算中很难使用。不过数值相对