Khoa học máy tính

Đặt là tập hợp các chuỗi trên bảng chữ cái có tổng số ký hiệu.AAA{0,…,m−1}{0,…,m−1}\{0,\ldots,m-1\}nnn Nhiệm vụ của bạn là sắp xếp từng chuỗi bên trong, sau đó sắp xếp các chuỗi kết quả theo thứ tự từ điển. (Thuật toán của bạn không phải vận hành theo cách này.) …

8 algorithms  sorting  strings 

Theo một số slide tôi tìm thấy trên google, treewidth của bất kỳ biểu đồ lưới vuông là . Tôi mới bắt đầu nghiên cứu về treewidth và phân hủy cây, và phần lớn nó có ý nghĩa. Tuy nhiên, tôi đặc biệt quan tâm đến trường hợp biểu đồ …

8 graph-theory  planar-graphs  square-grid 

Vấn đề của tôi là tìm tất cả các giải pháp số nguyên cho ILP. Ví dụ, tôi đang sử dụng ILP với hai biến, nhưng tôi có thể có nhiều hơn hai biến. Tôi mô tả phương pháp tôi hiện đang sử dụng để giải quyết vấn đề này …

8 linear-programming 

Hôm qua StackOverflow đã ngừng hoạt động trong nửa giờ. Sau đó, họ đã viết một bài đăng trên blog về nó , chi tiết rằng vấn đề bắt nguồn từ sự phức tạp cao bất ngờ của kết hợp biểu thức chính quy. Nói tóm lại, biểu thức chính …

8 algorithms  time-complexity  regular-expressions 

Trong tính phức tạp tính toán: Cách tiếp cận hiện đại của Arora và Barak , nó đã đề cập rằng Tuy nhiên, chúng tôi sẽ yêu cầu vì băng công việc có độ dài và chúng tôi muốn máy ít nhất có thể nhớ chỉ mục của ô của …

8 complexity-theory  turing-machines  space-complexity 

Tôi làm việc trong năng lượng tái tạo. Công ty tôi tập hợp rất nhiều dữ liệu từ thiết bị. Điều này thường bao gồm dữ liệu quá trình (như nhiệt độ máy biến áp, điện áp đường dây, dòng điện, v.v.) và các báo động riêng biệt (ví dụ …

8 machine-learning  data-mining  pattern-recognition  time-series-analysis 

Trong các kiểu phụ thuộc, thống nhất mẫu Miller được sử dụng để giải quyết một đoạn có thể quyết định của thống nhất bậc cao. Điều này cho phép các ngôn ngữ được gõ phụ thuộc để chứa các biến số hoặc đối số ngầm. Có nhiều bài viết …

8 reference-request  lambda-calculus  type-theory  dependent-types  unification 

Lý lịch Tôi đã chơi PC-Game "Darkest Dungeon" gần đây. Trong trò chơi, bạn phải khám phá các hầm ngục, bao gồm các phòng được kết nối như trong hình dưới đây. Đây là các quy tắc: Bạn bắt đầu trong phòng cố định (Lối vào). Bạn không thể chọn …

8 algorithms  graphs  optimization  shortest-path 

Với thực tế là các qbit có sự chồng chất và có sức mạnh đại diện hơn so với các mạch, có vấn đề nào cần ít nhất thời gian theo cấp số nhân để đảm bảo một giải pháp với máy tính lượng tử không? Tôi đã kiểm tra …

8 complexity-theory  quantum-computing 

Một đồ thị hình học ngẫu nhiên ( https://en.wikipedia.org/wiki/Random_geometric_graph ) được xây dựng bằng cách chọn điểm trong một cách ngẫu nhiên theo một số phân phối và đặt nếu , đối với một số tham số r . Đồ thị hình học được sử dụng trong mô hình mạng …

8 algorithms  graphs 

Mối quan hệ và sự khác biệt giữa mô hình lập trình và mô hình lập trình là gì? (đặc biệt khi nói về mô hình lập trình và mô hình lập trình cho ngôn ngữ lập trình.) Wikipedia cố gắng trả lời câu hỏi của tôi trong 1: Các …

8 terminology  programming-languages  computation-models  programming-paradigms 

Các phương thức truyền tải cây được giải thích trong bài viết Wikipedia này là đặt hàng trước, đặt hàng sau và theo thứ tự. Là những phương pháp giới hạn trong cây nhị phân? Thuật toán dường như được định nghĩa theo khía cạnh con trái và phải. Nếu …

8 graph-theory  trees  graph-traversal 

Ngôn ngữ rõ ràng là thông thường - ví dụ: nó phù hợp với biểu thức chính quy . Nhưng đối số bổ đề bơm sau đây dường như cho thấy nó không thường xuyên. Có chuyện gì vậy?L={02n | n≥0}L={02n | n≥0}L = \{0^{2n} \space |\space n \ge 0 …

8 formal-languages  regular-languages  proof-techniques  pumping-lemma  reference-question 

Tôi mới bắt đầu đọc về các hệ thống phân tán lần đầu tiên. Có một bằng chứng khá lắt léo về sự không thể đồng thuận trong một mô hình không đồng bộ bằng cách sử dụng một số cấu trúc liên kết. Mặt khác, có nhiều giao thức …

8 distributed-systems 

Tôi đã đọc về thuật toán Rabin Karp và tôi cứ tự hỏi không biết vấn đề lớn với việc giữ các giá trị băm lăn của chúng ta giới hạn bởi một giá trị Q là gì? Tôi đã nghĩ rằng đại diện số nguyên của chúng tôi trên …

8 algorithms  strings  rolling-hash