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

Đặt là một đa thức đối xứng , nghĩa là một đa thức sao cho cho tất cả và tất cả các hoán vị . Để thuận tiện, chúng ta có thể giả sử là một trường hữu hạn, để tránh giải quyết các vấn đề với mô hình tính …

10 cc.complexity-theory  permutations  polynomials 

Có bất kỳ ví dụ tự nhiên nào về các vấn đề tối ưu hóa mà việc tạo ra một giải pháp tối ưu dễ dàng hơn nhiều so với việc đánh giá chất lượng của một giải pháp ứng viên nhất định không? Vì lợi ích của concreteness, chúng …

10 cc.complexity-theory  optimization  examples 

Thuật ngữ sau (sử dụng bruijn-indexes): BADTERM = λ((0 λλλλ((((3 λλ(((0 3) 4) (1 λλ0))) λλ(((0 4) 3) (1 0))) λ1) λλ1)) λλλ(2 (2 (2 (2 (2 (2 (2 (2 0))))))))) Khi áp dụng cho một số nhà thờ Nđánh giá hình thức bình thường một cách nhanh chóng trong …

10 cc.complexity-theory  lambda-calculus  interaction-nets 

Tôi quan tâm đến việc giảm -Clique thành SAT mà không làm cho ví dụ lớn hơn nhiều.kkk Clique nằm trong NP nên có thể giảm xuống SAT bằng không gian logarit. Việc giảm bớt sách giáo khoa đơn giản của Garey / Johnson sẽ làm tăng thể tích lên …

10 cc.complexity-theory  sat  reductions  clique 

Nó cũng được biết rằng các lớp học nhất định của NP -problems Có sự phân đôi lý, trong đó đảm bảo rằng tất cả các nhiệm vụ trong lớp là một trong hai NP -complete hoặc là trong P . Kết quả được biết đến nhiều nhất là định …

10 cc.complexity-theory  np  descriptive-complexity 

Hãy xem xét vấn đề sau: Cho một ma trận chúng tôi muốn tối ưu hóa số lượng bổ sung trong thuật toán nhân cho tính toán v ↦ M v .MMMv ↦ Mvv↦Mvv \mapsto Mv Tôi thấy vấn đề này thú vị vì mối quan hệ của nó với …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

Tôi tự hỏi liệu có thể tồn tại một cách để đưa ra một loại "hình thức bình thường" cho các cây quyết định nhị phân (BDT) một cách dễ hiểu hay không. Chính xác hơn: BDT là một cây có các nút bên trong được gắn nhãn bởi các …

10 cc.complexity-theory  decision-trees 

Đây là một vấn đề mở cũ dù một trực tổng lý giữ cho độ phức tạp truyền thông xác định, có nghĩa là, cho dù giải quyết trường hợp không phụ thuộc vào một vấn đề là t khó hơn giải quyết một trường hợp duy nhất lần. [FKNN95] …

10 cc.complexity-theory  communication-complexity 

Đặt là hằng số cố định. Cho một số nguyên , chúng tôi muốn xây dựng một hoán vị sao cho:k>0k>0k>0nnnσ∈Snσ∈Sn\sigma \in S_n Việc xây dựng sử dụng thời gian và không gian không đổi (tức là quá trình tiền xử lý mất thời gian và không gian không đổi). …

10 cc.complexity-theory  ds.algorithms  cr.crypto-security  derandomization  k-wise-independence 

Cho hai hoán vị và trên phần tử (nghĩa là thành viên của ), độ phức tạp của việc tính toán thứ tự của nhóm con được tạo bởi gì? Hoặc chỉ quyết định xem nhóm con có theo thứ tự(tức là tất cả )?h n S n g , …

10 cc.complexity-theory  algebra  gr.group-theory 

Sau các câu hỏi tương đương liên quan đến NP-Complete (xem câu hỏi về trọng lượng và câu hỏi được định hướng ), tôi đã tự hỏi làm thế nào các vấn đề được tham số hóa bị ảnh hưởng bởi các thuộc tính này. Những vấn đề đồ thị …

10 cc.complexity-theory  graph-algorithms  parameterized-complexity  fixed-parameter-tractable 

Các vấn đề đã được, nói chung, được phân loại, nhờ Độ phức tạp tính toán. Nhưng, trong các phương trình vi phân, có thể phân loại các phương trình vi phân tùy thuộc vào cấu trúc tính toán của chúng? Ví dụ, nếu một phương trình không thuần nhất …

10 cc.complexity-theory  complexity-classes  computability  dynamic-algorithms 

Vấn đề đẳng cấu đồ thị là một trong những vấn đề tồn tại lâu nhất chống lại việc phân loại thành các vấn đề hoặc -complete. Chúng tôi có bằng chứng rằng nó không thể là -complete. Thứ nhất, đồ thị đẳng hình không thể là trừ khi hệ …

10 cc.complexity-theory  graph-isomorphism 

Độ phức tạp chứng minh là một lĩnh vực cơ bản nhất của lý thuyết phức tạp tính toán. Một mục đích cuối cùng của lĩnh vực này là chứng minh , nghĩa là, bất kỳ người hoạt ngôn nào cũng không thể đưa ra bằng chứng về sự không …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

Trong bài viết năm 1969 " Về độ phức tạp tính toán của các thuật toán " của Hartmanis và Stearns, các tác giả phỏng đoán rằng nếu một Turing Machine thời gian thực tính toán số thực , ví dụ, cơ sở 10, thì r là số hữu tỷ …

10 cc.complexity-theory  reference-request  examples