Trong nỗ lực duy trì một mức độ trừu tượng, lựa chọn nào thường được để lại độc lập?
Mặc dù một số chứng minh của các định lý lý thuyết phức thường xuyên giả định một số lựa chọn cụ thể của mã hoá đầu vào, người ta cố gắng giữ cho cuộc thảo luận trừu tượng đủ để độc lập với sự lựa chọn mã hoá. Điều này có thể đạt được bằng cách đảm bảo rằng các biểu diễn khác nhau có thể được chuyển đổi thành nhau một cách hiệu quả.
mã hoá