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

Những gì tiếp theo có vẻ ngu ngốc (và điều đó có thể phản ánh sự hiểu biết kém của tôi - vì vậy xin vui lòng chịu đựng với tôi) Tôi đã có một truy vấn về định lý PCP. Chúng tôi biết rằng sau ba bước đầu tiên …

11 cc.complexity-theory  pcp 

Đối với một biểu đồ , Bài toán phân tách hỏi liệu một tập hợp đỉnh hoặc cạnh nhỏ của cardinality (hoặc trọng lượng) tồn tại có phân vùng loại bỏ thành hai biểu đồ tách rời có kích thước xấp xỉ bằng nhau. Đây được gọi là Sự cố …

11 cc.complexity-theory  approximation-hardness 

Trong khi một sinh viên EE, tôi đã tham dự một số bài giảng trình bày một đặc điểm tốt đẹp của các mạch boolean về số lượng các vòng lặp lồng nhau mà họ có. Trong sự phức tạp, các mạch boolean thường được coi là dags, nhưng trong …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

Độ phức tạp thời gian chính xác của thuật toán không gian nhật ký kết nối không xác định của Omer Reingold là gì?

11 cc.complexity-theory  randomness 

Với bất kỳ đồ thị vô hướng đơn giản G nào, sẽ không cần thiết để xác định xem G có tự động hóa không (không nhận dạng) không. Nhưng kết quả trên giới hạn trên / dưới của vấn đề quyết định này là gì?

11 cc.complexity-theory  graph-isomorphism  automorphism 

Dưới đây là hai biến thể về định nghĩa của NP. Họ (gần như chắc chắn) định nghĩa các lớp phức tạp riêng biệt, nhưng câu hỏi của tôi là: có những ví dụ tự nhiên về các vấn đề phù hợp với các lớp này không? (Ngưỡng của tôi …

11 cc.complexity-theory  complexity-classes  np 

Đặt là một lời tiên tri chung theo nghĩa của thể loại Cohen / Baire. Đặt R là một tiên tri ngẫu nhiên.GGGRRR Có các lớp phức tạp A và B với hay cách khác xung quanh, Một G ≠ B GAG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^RAG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} Câu hỏi được lấy cảm hứng …

11 cc.complexity-theory  complexity-classes 

Vấn đề N-queen là đây: Đầu vào: N Đầu ra: Vị trí của N "nữ hoàng" trên bàn cờ NXN sao cho không có hai nữ hoàng nằm trên cùng một hàng, cột hoặc đường chéo. Thực hiện tìm kiếm trên google, tôi thấy rằng nhiều slide của nhiều giáo …

11 cc.complexity-theory  np-hardness  csp 

Tôi làm việc trong phòng thí nghiệm khoa học thần kinh tính toán để định lượng thông tin lẫn nhau giữa các cặp hoặc nhóm tế bào thần kinh. Gần đây, ông chủ đã chuyển trọng tâm sang đo lường "sự phức tạp của động lực học thần kinh". Theo …

11 cc.complexity-theory  it.information-theory 

Câu hỏi này có thể không phải là kỹ thuật. Là một người không phải là người bản ngữ và một TA cho lớp thuật toán, tôi luôn tự hỏi tiện ích có nghĩa là gì trong 'tiện ích mệnh đề' hoặc 'tiện ích biến'. Từ điển nói rằng một …

11 cc.complexity-theory  np-hardness  terminology  reductions 

Tôi quan tâm đến một biến thể SAT trong đó công thức CNF là đơn điệu (không có biến nào bị phủ định). Một công thức như vậy rõ ràng là thỏa đáng. Nhưng nói rằng số lượng các biến thực sự là thước đo mức độ tốt của giải …

11 cc.complexity-theory  np-hardness  sat 

Có vấn đề nào mà độ phức tạp trường hợp trung bình giống như độ phức tạp trường hợp xấu nhất của chúng không? Các thuộc tính cơ bản của những vấn đề này làm cho việc giảm trường hợp xấu nhất thành trường hợp trung bình có thể là …

11 cc.complexity-theory  reductions  average-case-complexity 

Tôi tự hỏi nếu các lớp NPC được xác định bởi nhiều mức giảm một và mức giảm Turing có bằng nhau không. Chỉnh sửa: Một câu hỏi khác, là việc giảm Turing chỉ làm sụp đổ các lớp C và co-C đối với một số C hoặc có một …

11 cc.complexity-theory  np-hardness  reductions 

Vấn đề kết hợp hoàn hảo hai màu là quyết định xem biểu đồ có tô màu bằng hai màu sao cho mỗi nút có chính xác một hàng xóm cùng màu với chính nó hay không. Vấn đề đã được chứng minh là hoàn thành NP bởi Schaefer . …

10 cc.complexity-theory  np-hardness 

Chúng tôi biết theo chúng tôi không thể giải quyết -SUM trong thời gian dưới bất kỳ chức năng (thường là ).ETHETHETHKKKf(K)poly(nK)f(K)poly(nK)f(K)poly(nK)f(K)f(K)f(K)2O(K)2O(K)2^{O(K)} Có bất kỳ phỏng đoán nào ngăn cản sự phức tạp (điều này hoàn toàn phù hợp với khả năng vì chúng ta cần thời gian theo cấp …

10 cc.complexity-theory  subset-sum