Khoa học máy tính

Cho một đồ thị có trọng số, không có hướng G: Những điều kiện nào phải giữ đúng để có nhiều cây bao trùm tối thiểu cho G? Tôi biết rằng MST là duy nhất khi tất cả các trọng số đều khác biệt, nhưng bạn không thể đảo ngược …

22 graphs  graph-theory  weighted-graphs  spanning-trees  minimum-spanning-tree 

Tôi đang chuẩn bị cho một cuộc phỏng vấn mã hóa và tôi thực sự không thể tìm ra cách hiệu quả nhất để giải quyết vấn đề này. Giả sử chúng ta có hai mảng bao gồm các số chưa được sắp xếp. Mảng 2 chứa một số mà …

22 algorithms  search-algorithms  arrays  efficiency 

Hãy xem xét các nhiệm vụ thuật toán sau: Đầu vào: một số nguyên dương , cùng với hệ số nguyên tố của nó Tìm: các số nguyên dương thu nhỏ , tuân theo giới hạnnnnx,y,zx,y,zx,y,zxy+yz+xzxy+yz+xzxy+yz+xzxyz=nxyz=nxyz=n Sự phức tạp của vấn đề này là gì? Có một thuật toán đa …

22 algorithms  optimization  integers 

Tôi muốn biết nếu có một quy tắc để chứng minh điều này. Ví dụ: nếu tôi sử dụng luật phân phối, tôi sẽ chỉ nhận được .( Một ∨ Một ) ∧ ( A ∨ ¬ B )(Một∨Một)∧(Một∨¬B)(A \lor A) \land (A \lor \neg B)

22 logic  propositional-logic 

Người ta biết rằng suy luận kiểu Hindley-Milner (kiểu -calculus được gõ đơn giản với đa hình) có kiểu suy luận có thể quyết định: bạn có thể xây dựng lại các loại nguyên tắc cho bất kỳ chương trình nào mà không cần bất kỳ chú thích nào.λλ\lambda Việc …

22 undecidability  type-theory  type-inference  dependent-types 

Trên trang web Sắp xếp thuật toán , yêu cầu sau được đưa ra: Thuật toán sắp xếp lý tưởng sẽ có các thuộc tính sau: Ổn định: Các khóa bằng nhau không được sắp xếp lại. Hoạt động tại chỗ, yêu cầu không gian thêm .O(1)O(1)O(1) So sánh khóa …

22 algorithms  sorting 

Gần đây tôi đã tình cờ thấy bài viết thú vị sau đây tuyên bố sẽ nén hiệu quả các bộ dữ liệu ngẫu nhiên hơn 50%, bất kể loại và định dạng của dữ liệu. Về cơ bản, nó sử dụng các số nguyên tố để xây dựng một …

22 information-theory  data-compression  primes 

Tôi muốn bắt đầu câu hỏi bằng cách nói tôi là một lập trình viên và tôi không có nhiều nền tảng về lý thuyết phức tạp. Một điều mà tôi nhận thấy là trong khi nhiều vấn đề đã hoàn thành NP, khi mở rộng sang các vấn đề …

22 complexity-theory  optimization  np  approximation 

Có lẽ sự hiểu biết hạn chế của tôi về chủ đề này là không chính xác, nhưng đây là những gì tôi hiểu cho đến nay: Lập trình chức năng dựa trên Lambda Tính, được xây dựng bởi Alonzo Church. Lập trình bắt buộc dựa trên mô hình máy …

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

Những gì tôi muốn làm là biến một bài toán tôi có thành bài toán thỏa mãn boolean (SAT) và sau đó giải nó bằng SAT Solver. Tôi tự hỏi nếu ai đó biết một hướng dẫn, hướng dẫn hoặc bất cứ điều gì sẽ giúp tôi chuyển đổi vấn …

22 algorithms  reductions  satisfiability 

Khi nói đến việc thiết kế các thuật toán, người ta thường sử dụng các kỹ thuật sau: Lập trình năng động Chiến lược tham lam Phân chia và chinh phục Trong khi đối với hai phương pháp đầu tiên, có những nền tảng lý thuyết nổi tiếng, đó là …

22 algorithms  reference-request  divide-and-conquer 

Câu hỏi: Có quy trình hoặc lý thuyết được thiết lập để tạo mã áp dụng hiệu quả phép nhân vectơ ma trận hay không, khi ma trận dày đặc và chỉ chứa các số 0 và số không? Lý tưởng nhất là mã được tối ưu hóa sẽ sử …

22 linear-algebra  matrices  program-optimization 

Câu hỏi này đã được di chuyển từ Stack Overflow vì nó có thể được trả lời trên Computer Science Stack Exchange. Di cư 5 năm trước . Tôi vẫn đang học lập trình chức năng (với f #) và gần đây tôi đã bắt đầu đọc về các biểu …

22 functional-programming 

Chỉ định ngôn ngữ chính thức bằng cách đưa ra các ngữ pháp chính thức là một nhiệm vụ thường xuyên: chúng ta cần ngữ pháp không chỉ để mô tả các ngôn ngữ, mà còn để phân tích chúng, hoặc thậm chí làm khoa học thích hợp . Trong …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

Lập trình hàm sử dụng các cấu trúc dữ liệu liên tục và các đối tượng bất biến. Câu hỏi của tôi là tại sao điều quan trọng là phải có cấu trúc dữ liệu như vậy ở đây? Tôi muốn hiểu ở mức độ thấp những gì sẽ xảy …

22 data-structures  functional-programming  programming-paradigms  persistent-data-structure