Khoa học máy tính

Tôi đã loay hoay với vấn đề này trong một giờ qua, và tôi vô cùng bối rối. Đặt . Cho thấy là thường xuyên.A={0ku0k∣k≥1 and u∈Σ∗}A={0ku0k∣k≥1 and u∈Σ∗}A = \{\; 0^ku0^k \mid k ≥ 1 \text{ and }u ∈ Σ^*\;\}AMộtA Ngôn ngữ rõ ràng thỏa mãn Bổ đề bơm, …

7 formal-languages  regular-languages 

Câu hỏi này là bài tập về nhà (mặc dù không sử dụng vấn đề thực tế)! Giả sử bạn có một chức năng được mô tả là: f(n)∈O(2n2).f(n)∈O(2n2).f(n) \in O(2n^2) \, . Bạn có thể tiếp tục điều trị như sau: f(n)=2n2f(n)=2n2f(n) = 2n^2 và thực hiện toán học …

7 asymptotics  landau-notation  mathematical-foundations 

Tôi muốn biết thuật toán tìm kiếm văn bản Boyer-Moore với quy tắc của Galil hoạt động như thế nào ,. Tôi đã cố gắng tìm kiếm nhưng tôi không thể hiểu thông tin tôi tìm thấy, ví dụ trang Wikipedia này . Và tại sao với quy tắc này, …

7 algorithms  algorithm-analysis  search-algorithms  strings  exact-string-matching 

Để mã BIOS có vấn đề, nó phải được bộ xử lý đánh giá. Tuy nhiên, bản thân bộ xử lý cần phải làm việc để thực sự có quyền truy cập vào mã BIOS, vì CPU chỉ thực hiện các hướng dẫn được đưa ra, nên phải đưa ra …

7 computer-architecture  cpu 

Tìm kiếm thứ gì đó trong danh sách chưa sắp xếp là một nhiệm vụ với độ phức tạp thời gian . Tuy nhiên, nếu danh sách được sắp xếp, độ phức tạp thời gian là . Điều đó có nghĩa là đôi khi đáng để sắp xếp một mảng. …

7 algorithms  complexity-theory  time-complexity  sorting 

Vì thế, A⩽mBA⩽mB A\leqslant_mB (giảm nhiều thành một) có nghĩa là ngôn ngữ AAA có thể được giảm thành ngôn ngữ BBB nếu tồn tại hàm Turing có thể tính được fff nên f(A)⊆Bf(A)⊆B f(A) \subseteq B và f(A¯¯¯¯)⊆B¯¯¯¯f(A¯)⊆B¯ f(\overline{A}) \subseteq \overline{B} . A⩽TBA⩽TB A\leqslant_TB (Turing tính khử) có nghĩa …

7 computability  reductions 

Có một số câu hỏi trên internet (trang này và các trang khác; ví dụ: Tại sao không có thuật toán mã hóa dựa trên các vấn đề NP-Hard đã biết? ) Thảo luận về độ cứng NP của các hệ thống mật mã bất đối xứng khác nhau. Các …

7 complexity-theory  np-complete  cryptography 

Trong cuốn sách Tính toán, Độ phức tạp và Ngôn ngữ ( ấn bản lần 2 ), Martin Davis viết trong chương 1 (Sơ bộ), phần 2 (Chức năng): Một chức năng từng phần trên một tập hợp chỉ đơn giản là một hàm mà miền là một tập hợp …

7 mathematical-foundations 

Mục tiêu của Turing trong khi xây dựng khái niệm của mình là chính thức hóa cách con người thực hiện lý luận trừu tượng. Bây giờ hãy sửa tôi nếu tôi sai nhưng lý do đó dường như chỉ là một bài tập mà bạn thao tác một tập …

7 formal-languages  turing-machines 

Có tài liệu nào trong tài liệu đề cập đến nhiệm vụ phát hiện đối tượng sau đây không? Nhiệm vụ có thể được mô tả như sau: Cho một tập hợp các hình ảnh, các nhãn chỉ là tọa độ (x, y) đại diện cho các vị trí đối …

7 machine-learning  image-processing  computer-vision  data-mining 

Vấn đề đa dạng tối đa yêu cầu chọn mục từ danh sách mục, sao cho độ đa dạng được xác định là khoảng cách số liệu giữa các mục được tối đa hóa.mmmnnn Tôi có một vấn đề đơn giản hơn, mà tôi đã hy vọng tôi có thể …

7 algorithms  optimization 

"Độ phức tạp tính toán" của Papadimitriou nói rằng GIÁ TRỊ, vấn đề quyết định liệu một công thức logic thứ nhất (không có số học) có hợp lệ hay không, có thể được liệt kê một cách đệ quy. Điều này xuất phát từ các định lý đầy đủ …

7 complexity-theory  undecidability  first-order-logic 

Đã đóng cửa . Câu hỏi này cần chi tiết hoặc rõ ràng . Nó hiện không chấp nhận câu trả lời. Bạn muốn cải thiện câu hỏi này? Thêm chi tiết và làm rõ vấn đề bằng cách chỉnh sửa bài đăng này . Đóng cửa 3 năm trước …

7 graphs  algorithm-analysis  runtime-analysis  trees  graph-traversal 

Tôi là một sinh viên đại học toán học (sẽ bắt đầu năm thứ ba của tôi rất sớm). Tôi đang cố gắng dạy cho bản thân sự phức tạp tính toán. Đáng buồn thay, không có khóa học được cung cấp trong trường đại học của tôi về chủ …

7 complexity-theory 

TẤT CẢALL\text{ALL} nghĩa đen là lớp của TẤT CẢ các ngôn ngữ. Có cố đầy đủ không? Đó là, có vấn đề nào mà một giải pháp sẽ cho phép một người giải quyết bất kỳ vấn đề nào không? Những vấn đề như vậy có thể được coi là …

7 undecidability