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

Trong bài báo "Về sự phức tạp của một số trò chơi tô màu", Bodlaender đưa ra một số câu hỏi mở về sự phức tạp của việc quyết định xem người chơi 1 hoặc 2 có chiến lược chiến thắng trong một số trò chơi tô màu đồ thị …

12 graph-colouring  pspace  two-player-games 

Có bất kỳ thuật toán nào để sắp xếp lại dữ liệu để tối ưu hóa cho việc nén không? Tôi hiểu điều này là cụ thể cho dữ liệu và thuật toán nén, nhưng có một từ cho chủ đề này? Tôi có thể tìm nghiên cứu ở đâu …

12 optimization  permutations 

Rào cản chứng minh tự nhiên của Razborov và Rudich nói rằng theo các giả định về mật mã đáng tin cậy, người ta không thể hy vọng tách NP khỏi P / poly bằng cách tìm các thuộc tính tổ hợp của các hàm có tính xây dựng, lớn …

12 cc.complexity-theory  circuit-complexity 

Vấn đề với các thuộc tính sau là gì: 1) chúng là hạn chế của các vấn đề (có thể được biết đến) đã hoàn tất PSPACE; 2) các phiên bản bị hạn chế nằm trong PSPACE, nhưng đó là một vấn đề mở nếu chúng hoàn thành PSPACE (hoặc …

12 big-list  open-problem 

Tôi đã cố gắng quấn đầu xung quanh cái gì, tại sao và như thế nào về -calculus nhưng tôi không thể hiểu được "tại sao nó hoạt động"?λλ\lambda "Trực giác" Tôi có được mô hình tính toán của Turing Machines (TM). Nhưng việc này chỉ khiến tôi bối rối.λλ\lambda …

12 soft-question  computability  lambda-calculus  ho.history-overview  intuition 

Có ví dụ nào về các ứng dụng thực tế của trò chơi chẵn lẻ, tức là các hệ thống, trong thế giới thực, có thể được biểu diễn dưới dạng trò chơi chẵn lẻ không? Thông thường các tài liệu liên quan về các trò chơi chẵn lẻ hầu …

12 lo.logic  two-player-games 

Đặt là hàm boolean có độ nhạy s ( f ) và độ nhạy khối b s ( f ) .fffs(f)s(f)s(f)bs(f)bs(f)bs(f) Giả thuyết độ nhạy khối-độ nhạy cho biết có một sao cho ∀ f , b s ( f ) ≤ s ( f ) c .c>0c>0c>0∀f, bs(f)≤s(f)c∀f, bs(f)≤s(f)c\forall …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

Đặt là hằng số. Làm thế nào chúng ta có thể xây dựng một trình tạo giả ngẫu nhiên để đánh lừa automata hữu hạn -state?ddddddd Ở đây, một automata hữu hạn -state có các nút , nút bắt đầu, một tập hợp các nút đại diện cho các trạng …

12 automata-theory  pseudorandomness  pseudorandom-generators 

Tôi không phải là nhà khoa học máy tính lý thuyết. Tôi là một nhà lý luận ổn định đồng luân sử dụng -categories. Tôi đã thấy các ứng dụng của lý thuyết thể loại và lý thuyết topos cho khoa học máy tính lý thuyết, và tôi tự hỏi …

12 lo.logic  soft-question  ct.category-theory 

Có những vấn đề NP hoàn chỉnh (hoặc thậm chí NP-hard, hoặc NP) có đặc tính tôpô tốt để nghiên cứu. Các vấn đề NP có công thức lý thuyết nút? Chúng tôi biết về kết quả # về đa thức Jones. Các vấn đề về đồ thị (nhúng?), Cụ …

12 ct.category-theory  np 

Tôi khá chắc chắn rằng tôi không phải là người đầu tiên giải trí ý tưởng mà tôi sẽ trình bày. Tuy nhiên, sẽ rất hữu ích nếu tôi có thể tìm thấy bất kỳ tài liệu nào liên quan đến ý tưởng. Ý tưởng là xây dựng một Turing …

12 reference-request  turing-machines  p-vs-np 

Làm thế nào một người cho thấy rằng một tài sản nhất định không thể được thể hiện trong 2-CNF (2-SAT)? Có trò chơi nào, chẳng hạn như trò chơi cuội không? Có vẻ như trò chơi cuội đen cổ điển và trò chơi cuội đen trắng không phù hợp …

12 sat  lower-bounds  combinatorial-game-theory 

Vì vậy, tất cả chúng ta đều biết cây so sánh giới hạn dưới của về số lượng so sánh trong trường hợp xấu nhất được thực hiện bởi thuật toán sắp xếp so sánh (xác định). Nó không áp dụng cho sắp xếp so sánh ngẫu nhiên (nếu chúng …

12 ds.algorithms  reference-request  sorting 

Trang wikipedia trên PSPACE đề cập rằng không được biết là nghiêm ngặt (không may không có tài liệu tham khảo).NL⊂PHNL⊂PHNL\subset PH Câu 1: Điều gì về và - những điều này được biết là nghiêm ngặt?L⊂PHL⊂PHL\subset PHL⊂P#PL⊂P#PL\subset P^{\#P} Câu 2: Nếu không, có một lớp được thành lập có …

12 cc.complexity-theory  complexity-classes  logspace 

Giả sử một họ đồ thị FF\mathcal{F} có các đường dẫn cảm ứng dài nếu có hằng số sao cho mọi đồ thị trong chứa một đường dẫn cảm ứng trên các đỉnh . Tôi quan tâm đến các thuộc tính của các họ đồ thị đảm bảo sự tồn …

12 graph-theory  expanders