Câu hỏi được gắn thẻ «descriptive-complexity»

Câu hỏi của tôi là về lý thuyết mô hình hữu hạn / độ phức tạp mô tả, do đó, sẽ có nghĩa là "thứ tự đầu tiên trên các từ nhị phân hữu hạn, sử dụng các biến vị ngữ R và một vị từ P đơn vị đúng …

9 cc.complexity-theory  lo.logic  circuit-complexity  descriptive-complexity  finite-model-theory 

Những điều sau đây không được tin là đúng: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 Bạn có thể giúp tôi xem nơi tranh luận bị phá vỡ? Vấn đề reachability đạo là hoàn chỉnh cho . Tôi lập luận rằng đó là trong L -uniform N C 1 .LL\mathsf{L}LL\mathsf{L}NC1NC1\mathsf{NC^1} …

9 cc.complexity-theory  graph-algorithms  complexity-classes  descriptive-complexity  finite-model-theory 

Theo định lý của Rice, bạn không thể xác định liệu hai máy Turing có quyết định cùng một ngôn ngữ hay không. Câu hỏi của tôi là: Điều này cũng áp dụng trong cài đặt độ phức tạp mô tả, đặc biệt khi thử nghiệm một cặp truy vấn …

9 computability  descriptive-complexity 

Nó được biết đến trong lý thuyết mô hình hữu hạn rằng không có một trật tự trên đầu vào, tính biểu cảm là rất hạn chế. Ví dụ: người ta biết rằng bằng với PSPACE và (không có bất kỳ thứ tự nào trong đầu vào) chỉ liên quan …

8 cc.complexity-theory  descriptive-complexity  finite-model-theory