Khoa học máy tính lý thuyết

Razborov đã chứng minh rằng chức năng khớp đơn điệu không có trong mP . Nhưng chúng ta có thể tính toán kết hợp bằng cách sử dụng một mạch kích thước đa thức với một vài phủ định không? Có một P / poly mạch với phủ nhận rằng …

14 cc.complexity-theory  circuit-complexity  lower-bounds  matching  monotone 

Chúng tôi xem xét các DAG (đồ thị chu kỳ có hướng) với một nút nguồn sss và một nút mục tiêu ttt ; các cạnh song song nối cùng một cặp đỉnh được cho phép. Một kkk - cut là một tập hợp các cạnh mà việc loại bỏ …

14 cc.complexity-theory  graph-theory  circuit-complexity  directed-acyclic-graph 

Tôi đã đọc bài viết trên wikipedia về vấn đề tám nữ hoàng. Nó được tuyên bố rằng, không có công thức được biết đến cho số lượng chính xác của các giải pháp. Sau một số tìm kiếm, tôi tìm thấy một bài báo có tên "Về độ khó …

14 cc.complexity-theory  counting-complexity  search-problem 

Tôi tự hỏi liệu có một phiên bản giới hạn tính toán của khái niệm cân bằng Nash, một cái gì đó dọc theo các dòng sau. Hãy tưởng tượng một loại trò chơi thông tin hoàn hảo gồm hai người chơi được chơi trên một bảng , và nó …

14 gt.game-theory 

Hầu hết chúng ta đều quen thuộc - hoặc ít nhất đã nghe nói về - entropy Shannon của một biến ngẫu nhiên, H(X)=−E[logp(X)]H(X)=−E[log⁡p(X)]H(X) = -\mathbb{E} \bigl[ \log p(X)\bigr] và tất cả các biện pháp lý thuyết thông tin liên quan như entropy tương đối, thông tin lẫn nhau, và …

14 it.information-theory  quantum-information 

Gần đây tôi đã quan tâm đến vấn đề chung là tối ưu hóa việc sử dụng bộ nhớ trong tình huống có nhiều loại bộ nhớ khả dụng và có sự đánh đổi giữa dung lượng của một phân đoạn bộ nhớ nhất định và tốc độ truy cập …

14 optimization  program-analysis 

Định lý không hoàn chỉnh của Chaitin nói rằng không có lý thuyết số học nào đủ mạnh có thể chứng minh trong đó là độ phức tạp Kolmogorov của chuỗi và là hằng số đủ lớn. là đủ lớn nếu nó lớn hơn kích thước theo bit của một …

14 lo.logic  kolmogorov-complexity 

Tôi muốn tìm hiểu về các thuật toán đại số và thoery phức tạp. Đặc biệt, tôi quan tâm đến thuế TNCN. Có một bộ ghi chú bài giảng, sách, bài báo và khảo sát cho những sinh viên đã đọc sách giáo khoa tiêu chuẩn về lý thuyết như …

14 cc.complexity-theory  reference-request  algebraic-complexity  arithmetic-circuits 

Trong khi thảo luận về bằng chứng chuẩn hóa mạnh mẽ, nhận xét này đối chiếu "mô hình biểu mẫu bình thường" với "phương pháp cú pháp thuần túy". Điều này đưa tôi trở lại một câu hỏi cơ bản hơn: chúng ta vẫn có thể phân biệt các cấu …

14 lo.logic  pl.programming-languages  operational-semantics 

Nó được đề cập trong một bình luận trong một bài đăng khác của cstheorySE rằng tính đầy đủ của PSPACE ngụ ý độ cứng APX. Bất cứ ai có thể vui lòng giải thích / chia sẻ một tài liệu tham khảo cho nó? Đây có phải là "chặt …

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

Một Xor automata không xác định (NXA) về mặt cú pháp là một NFA, nhưng một từ được cho là được chấp nhận bởi NXA nếu nó có số lượng đường dẫn chấp nhận lẻ (thay vì ít nhất một đường dẫn chấp nhận trong trường hợp NFA). Dễ dàng …

14 fl.formal-languages  automata-theory  nondeterminism  minimization 

Vấn đề con đường dài nhất là NP-hard. Bằng chứng (điển hình?) Dựa vào việc giảm vấn đề đường dẫn Hamilton (hoàn thành NP). Lưu ý rằng ở đây đường dẫn được thực hiện đơn giản (nút-). Đó là, không có đỉnh có thể xảy ra nhiều hơn một lần …

14 graph-theory  graph-algorithms  hamiltonian-paths 

Tỷ lệ quan trọng của mệnh đề cho các biến cho 3-SAT ngẫu nhiên là nhiều hơn 3 và nhỏ hơn 6 và dường như thường được mô tả là "khoảng 4.2" hoặc "khoảng 4.25". Mezard, Parisi và Zecchina chứng minh (theo nghĩa vật lý) rằng tỷ lệ tới hạn …

14 sat  phase-transition  random-k-sat 

Hãy xem xét các cài đặt sau: chúng ta đưa ra một chồng , trong đó có mặt hàng.SSsnnn chúng ta có thể sử dụng số lượng ngăn xếp không đổi .Ôi( 1 )Ôi(1)O(1) chúng ta có thể áp dụng các thao tác sau trên các ngăn xếp này: kiểm …

14 ds.algorithms  sorting 

Truyền bá niềm tin đã được chứng minh là một phương pháp rất mạnh mẽ thông qua nghiên cứu trong các mô hình đồ họa xác suất. Tuy nhiên, tôi không biết bất cứ điều gì về HA có thể so sánh với các phương pháp MCMC nơi chúng ta …

14 cc.complexity-theory  reference-request  graph-algorithms  machine-learning  st.statistics