Khoa học máy tính

Ban đầu, matroids đã được giới thiệu khái quát các khái niệm về độc lập tuyến tính của một bộ sưu tập các tập con trên một số mặt đất được đặt . Một số vấn đề có chứa cấu trúc này cho phép các thuật toán tham lam tìm …

23 algorithms  optimization  combinatorics  greedy-algorithms  matroids 

Máy tự động là một mô hình trừu tượng của một máy tính kỹ thuật số. Máy tính kỹ thuật số là hoàn toàn xác định; trạng thái của chúng bất cứ lúc nào cũng có thể dự đoán được duy nhất từ ​​đầu vào và trạng thái ban đầu. …

23 automata  nondeterminism  applied-theory 

EPAL, ngôn ngữ của các palindromes, được định nghĩa là ngôn ngữ được tạo bởi ngữ pháp không ngữ cảnh rõ ràng sau đây: S→ một mộtS→mộtmộtS \rightarrow a a S→ b bS→bbS \rightarrow b b S→ một SmộtS→mộtSmộtS \rightarrow a S a S→ b SbS→bSbS \rightarrow b S b …

23 formal-languages  formal-grammars  parsers 

Ở đây , Dave Clarke đề xuất rằng để so sánh sự tăng trưởng tiệm cận, bạn nên vẽ các chức năng trong tay. Là một nhà khoa học máy tính nghiêng về mặt lý thuyết, tôi gọi (ed) vodoo này như một cốt truyện không bao giờ là bằng …

23 asymptotics  didactics 

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính lý thuyết bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính. Di cư 7 năm trước . Vấn đề này được lấy từ phỏng vấn.com Chúng …

23 algorithms  probability-theory 

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính lý thuyết bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính. Di cư 7 năm trước . "Alan Turing đã chứng minh vào năm 1936 rằng …

23 computability  formal-methods  halting-problem  software-verification 

Câu hỏi này đã được di chuyển từ Toán học Stack Exchange vì nó có thể được trả lời trên Exchange Science Stack Exchange. Di cư 3 năm trước . Tôi đã cố gắng tìm một thuật toán để tìm độ che phủ chu kỳ đỉnh tối đa của đồ …

23 graph-theory  algorithms 

Trong khi đọc một cuốn sách, tôi đã bắt gặp một đoạn được đưa ra dưới đây: Để đồng bộ hóa tất cả các hoạt động của máy tính, đồng hồ hệ thống, một tinh thể thạch anh nhỏ nằm trên bo mạch chủ, được sử dụng. Đồng hồ hệ …

23 computer-architecture  clocks 

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính lý thuyết bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính. Di cư 7 năm trước . Trong bài viết Wikipedia này về vấn đề Clique …

23 complexity-theory  graph-theory  np-complete  complexity-classes 

Như tiêu đề đã nói, tôi đã dành một vài giờ vào cuối tuần trước để cố gắng suy nghĩ về lớp ngôn ngữ phù hợp với các biểu thức chính quy tương thích Perl, ngoại trừ bất kỳ toán tử khớp nào cho phép thực thi mã tùy ý …

23 formal-languages  regular-expressions 

Tôi đang tìm kiếm một số gợi ý trong một câu hỏi của người hướng dẫn của tôi. Vì vậy, tôi chỉ cần tìm ra vấn đề quyết định này là :NP-completeNP-complete\sf{NP\text{-}complete} Trong biểu đồ , có một cây bao trùm trong chứa một bộ chính xác dưới dạng lá. …

23 complexity-theory  graphs  np-complete 

Trong sắp xếp cơ số, trước tiên chúng ta sắp xếp theo chữ số có nghĩa ít nhất sau đó chúng ta sắp xếp theo chữ số có nghĩa nhỏ thứ hai và cứ thế và kết thúc với danh sách được sắp xếp. Bây giờ nếu chúng ta có …

23 algorithms  sorting 

Khi nào O lớn được sử dụng lần đầu tiên trong khoa học máy tính và khi nào nó trở thành tiêu chuẩn? Trang Wikipedia về điều này trích dẫn Knuth, Big Omicron và Big Omega và Big Theta , SIGACT Tháng Tư-Tháng Sáu năm 1976, nhưng phần đầu của …

22 asymptotics  history 

Tôi biết rằng, trong các ngôn ngữ lập trình bắt buộc, vòng lặp while-do đủ để xây dựng luồng điều khiển để làm cho ngôn ngữ trở nên hoàn chỉnh (theo như luồng điều khiển đi - tất nhiên chúng ta cũng cần bộ nhớ không giới hạn và các …

22 programming-languages  turing-completeness  loops  imperative-programming 

Tìm số lượng so sánh ít nhất cần thiết để sắp xếp (thứ tự) năm yếu tố và đưa ra thuật toán sắp xếp các yếu tố này bằng cách sử dụng số lượng so sánh này. Giải pháp : Có 5! = 120 kết quả có thể xảy ra. …

22 algorithms  sorting  lower-bounds