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

Tôi tiếp tục nghe về cách người ta phải học lý thuyết thể loại để thực sự hiểu lý thuyết ngôn ngữ lập trình. Cho đến nay, tôi đã học được rất nhiều PL mà không bao giờ bước chân vào vương quốc của các thể loại. Tuy nhiên, tôi …

13 reference-request  programming-languages  type-theory  category-theory 

Trang vấn đề đẳng cấu đồ thị của Wikipedia dường như chỉ ra rằng, không, nó chưa được giải quyết. Tuy nhiên, một người bạn của tôi đã chỉ ra Thuật toán thời gian đa thức cho biểu đồ đẳng cấu . Tôi không đủ tinh vi để làm theo …

13 complexity-theory  reference-request  time-complexity  graph-isomorphism 

Có một số cách tự nhiên hoặc đáng chú ý để liên kết hoặc liên kết các nhóm toán học và ngôn ngữ chính thức CS hoặc một số khái niệm CS cốt lõi khác, ví dụ như máy Turing? Tôi đang tìm kiếm tài liệu tham khảo / ứng …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

Tôi đã tự hỏi nếu ai đó biết nguồn gốc của mô hình máy chủ khách hàng. Thuật ngữ này đến từ đâu (giấy, ứng dụng phần mềm, sách)?

13 terminology  reference-request  distributed-systems  history 

Các bài viết Thư Vấn đề (PCP) là undecidable. Các phiên bản bị chặn của PCP là -complete và phiên bản đánh dấu của PCP (lời của một trong hai danh sách được yêu cầu khác nhau về chữ cái đầu tiên) là trong P S P Một C E …

13 complexity-theory  computability  reference-request 

Có một vấn đề phổ biến [1] [2] trong khoa học máy tính là tìm ra số lượng đường thẳng tối thiểu bao gồm một tập hợp các điểm nhất định trong 2D. Mặc dù tôi đã quét nhiều bài báo, nhưng không ai trong số họ có động lực …

12 reference-request  computational-geometry  applied-theory 

Xét về thời gian chạy tiệm cận trong trường hợp xấu nhất, bài toán hoàn thành NP nào có thuật toán (chính xác) được biết đến nhanh nhất và thuật toán là gì? Có cái gì được biết là nhanh hơn không?Ô ( n2* 2n)Ôi(n2*2n)O(n^2*2^n)

12 algorithms  reference-request  np-complete 

Tôi đang cố gắng giải bài toán 25k mệnh đề 5k biến SAT. Vì nó đã chạy được một giờ (preosat) và tôi muốn giải quyết những vấn đề lớn hơn sau đó, tôi đang tìm kiếm một SAT-Solver đa lõi. Vì dường như có nhiều SAT-Solvers, tôi khá lạc …

12 algorithms  reference-request  parallel-computing  sat-solvers 

Tôi không biết liệu đó có phải là một trò đùa hay không, nhưng một khi tôi đã đọc những gì được gọi là định nghĩa chính thức của một tệp trong một hệ thống phiên bản như git, hg hoặc svn. Nó giống như một vật thể toán học …

12 terminology  reference-request 

Tôi đang tự hỏi, sự phức tạp về thời gian của việc xác định sự trống rỗng cho các DFA 2 chiều là gì? Đó là, automata hữu hạn có thể di chuyển ngược trên băng đầu vào chỉ đọc của họ. Theo Wikipedia, chúng tương đương với DFA, mặc …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

Có công cụ nào để tạo nguyên mẫu một ngữ nghĩa và hệ thống ngôn ngữ lập trình và điều đó cũng cho phép một số loại kiểm tra mô hình của các thuộc tính tiêu chuẩn, như âm thanh loại? Tôi đang hỏi điều này, bởi vì tôi đang …

11 reference-request  programming-languages  semantics  model-checking 

Tôi tự hỏi liệu có bất kỳ vấn đề -hard nào là "đa thức" trong trường hợp trung bình không. Tôi nghĩ có hai cách để giải thích điều này?NPNPNP Nếu , có thể có một thuật toán giải quyết vấn đề -hard với thời gian chạy được khấu hao …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

Bạn có thể cho tôi một số gợi ý về một cuốn sách giới thiệu tốt (nhưng toàn diện) về Logic và tính toán không? Một số chủ đề mờ mà tôi có trong tâm trí là: Presih artihm., PA, ZF, ZFC, HOL Đặt lý thuyết, lý thuyết loại Mô …

11 reference-request  logic  books 

Theo bài viết trên Wikipedia về các sơ đồ xấp xỉ thời gian đa thức : Tất cả các vấn đề trong FPTAS đều có thể điều chỉnh tham số cố định. Kết quả này làm tôi ngạc nhiên - những lớp học này dường như hoàn toàn khác biệt …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

Cho công việc , mỗi công việc yêu cầu thời gian để hoàn thành.nnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N Mỗi công việc phải được xử lý trước và xử lý sau bởi một máy M chỉ có thể xử lý 1 công việc tại một thời điểm và cả hai …

11 complexity-theory  reference-request  scheduling