Khoa học máy tính

Giả sử hai danh sách các mục so sánh: u và s. Đặt INV (u) là số lượng nghịch đảo trong u. Tôi đang tìm kiếm một thuật toán hiệu quả để chèn các mục của s vào u với mức tăng tối thiểu của INV (u). Về cơ bản …

15 algorithms  sorting 

Trong bài viết của Philip Wadler về các định lý miễn phí , ông nêu trong Phần 2 về Tham số không có mô hình lý thuyết tập hợp ngây thơ nào của phép tính lambda đa hình Trong các kiểu mô hình lý thuyết tập hợp ngây thơ là …

15 functional-programming 

Tôi rất quen thuộc với Dijkstra và tôi có một câu hỏi cụ thể về thuật toán. Nếu tôi có một biểu đồ khổng lồ, ví dụ 3,5 tỷ nút (tất cả dữ liệu OpenStreetMap) thì rõ ràng tôi sẽ không thể có biểu đồ trong bộ nhớ, vì vậy …

15 algorithms  graph-theory  graphs  shortest-path 

Đặt . Một ngôn ngữ được cho là có sự "chống palindrome" tài sản nếu cho mỗi chuỗi đó là một palindrome, . Bên cạnh đó, đối với mỗi chuỗi đó là không một palindrome hoặc hoặc , nhưng không phải cả hai (!) (Không bao gồm hoặc).Σ={0,1}Σ={0,1}\Sigma = \{ …

15 formal-languages 

Trong cuốn sách văn bản của tôi nó được đề cập rằng: nơi ∅ là một ngôn ngữ trống rỗng.∅∗={ϵ}∅∗={ϵ}\emptyset^*=\{\epsilon\}∅∅\emptyset Tuy nhiên, chúng ta biết rằng , nơi L là bất kỳ ngôn ngữ.L⋅∅=∅L⋅∅=∅L \cdot \emptyset = \emptysetLLL Tôi không thể bằng trực giác nắm bắt khái niệm này bởi …

15 formal-languages  kleene-star 

Những gì hiện logO(1)n\log^{O(1)}n trung bình? Tôi biết về ký hiệu big-O, nhưng ký hiệu này không có ý nghĩa với tôi. Tôi cũng không thể tìm thấy bất cứ điều gì về nó, bởi vì không có cách nào công cụ tìm kiếm diễn giải điều này một cách …

15 asymptotics  landau-notation 

Có thể phân tích tài liệu bằng một lần chuyển từ máy trạng thái. Lợi ích của việc có hai đường chuyền là gì, tức là. có một lexer để chuyển đổi văn bản thành mã thông báo và có trình phân tích cú pháp để kiểm tra quy tắc …

15 compilers  parsers 

Mùa thu năm ngoái tôi đã đi tour du lịch của siêu máy tính Blue Waters tại Đại học Illinois. Tôi hỏi liệu có ai từng sử dụng toàn bộ máy tính không. Tôi đã nói rằng nó luôn luôn làm việc trên nhiều dự án. Điều đó khiến tôi …

15 computer-architecture 

Câu đố "Flow Free" bao gồm một số nguyên dương và một tập hợp các cặp đỉnh khác nhau (không có thứ tự) trong biểu đồ lưới sao cho mỗi đỉnh có nhiều nhất một cặp. Một giải pháp cho câu đố như vậy là một tập hợp các đường …

15 np-hard  square-grid 

Một số CPU có đăng ký cờ (ARM, x86, ...), số khác thì không (MIPS, ...). Lợi thế của việc có một lệnh CMP để cập nhật thanh ghi cờ theo sau là lệnh rẽ nhánh thay vì sử dụng thanh ghi 0 và các nhánh có điều kiện để …

15 computer-architecture 

Tôi bối rối về lý do tại sao các nhà thiết kế MIPS sẽ bao gồm 5 bit dành riêng cho việc dịch chuyển và có các bit opcode và hàm riêng biệt. Bởi vì MIPS rất RISC, tôi cho rằng việc chuyển đổi sẽ được thực hiện theo một …

15 computer-architecture 

Tôi biết rằng có thể chứng minh PRITAL là Turing-Complete bằng cách xây dựng một chương trình mô phỏng máy Turing như thế này: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- …

15 programming-languages  turing-completeness  logic-programming  prolog 

Tôi có một tứ diện và một khối đa diện . bị ràng buộc sao cho nó luôn chia sẻ tất cả các đỉnh của nó với . Tôi muốn xác định xem nằm bên trong .ttt ppptttpppttt ppp Tôi muốn thêm một chi tiết cho vấn đề trong trường …

15 algorithms  computational-geometry  topology 

Tôi đang cố gắng xây dựng tất cả các ma trận không tương đương (hoặc nếu bạn muốn) với các phần tử 0 hoặc 1. Thao tác cung cấp ma trận tương đương là trao đổi đồng thời của hàng i và j VÀ cột i và j . ví …

15 algorithms  combinatorics 

Tôi đang cố gắng học để kiểm tra và tôi nhận ra rằng tôi bối rối về cách TLB và bộ đệm dữ liệu hoạt động. Tôi hiểu rằng TLB về cơ bản là bộ đệm của các địa chỉ vật lý được sử dụng gần đây nhất. Tuy nhiên, …

15 computer-architecture  cpu-cache  virtual-memory