Khoa học máy tính

Hãy ΣΣ\Sigma có một số tập hữu hạn các ký tự của kích thước cố định. Đặt là một chuỗi trên . Chúng tôi nói rằng một chuỗi con không trống của là lặp lại nếu cho một số chuỗi .αα\alphaΣΣ\Sigmaββ\betaαα\alphaβ=γγβ=γγ\beta = \gamma \gammaγγ\gamma Bây giờ, câu hỏi của tôi …

20 combinatorics  strings  word-combinatorics 

Đây là một câu đố về đo độ trễ mạng mà tôi tạo ra. Tôi tin rằng giải pháp là không thể, nhưng bạn bè không đồng ý. Tôi đang tìm kiếm lời giải thích thuyết phục theo cách nào. (Mặc dù nó được đặt ra như một câu đố, …

20 computer-networks  protocols  distributed-systems 

Nếu một hệ thống loại có thể gán một loại cho λ x . x x, hoặc không kết thúc (λx . x x) (λ x . x x), thì hệ thống đó có không nhất quán như một hệ quả không? Là tất cả các loại theo hệ thống …

20 lambda-calculus  dependent-types 

Tôi đang tìm kiếm một cấu trúc dữ liệu sẽ đẩy phần tử cũ nhất / cuối cùng của nó ra nếu phần tử mới được chèn vào. Ví dụ, hãy Dđại diện cho cấu trúc. Dchứa 3 phần tử của các Number Dgiá trị mặc định của loại sẽ …

20 data-structures  arrays  queues 

So sánh một cặp theo thứ tự (x, y) với một cặp không có thứ tự {x, y} (bộ), sau đó về mặt lý thuyết, sự khác biệt chỉ là một bit, vì x đến trước hay y yêu cầu chính xác một bit để biểu diễn. Vì vậy, nếu …

20 information-theory  data-compression 

Một bài báo có tên là Đạo hàm của loại thông thường là Loại bối cảnh một lỗ của nó cho thấy "dây kéo" của một loại hình chữ cái của nó có bối cảnh theo một quy tắc phân biệt trong đại số loại. Chúng ta có: ∂xx∂x0∂x1∂x(S+T)∂x(S×T)↦1↦0↦0↦∂xS+∂xT↦∂xS×T+S×∂xT∂xx↦1∂x0↦0∂x1↦0∂x(S+T)↦∂xS+∂xT∂x(S×T)↦∂xS×T+S×∂xT\begin{align} \partial_x …

20 type-theory  algebra 

Trong cuốn sách của Andrew W. Appel, Modern Compiler Thực hiện trong ML , ông nói trong chương 17 rằng lý thuyết tính toán cho thấy rằng sẽ luôn luôn có thể phát minh ra các phép biến đổi tối ưu hóa mới và tiến hành chứng minh rằng trình …

20 computability  compilers  program-optimization 

Tôi biết tính toán là gì trong một số ý nghĩa mơ hồ (đó là điều máy tính làm), nhưng tôi muốn một định nghĩa chặt chẽ hơn. Dictionary.comCác định nghĩa về tính toán, tính toán, tính toán và tính toán là thông tư, vì vậy nó không có ích. …

20 terminology  computability 

Một số thuật toán phức tạp ( union-find ) có hàm Ackermann nghịch đảo gần như không đổi xuất hiện trong độ phức tạp thời gian tiệm cận và tối ưu hóa thời gian trong trường hợp xấu nhất nếu bỏ qua thuật ngữ Ackermann nghịch đảo gần như không …

20 reference-request  algorithm-analysis  time-complexity  runtime-analysis 

Các ngôn ngữ không ngữ cảnh không được đóng dưới bổ sung, chúng tôi biết rằng. Theo như tôi hiểu, các ngôn ngữ không ngữ cảnh là một tập hợp con của đối với một số chữ cái được đóng dưới phần bổ sung (!)a∗b∗a∗b∗a^*b^*a,ba,ba,b Đây là lý lẽ của …

20 formal-languages  reference-request  context-free  closure-properties 

Ok trước khi tôi bắt đầu tôi nhận ra điều này nằm ở rìa của chủ đề (tôi đã đọc phần Trợ giúp Câu hỏi cho trang web này), đặc biệt vì đây không phải là vấn đề trong thế giới thực. Tuy nhiên: Tôi không thể tìm thấy bất …

20 reference-request  human-computing 

Điều này được lấy cảm hứng từ một câu hỏi phỏng vấn . Chúng tôi đang đưa ra một mảng các số nguyên a1,…,ana1,…,ana_1, \dots, a_n và phải xác định xem có khác biệt i<j<ki<j<ki \lt j \lt k đến nỗi ak−aj=aj−aiak−aj=aj−aia_k - a_j = a_j - a_i k−j=j−ik−j=j−ik - …

20 algorithms  complexity-theory  lower-bounds 

Wikipedia nêu vấn đề tổng hợp tập hợp con khi tìm tập hợp con của một số nguyên đã cho, có tổng bằng không. Hơn nữa, nó nói rằng nó tương đương với việc tìm một tập hợp con với tổng cho bất kỳ cho .ssssss Vì vậy, tôi tin …

20 complexity-theory  reductions  np-hard 

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính lý thuyết bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính. Di cư 6 năm trước . Trong thiết kế trình biên dịch, tại sao phải …

20 formal-grammars  compilers  left-recursion 

Tinh chỉnh phân vùng là một kỹ thuật trong đó bạn bắt đầu với một tập hợp các đối tượng hữu hạn và dần dần phân tách tập hợp. Một số vấn đề, như tối thiểu hóa DFA, có thể được giải quyết bằng cách sử dụng sàng lọc phân …

20 algorithms  reference-request  data-structures  partitions  sets