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

Trong lý thuyết về thuật toán phân tán, có những vấn đề với giới hạn thấp hơn, như , đó là "lớn" (ý tôi là, lớn hơn ) và không cần thiết. Tôi tự hỏi nếu có vấn đề với ràng buộc tương tự trong lý thuyết về thuật toán …

8 algorithms  complexity-theory  lower-bounds 

Tôi đã được yêu cầu tìm các đối số bất lợi cần thiết cho việc tìm các giới hạn thấp hơn để sắp xếp lựa chọn và chèn. Tôi không thể tìm thấy một tài liệu tham khảo cho nó bất cứ nơi nào. Tôi có một số nghi ngờ …

8 algorithms  algorithm-analysis  proof-techniques  lower-bounds 

Gần đây tôi đã biết rằng đối với bất kỳ trường hợp nào của bài toán k-SAT với mệnh đề và chữ, chúng ta có một phép gán nghĩa đen sao cho ít nhất mệnh đề được thỏa mãn.mmmnnnm(1−2−k)m(1−2−k)m(1 - 2^{-k}) Tôi đã tự hỏi nếu chúng ta có thể …

7 graphs  satisfiability  lower-bounds 

Có một kết quả cơ bản về độ phức tạp của mạch cho biết: Tồn tại một ngôn ngữ không thể giải quyết bằng các mạch có kích thước o(2nn)o(2nn)o(\frac{2^n}{n}). Đối số là một đối số đếm đơn giản về số lượng hàm boolean và số lượng mạch riêng biệt. …

7 complexity-theory  lower-bounds  circuits 

Với máy Turing vanilla, ý tôi là máy Turing có một băng (không có băng đầu vào hoặc đầu ra đặc biệt). Vấn đề như sau: băng ban đầu trống, ngoài một chuỗi nnn 111cát 000s bị chấm dứt bởi một ký tự cuối chuỗi. Đầu băng bắt đầu ở …

7 complexity-theory  turing-machines  time-complexity  lower-bounds