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

Các phương pháp được biết đến tốt nhất để tích chập tuần hoàn có độ dài trên một trường nhỏ, tức là khi | F | ≪ n ? Tôi đặc biệt quan tâm đến các trường có kích thước không đổi, hoặc thậm chí F = F 2 . …

17 ds.algorithms  reference-request 

Điều gì xảy ra nếu có bất cứ điều gì được biết về độ phức tạp được tham số hóa của việc tính toán số giao điểm của đồ thị (số lượng nhỏ nhất của các cụm sao cần thiết để bao gồm tất cả các cạnh của nó)? Từ …

17 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Siêu tính toán đề cập đến các mô hình tính toán không thể mô phỏng bằng máy Turing. (Siêu máy tính không nhất thiết phải thực hiện được về mặt vật lý!) Một số siêu máy tính có quyền truy cập vào tài nguyên cho phép Giải quyết vấn đề …

17 computability  hypercomputation 

Ý tưởng của tôi về một nghề nghiệp mơ ước là một nghề nghiệp trong nghiên cứu công nghiệp, nơi người ta phải giải quyết các vấn đề thách thức, và cũng có cách sử dụng thực tế. Cuối cùng, việc theo đuổi bằng tiến sĩ về TCS (tôi quan …

17 soft-question  advice-request  career 

Như đã biết, PARITY không thể được thực hiện trong các mạch có độ sâu không đổi đa kích thước, và trên thực tế, các mạch const-dept yêu cầu số lượng cổng EXP. Còn mạch QUANTUM thì sao? a) PARITY có thể được thực hiện với một mạch lượng tử …

17 cc.complexity-theory  quantum-computing  circuit-complexity 

Người ta biết rằng nếu bạn ném n quả bóng vào n thùng, thùng được nạp nhiều nhất rất có thể có bóng trong đó. Nói chung, người ta có thể hỏi về quả bóng trong thùng. Một bài báo từ RANDOM 1998 của Raab và Steger khám phá điều …

17 reference-request  pr.probability 

Tôi hiểu rằng tính đầy đủ của Turing đòi hỏi bộ nhớ không giới hạn và thời gian không giới hạn. Tuy nhiên, có một lượng nguyên tử hữu hạn trong dịch vụ này do đó làm cho bộ nhớ bị giới hạn. Ví dụ, mặc dù là không hợp …

17 computability  upper-bounds 

Cho một đồ thị chu kỳ có hướng, , có thể hỗ trợ hiệu quả các hoạt động sau không?G(V,E)G(V,E)G(V,E) : Xác định nếu có một đường dẫn trong G từ nút a đến nút bisConnected(G,a,b)isConnected(G,a,b)isConnected(G,a,b)GGGaaabbb : Thêm một cạnh từ a đến b trong đồ thị Glink(G,a,b)link(G,a,b)link(G,a,b)aaabbbGGG : Loại …

17 ds.algorithms  graph-algorithms  directed-acyclic-graph  online-algorithms 

Trong lý thuyết automata (automata hữu hạn, automata đẩy xuống, ...) và về độ phức tạp, có một khái niệm về "sự mơ hồ". Máy tự động không rõ ràng nếu có một từ với ít nhất hai lần chạy chấp nhận riêng biệt. Một máy là -ambiguous nếu vì …

17 lo.logic  automata-theory  regular-language  nondeterminism  finite-model-theory 

Bài báo của Fischer trong tháng này đã nhắc nhở tôi rằng tôi biết rất ít về nghệ thuật cấu trúc dữ liệu cô đọng và thuật toán sử dụng chúng. Đối với những người không biết về cấu trúc dữ liệu cô đọng: Cho một cấu trúc tổ hợp, …

17 ds.data-structures  lower-bounds 

Trêu chọc Vì vấn đề là lâu dài nên đây là một trường hợp đặc biệt nắm bắt được bản chất của nó. Vấn đề: Đặt A là thuật toán chi tiết cho 3-SAT. Là vấn đề mô phỏng hoàn toàn thuật toán A (trên mọi trường hợp của vấn …

17 cc.complexity-theory  big-picture  structural-complexity 

Tôi đang tìm kiếm một ví dụ dễ dàng về hai hệ thống chuyển tiếp tương đương LTL, nhưng không theo dõi tương đương. Tôi đã đọc bằng chứng về Trace Equivalence tốt hơn LTL Equivalence trong cuốn sách "Nguyên tắc kiểm tra mô hình" (Baier / Katoen) nhưng tôi …

17 lo.logic  model-checking  linear-temporal-logic 

Dường như có rất nhiều công việc, đối với một số vấn đề NP-Hard, về việc phát triển các thuật toán chính xác theo thời gian theo cấp số mũ (nghĩa là kết quả của biểu mẫu: Thuật toán A giải quyết vấn đề trong thời gian O (c ^ …

17 ds.algorithms 

Tôi đã cố gắng đọc Ngọc trai của thiết kế thuật toán chức năng , và sau đó là Đại số lập trình , và có một sự tương ứng rõ ràng giữa các kiểu dữ liệu được xác định đệ quy (và đa thức), có cùng định nghĩa đệ …

17 cc.complexity-theory  co.combinatorics  functional-programming  ct.category-theory 

Tôi chưa quen với lý thuyết ngôn ngữ lập trình và tôi đang tìm kiếm một nguồn tài nguyên tốt về tài nguyên cho ngữ nghĩa chính thức của ngôn ngữ lập trình. Cụ thể tìm kiếm ngữ nghĩa hoạt động cấu trúc. Tôi đã nhận được một số khuyến …

17 reference-request  pl.programming-languages  semantics  formal-systems