Tổng quan và ký hiệu

Bảng ký hiệu dùng chung cho mọi công thức.

Toàn bộ con số công cụ đưa ra đều sinh ra từ bảy công thức trong mục này. Chúng được viết bằng ký hiệu toán tiêu chuẩn để bạn đối chiếu được với tài liệu học thuật, và mỗi công thức đều có ví dụ tính tay để bạn tự kiểm chứng.

Bảng ký hiệu

Ký hiệu	Ý nghĩa	Đơn vị
V	Tập tất cả các bước trong quy trình	—
t_v	Thời lượng một lần chạy bước v	phút
c_v	Chi phí một lần chạy bước v	tiền
n_v	Số lần chạy kỳ vọng của bước v trong một lượt quy trình	lần
p_i	Xác suất đi vào nhánh i của một cổng rẽ	0…1
P	Ma trận xác suất chuyển giữa các bước	—
e₀	Vector chỉ điểm bắt đầu (1 ở bước đầu, 0 ở nơi khác)	—
k	Số nhánh của một cổng song song	—

Bảy công thức, một mạch

#	Công thức	Dùng cho
1	T_seq = ∑ t_i	Chuỗi tuần tự
2	T_AND = max T_j	Khối song song
3	C_AND = ∑ C_j	Khối song song
4	E[T_XOR] = ∑ p_i T_i	Cổng loại trừ
5	n^T(I − P) = e₀^T	Vòng lặp
6	E[T] = ∑ n_v t_v	Ghép lại
7	P90, P95	Mô phỏng

Hai con đường tính, để đối chứng lẫn nhau

Công cụ tính mỗi quy trình bằng hai phương pháp độc lập:

	Giải tích	Mô phỏng Monte Carlo
Cách làm	Giải hệ phương trình tuyến tính	Chạy thử hàng nghìn lượt ngẫu nhiên
Kết quả	Một con số kỳ vọng chính xác	Cả một phân phối: trung vị, P90, P95
Vòng lặp	Tính đủ vô hạn vòng	Lấy mẫu theo xác suất thật
Khối song song	Dùng max của kỳ vọng từng nhánh (xấp xỉ)	Lấy max của giá trị đã mô phỏng (chính xác)
Tính lặp lại	Luôn ra cùng kết quả	Cố định theo seed

💡

Dùng sự chênh lệch làm phép thử
Hai con số này phải gần nhau. Lệch đáng kể (quá 5–10%) thường là dấu hiệu quy trình có nhánh song song mà mỗi nhánh lại chứa yếu tố ngẫu nhiên — khi đó max E[·] < E[max ·] và con số mô phỏng mới là con số đáng tin. Xem Mô phỏng Monte Carlo.

Chỗ nào khó hiểu hoặc còn thiếu?