Khoa học máy tính

Gần đây tôi đã phát hiện ra KRR (Đại diện kiến ​​thức và lý luận) và ASP, không nghe thấy gì về họ trước đây (ngoại trừ một chút về prolog). Tôi đã đọc một chút về họ và một trong những cách sử dụng chính của họ dường như …

9 prolog 

Giả sử các cạnh không bị ảnh hưởng, có trọng lượng duy nhất và không có đường dẫn âm, liệu các thuật toán này có tạo ra cùng một Cây kéo dài tối thiểu không?

9 graphs  trees  minimum-spanning-tree 

Tôi đã cố gắng để trêu chọc các định nghĩa về an toàn loại và âm thanh loại và tôi đang có một thời gian của nó. Tôi đã hỏi một giáo sư gần đây và sau một chút suy nghĩ, anh ấy nói rằng thực sự không có gì …

9 programming-languages  type-theory  type-checking 

Tôi có thể tìm một số mã ở đâu để tạo các bước tự tránh ngẫu nhiên trên các mạng 2 và 3 chiều có độ dài cạnh là sức mạnh của hai? Việc đi bộ phải đi qua mọi điểm trên mạng Cụ thể hơn, làm thế nào tôi …

9 random-walks  lattices 

Theo nguồn tin này, hằng số Chaitin ΩΩ\Omega là bình thường. Mỗi xác suất tạm dừng là một số thực bình thường và siêu việt không thể tính toán được, điều đó có nghĩa là không có thuật toán để tính các chữ số của nó. Thật vậy, mỗi xác …

9 halting-problem 

Giả sử rằng bạn mở rộng Tính toán công trình bằng "lỗ hổng" - tức là các đoạn mã chưa hoàn chỉnh mà bạn chưa điền. Tôi tự hỏi nếu có một thuật toán để tự động điền các vai trò đó. Ví dụ: (sử dụng cú pháp của Morte …

9 machine-learning  programming-languages  unification 

Tôi đã giải quyết quan hệ tái phát. Mối quan hệ tái phát đầu tiên là T(n)=2T(n/2)+nT(n)=2T(n/2)+nT(n)=2T(n/2)+n Giải pháp của phương pháp này có thể được tìm thấy bằng Định lý Master hoặc phương pháp cây tái phát. Cây tái phát sẽ là một cái gì đó như thế này: …

9 recurrence-relation 

Tôi đã tìm hiểu về các đường dẫn dài nhất và tình cờ thấy rằng các đường dẫn dài nhất trong đồ thị chung không thể giải quyết được bằng lập trình động bởi vì vấn đề thiếu cấu trúc tối ưu (mà tôi nghĩ rằng câu lệnh cần được …

9 algorithms  graphs  optimization  dynamic-programming 

Vào những năm 1950, một số phương pháp tối thiểu hóa mạch cho các hàm Boolean đã được phát minh. Có một phần mở rộng của các phương thức đó hoặc bất cứ điều gì tương tự để tối ưu hóa thời gian hoặc độ phức tạp không gian của …

9 algorithms  turing-machines  time-complexity  optimization  space-complexity 

Chuỗi là một lớp bất biến trong Java. Một lớp bất biến chỉ đơn giản là một lớp mà các thể hiện của chúng không thể được sửa đổi. Tại sao ngôn ngữ lập trình Java chọn làm cho các đối tượng của Chuỗi lớp không thay đổi?

9 programming-languages  language-design 

Tôi có một ma trận băng tần - một ma trận thưa thớt, vuông vắn, đối xứng có cấu trúc như sau:N× NN×NN \times N Ở đây, khu vực dưới các sọc xanh là các phần tử khác không; mọi thứ khác bằng không Có một thuật toán để đảo …

9 algorithms  linear-algebra  sparse-matrices 

Tôi đang học về phân trang. Cuốn sách của tôi nói rằng các địa chỉ logic do CPU tạo ra ở dạng |p|d|(số trang, bù trang) và các địa chỉ vật lý ở dạng |f|d|(số khung, bù khung). Nó cũng được đề cập cụ thể rằng dtức là phần bù …

9 memory-management  paging 

Một ma trận cổng không được kiểm soát trông như thế này: ⎡⎣⎢⎢⎢1000010000010010⎤⎦⎥⎥⎥[1000010000010010]\begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 1 & 0 \\ \end{bmatrix} Điều đó hoạt động …

9 quantum-computing 

Tôi được trình bày với một mạng lưới so sánh. Làm cách nào để xác định xem mạng so sánh có phải là mạng sắp xếp không? Trong hình bên dưới có một ví dụ về mạng sắp xếp lựa chọn và sắp xếp chèn. Mục đích là để có …

9 sorting 

Hoạt động phân tách có thể được thực hiện cho các cây AVL với độ phức tạp O ( nhật kýn )Ôi(đăng nhập⁡n)O(\log n) không? Tôi quan tâm đến các liên kết đến bài viết hoặc bất kỳ thông tin cụ thể về chủ đề này. Thao tác phân chia …

9 data-structures  search-trees  balanced-search-trees