Khoa học máy tính

Q & A cho sinh viên, nhà nghiên cứu và thực hành khoa học máy tính

2
Chứng minh NHÂN ĐÔI-SAT là NP-hoàn thành
Vấn đề SAT nổi tiếng được định nghĩa ở đây để tham khảo. Vấn đề NHÂN ĐÔI-SAT được định nghĩa là DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} Làm thế nào để …
2
Khi nào tôi có thể sử dụng lập trình động để giảm độ phức tạp thời gian của thuật toán đệ quy?
Lập trình động có thể giảm thời gian cần thiết để thực hiện thuật toán đệ quy. Tôi biết rằng lập trình động có thể giúp giảm độ phức tạp thời gian của các thuật toán. Các điều kiện chung sao cho nếu được thỏa mãn bởi một thuật toán …
1
Dấu ngã có nghĩa là gì, trong ký hiệu big-O?
Tôi đang đọc một bài báo và nó nói trong phần mô tả độ phức tạp thời gian của nó rằng độ phức tạp thời gian là .O~(22n)O~(22n)\tilde{O}(2^{2n}) Tôi đã tìm kiếm trên internet và wikipedia, nhưng tôi không thể tìm thấy những gì dấu ngã này biểu thị trong …
4
Tại sao không có hoán vị trong Regexes? (Ngay cả khi các ngôn ngữ thông thường dường như có thể làm điều này)
Vấn đề Không có cách nào dễ dàng để có được hoán vị với regex. Hoán vị: Bắt một từ ("aabc") sang một thứ tự khác, mà không thay đổi số lượng hoặc loại chữ cái.w = x1... xnw=x1…xnw=x_1…x_n Regex: Biểu thức chính quy. Để xác minh: "Hoán vị Regex …
2
MIN-2-XOR-SAT và MAX-2-XOR-SAT: họ có khó NP không?
Độ phức tạp của và gì? Họ ở P à? Họ có khó NP không?MIN-2-XOR-SATMIN-2-XOR-SAT\text{MIN-2-XOR-SAT}MAX-2-XOR-SATMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} Để chính thức hóa điều này chính xác hơn, hãy để Φ ( x ) = ∧nTôiCTôi,Φ(x)= =∧TôinCTôi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, trong đó và mỗi mệnh đề có dạng hoặc .x =( x1, Lọ , xm)x= =(x1,Giáo …
2
Bất kỳ vấn đề NP-Complete nào có thể được giải quyết bằng cách sử dụng tối đa không gian đa thức (nhưng trong khi sử dụng thời gian theo cấp số nhân?)
Tôi đã đọc về NPC và mối quan hệ của nó với PSPACE và tôi muốn biết liệu các vấn đề NPC có thể được giải quyết một cách xác định bằng thuật toán với yêu cầu không gian đa thức tồi tệ nhất hay không, nhưng có khả năng …
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.