Câu hỏi được gắn thẻ «induction»

Trong khóa học Lý thuyết tính toán của tôi, rất nhiều vấn đề của chúng tôi liên quan đến việc sử dụng cảm ứng trên độ dài của chuỗi đầu vào để chứng minh các tuyên bố về automata hữu hạn. Tôi hiểu cảm ứng toán học, tuy nhiên khi …

20 automata  finite-automata  proof-techniques  reference-question  induction 

Tôi đang đọc qua cuốn sách HoTT và tôi có một khoảng thời gian khó khăn với cảm ứng đường dẫn. Khi tôi nhìn vào loại trong phần 1.12.1 : tôi không có vấn đề gì để hiểu điều đó có nghĩa là gì (tôi vừa viết loại từ bộ …

17 induction  dependent-types  homotopy-type-theory 

Do "quy nạp" và "đệ quy" có nghĩa là rất giống nhau? Ví dụ: nếu có một thuật toán xác định vectơ n-dim bằng cách xác định các thành phần k + 1 đầu tiên dựa trên các thành phần k đầu tiên của nó đã được xác định và …

11 algorithms  terminology  recursion  induction 

Cảm ứng cảm ứng là gì? Các tài nguyên tôi tìm thấy là: sách HoTT , ở cuối chương 5.7. bài viết của nLab một bài báo gọi là định nghĩa quy nạp bài đăng trên blog này cũng đề cập đến các loại quy nạp Hai tài liệu tham …

11 type-theory  induction  inductive-datatypes 

Bằng chứng này là một bằng chứng bằng cảm ứng, và đi như sau: P (n) là khẳng định rằng "Quicksort sắp xếp chính xác mọi mảng đầu vào có độ dài n." Trường hợp cơ sở: mọi mảng đầu vào có độ dài 1 đã được sắp xếp (P …

10 correctness-proof  induction  quicksort 

Giải quyết mối quan hệ lặp lại . Cuốn sách mà ví dụ này là, tuyên bố sai rằng bằng cách đoán và sau đó tranh luận T(n)=2T(⌊n/2⌋)+nT(n)=2T(⌊n/2⌋)+nT(n) = 2T(\lfloor n/2 \rfloor) + nT(n)=O(n)T(n)=O(n)T(n) = O(n)T(n)≤cnT(n)≤cnT(n) \leq cn T(n)≤2(c⌊n/2⌋)+n≤cn+n=O(n)⟵ wrong!!T(n)≤2(c⌊n/2⌋)+n≤cn+n=O(n)⟵ wrong!!\qquad \begin{align*} T(n) & \leq 2(c \lfloor n/2 \rfloor ) …

7 proof-techniques  asymptotics  recurrence-relation  landau-notation  induction