Khoa học máy tính

Theo dõi câu trả lời của vonbrand, tôi muốn viết một tài liệu nhỏ về các định lý tổng thể mạnh hơn cho các sinh viên của chúng tôi, một trong số đó là định lý Akra-Bazzi. Tôi đã sao chép định lý từ bài báo của họ [1] và …

8 asymptotics  recurrence-relation  master-theorem 

Tôi có một câu hỏi liên quan đến việc đếm DFA: Đưa ra một Σ = {0, 1}chuỗi đầu vào, với tập trạng thái Q = {1...n}, làm thế nào tôi có thể tìm thấy tổng số DFA có thể được xây dựng? Tôi tin rằng đây là một vấn …

8 finite-automata  combinatorics 

Tôi đang cố gắng tìm một giải pháp hiệu quả cho vấn đề của mình. Giả sử rằng tôi có đồ thị có trọng số dương Gchứa 100 nút (mỗi nút được đánh số) và đó là đồ thị theo chu kỳ. Vì vậy, không thể có bất kỳ cạnh …

8 graph-theory  graphs  shortest-path  weighted-graphs 

Các vấn đề phân vùng là một vấn đề nổi tiếng NP-đầy đủ. Trong các định nghĩa tôi đã thấy, đầu vào được giả sử là nhiều số nguyên và chúng tôi muốn quyết định sự tồn tại của một phân vùng thành hai bộ có cùng một tổng. Câu …

8 complexity-theory  np-complete  partitions 

Tôi hy vọng câu hỏi của tôi có ý nghĩa: Bắt đầu với tiền đề rằng việc tháo gỡ λλ\lambda tính toán tương đương với sức mạnh của máy Turing, với những gì trong máy Turing không thêm các loại vào λλ\lambda tính toán tương ứng? Có một số loại …

8 turing-machines  lambda-calculus  type-theory  church-turing-thesis 

Đếm tất cả các đường dẫn có thể, hoặc tất cả các đường dẫn có thể có độ dài nhất định, giữa một vài nút trong biểu đồ có hướng hoặc không có hướng là một vấn đề cổ điển. Cần chú ý đến tất cả các phương tiện, do …

8 algorithms  graphs  search-algorithms  shortest-path 

Tôi thường đọc mà quyết định có hay không một số là một modulo cặn bậc hai là một thú vị (và cứng) vấn đề từ lý thuyết số (đặc biệt là nếu là không nguyên tố).rrrnnnnnn Tôi đang xem xét trường hợp đặc biệt sau đây của vấn đề …

8 cryptography  number-theory 

Đối với ngôn ngữ có độ dài bơm và chuỗi , các bổ đề bơm như sau:LLLppps ∈ Ls∈Ls\in L Phiên bản thông thường : Nếu , sau đó có thể được viết là , thỏa mãn các điều kiện sau:| s | ≥p|s|≥p|s| \geq pSssx yzxyzxyz | y| ≥1|y|≥1|y|\geq …

8 formal-languages  regular-languages  context-free  pumping-lemma 

Người ta biết rằng các ngôn ngữ thông thường được đặc trưng bởi sự tương đương Myhill-Nerode. Đối với ngôn ngữLLL kết thúc Σ*Σ∗\Sigma^* xác định sự tương đương x~Lyx∼Lyx\sim_L y kết thúc Σ*Σ∗\Sigma^* iff cho tất cả z∈Σ*z∈Σ∗z\in\Sigma^* chúng ta có x z∈ L⟺yz∈ Lxz∈L⟺yz∈Lxz\in L \iff yz\in L. …

8 regular-languages  closure-properties 

Người ta nói rằng "Máy Turing không nhằm mục đích là công nghệ điện toán thực tế, mà là một thiết bị giả thuyết đại diện cho máy tính. Máy Turing giúp các nhà khoa học máy tính hiểu được giới hạn của tính toán cơ học." [Wikipedia] Vì vậy, …

8 turing-machines  computer-architecture  machine-models 

Cổng ngưỡng thực hiện chức năng ngưỡng tuyến tính trên đầu vào boolean được đưa ra theo phương trình: trong đó . Các được gọi là các trọng số của hàm ngưỡng và được gọi là ngưỡng và tự nhiên, cổng sẽ bắn trên đầu vào nếu tổng trọng số …

8 complexity-theory  circuits 

Tôi có hai chuỗi, trong đó một chuỗi là hoán vị của chuỗi kia. Tôi đã tự hỏi nếu có một sự thay thế cho khoảng cách Hamming trong đó thay vì tìm số lượng thay thế tối thiểu cần thiết, nó sẽ tìm thấy số lượng dịch tối thiểu …

8 terminology  string-metrics  permutations  edit-distance 

Dưới đây là biểu thức lambda mà tôi thấy khó giảm, tức là tôi không thể hiểu làm thế nào để giải quyết vấn đề này. ( Λ m n . ( Λ s z. m s ( n s z) ) ) ( Λ s z. s z) ( …

8 logic  lambda-calculus 

Nếu chúng khác nhau, các vấn đề điển hình trong mỗi vấn đề không thuộc về loại khác là gì? Hoặc là loại trừ lẫn nhau hoặc người này hoàn toàn nắm bắt được người kia?

8 computability  terminology 

Giới thiệu về Thuật toán , phiên bản thứ 3 (tr.95) có một ví dụ về cách giải quyết sự tái diễn T(n)=3T(n4)+n⋅log(n)T(n)=3T(n4)+n⋅log⁡(n)\displaystyle T(n)= 3T\left(\frac{n}{4}\right) + n\cdot \log(n) bằng cách áp dụng Định lý tổng thể. Tôi rất bối rối bởi cách nó được thực hiện. Vì vậy, Bước đầu …

8 asymptotics  recurrence-relation  landau-notation  mathematical-analysis  master-theorem