Khoa học máy tính

Tôi hiểu rằng một số Giáo hội trông giống như (... n lần ...) . Điều này có nghĩa là không có gì nhiều hơn "hàm được áp dụng lần cho hàm ". λ s . λ z . s scncnc_nλs.λz.sλs.λz.s\lambda s. \lambda z. ss n zszszs\;zsssnnnzzz Một định nghĩa …

10 lambda-calculus  church-numerals 

Xem xét một mô hình CSP trong đó việc thay đổi giá trị của một biến cụ thể là tốn kém. Có công việc nào mà hàm mục tiêu cũng xem xét số lượng thay đổi trong giá trị của biến trong quá trình tìm kiếm không? Một ví dụ: …

10 algorithms  constraint-programming 

Cho một số nguyên và bộ ba số nguyên khác nhau tìm một thuật toán tìm hoán vị của tập sao cho hoặc xác định chính xác rằng không tồn tại hoán vị như vậy. Ít chính thức hơn, chúng tôi muốn sắp xếp lại các số từ 1 đến …

10 algorithms  optimization  scheduling 

OK, vì vậy đây là một câu hỏi từ một bài kiểm tra trước đây trong lớp Lý thuyết tính toán của tôi: Trạng thái vô dụng trong TM là trạng thái không bao giờ được nhập trên bất kỳ chuỗi đầu vào nào. Đặt Chứng minh rằng là không …

10 computability  undecidability  formal-methods  turing-machines 

Viết để mở rộng thập phân của (không có đầu ). Đặt và là các số nguyên, với . Xem xét ngôn ngữ của bản mở rộng thập phân của các bội số của một cộng một hằng số:ˉ nn¯\bar n nnn0mộtaabbbmột>0a>0a > 0aa M = { ¯ mộtx + …

10 formal-languages  context-free  regular-languages  integers 

Vì hiện tại, câu hỏi này không phù hợp với định dạng Hỏi & Đáp của chúng tôi. Chúng tôi hy vọng câu trả lời sẽ được hỗ trợ bởi các sự kiện, tài liệu tham khảo hoặc chuyên môn, nhưng câu hỏi này có thể sẽ thu hút tranh …

10 education 

Ban đầu về math.SE nhưng chưa được trả lời. Hãy xem xét các thuật toán sau. u := 0 v := n+1; while ( (u + 1) is not equal to v) do x := (u + v) / 2; if ( x * x <= n) u := x; …

10 algorithms  loop-invariants  correctness-proof 

Lập lịch hai cấp rất hữu ích khi hệ thống đang chạy nhiều tiến trình hơn phù hợp với RAM: bộ lập lịch cấp thấp chuyển đổi giữa các quy trình lưu trú và bộ lập lịch cấp cao hơn hoán đổi các nhóm quy trình vào và ra. Tôi …

10 operating-systems  process-scheduling 

Trong Bài toán kết hợp ổn định , có thể nói rằng có thể tồn tại các trường hợp trong đó danh sách nam có thể hài lòng với quyết định của họ, nhưng danh sách không thể khi thuật toán được chạy với đề xuất của nam giới.fmmmfff Từ …

10 combinatorics 

Trong mạng máy tính và thiết kế máy tính cụm hiệu năng cao, cấu trúc liên kết mạng đề cập đến thiết kế cách thức các nút được kết nối bằng các liên kết để tạo thành một mạng truyền thông. Các cấu trúc liên kết mạng phổ biến bao …

10 computer-networks  network-topology 

Tôi tò mò. Tôi đã làm việc với kiểu dữ liệu này ở OCaml : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Có thể được thao tác bằng cách sử dụng các hàm …

10 logic  programming-languages  coq  inductive-datatypes 

Tôi đang cố gắng hiểu điều gì là sai với bằng chứng sau đây về sự tái phát sau đây T(n)=2T(⌊n2⌋)+nT(n)=2T(⌊n2⌋)+n T(n) = 2\,T\!\left(\left\lfloor\frac{n}{2}\right\rfloor\right)+n T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n)T(n)≤2(c⌊n2⌋)+n≤cn+n=n(c+1)=O(n) T(n) \leq 2\left(c\left\lfloor\frac{n}{2}\right\rfloor\right)+n \leq cn+n = n(c+1) =O(n) Tài liệu nói rằng nó sai vì giả thuyết quy nạp rằng T(n)≤cnT(n)≤cn T(n) \leq cn Tôi …

10 algorithms  landau-notation  asymptotics  recurrence-relation 

Hãy là tập hợp các thiết bị đầu cuối và N tập các biểu tượng không đầu cuối của một số bối cảnh tự do văn phạm G .ΣΣ\SigmaNNNGGG Nói rằng tôi có một chuỗi mà x một y ∈ S ( G ) nơi x , y ∈ ( …

10 algorithms  context-free  formal-grammars  compilers 

Logic thời gian tuyến tính và Büchi automata xác định là không thể so sánh được: DBA không thể biểu thị và LTL không thể biểu thị "ít nhất mỗi chữ cái lẻ là 'a'" . Nhưng đôi khi thật thú vị khi biết liệu ngôn ngữ của một DBA …

10 logic  automata  linear-temporal-logic  buchi-automata 

Cuốn sách của tôi nói điều này Nếu một vấn đề quyết định B nằm trong P và A giảm xuống B, thì vấn đề quyết định A nằm ở P. Một vấn đề quyết định B là NP hoàn thành nếu B ở NP và với mọi vấn đề …

10 complexity-theory  np-complete  decision-problem