Khác với ngăn xếp lịch sử tuyến tính, vi sử dụng cấu trúc cây để hoàn tác. Hãy giải thích các hàm ý của lý thuyết đồ thị trong việc duy trì các trạng thái lịch sử phân nhánh và cách nó hỗ trợ quy trình làm việc phi tuyến tính về mặt lý thuyết.