Tính toán của máy Turing không phá hủy (NTM) nổi tiếng là có thể biểu diễn dưới dạng cây cấu hình, bắt nguồn từ cấu hình bắt đầu. Bất kỳ chuyển đổi trong chương trình được đại diện bởi một liên kết cha-con trong cây này.
Các cây tương tự cũng có thể được xây dựng để hình dung các tính toán của máy xác suất và lượng tử. . không có gì để làm với câu hỏi hiện tại.)
Tất nhiên, tính toán xác định không giống như vậy; có một "nhánh" duy nhất trong "cây" tương ứng cho bất kỳ hoạt động nào của máy xác định.
Trong cả ba trường hợp được đề cập ở trên, điều đôi khi làm cho các tính toán này trở nên "khó khăn" đối với các máy tính xác định không thực sự là có sự phân nhánh đang diễn ra, thay vào đó, vấn đề là có bao nhiêu nhánh trên cây. Ví dụ, máy Turing không điều kiện thời gian đa thức được đảm bảo để tạo ra các cây tính toán có "độ rộng" (nghĩa là số nút ở mức đông nhất) cũng được giới hạn ở trên bởi hàm đa thức của kích thước đầu vào có thể được mô phỏng bằng hàm đa thức của kích thước đầu vào có thể được mô phỏng bằng đa thức TM thời gian xác định. (Lưu ý rằng điều kiện "độ rộng đa thức" này tương đương với việc hạn chế NTM để tạo ra tối đa số lượng các phỏng đoán không giới hạn logarit.) Điều tương tự cũng đúng khi chúng ta đặt giới hạn độ rộng tương tự vào các tính toán xác suất và lượng tử.
Tôi biết rằng vấn đề này đã được kiểm tra chi tiết cho các tính toán không điều kiện. Xem, ví dụ, cuộc khảo sát "Chủ nghĩa không giới hạn " của Goldsmith, Levy và Mundhenk. Câu hỏi của tôi là, hiện tượng "phân nhánh giới hạn" hay "chiều rộng giới hạn" này đã được nghiên cứu trong một khung chung bao gồm tất cả các mô hình lượng tử không xác định, xác suất và lượng tử? Nếu vậy, tên tiêu chuẩn cho nó là gì? Bất kỳ liên kết đến tài nguyên sẽ được đánh giá cao.