Khoa học máy tính

Tôi đã thực hiện một chút về google và đã đưa ra một chút ngắn. Tôi tự hỏi những lý do chính cho các nhà khoa học máy tính, lập trình viên, để nghiên cứu viết lại thuật ngữ, và / hoặc viết lại biểu đồ thuật ngữ. Theo như …

12 term-rewriting 

Tôi đang tự hỏi, sự phức tạp về thời gian của việc xác định sự trống rỗng cho các DFA 2 chiều là gì? Đó là, automata hữu hạn có thể di chuyển ngược trên băng đầu vào chỉ đọc của họ. Theo Wikipedia, chúng tương đương với DFA, mặc …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

Hãy để chúng tôi xem xét các trò chơi sau: có một số người chơi và một máy tính. Mỗi người chơi nhập một số nguyên dương và tên của mình (người chơi không biết số của người khác, chỉ riêng số của mình). Khi tất cả người chơi thực …

12 game-theory  randomness 

Nếu không, thì nó có nghĩa gì khi đối với một số trạng thái và một số ký hiệu , không tồn tại?qqqaaaδ(q,a)δ(q,a)\delta(q, a)

12 terminology  automata  finite-automata 

Tôi có câu hỏi sau đây, nhưng không có câu trả lời cho điều này. Tôi sẽ đánh giá cao nếu phương pháp của tôi là chính xác: Q. Khi tìm kiếm giá trị khóa 60 trong cây tìm kiếm nhị phân, các nút chứa các giá trị khóa 10, …

12 data-structures  combinatorics  binary-trees  search-trees  graph-traversal 

Tôi muốn chứng minh rằng phần bù của không thường xuyên sử dụng các thuộc tính đóng.{0n1n∣n≥0}{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\} Tôi hiểu rằng bổ đề bơm có thể được sử dụng để chứng minh rằng không phải là ngôn ngữ thông thường. Tôi cũng hiểu các ngôn ngữ thông …

12 formal-languages  regular-languages  closure-properties 

Sau đây là một nghi ngờ mà tôi đã gặp khi làm bài tập về hệ điều hành tại nhà - tuy nhiên, nó có vẻ dựa trên khái niệm hơn là một câu hỏi mã hóa đơn giản, vì vậy IMHO tôi không nghĩ thẻ bài tập về nhà …

12 operating-systems  memory-allocation  virtual-memory  paging  memory-management 

Tôi mới học máy. Tôi đã đọc một số bài báo trong đó họ đã sử dụng học tập sâu cho các ứng dụng khác nhau và đã sử dụng thuật ngữ "trước" trong hầu hết các trường hợp thiết kế mô hình, nói trước khi ước tính tư thế …

12 terminology  machine-learning  pattern-recognition  bayesian-statistics 

Có rất nhiều chi tiết về các bộ bổ sung lookahead như Kogge-Stone, Lander-Fischer, v.v. trong các khóa học CS đại học. Chúng được mô tả là "phổ biến trong ngành". Tuy nhiên, tôi không thể tìm thấy bất kỳ bằng chứng nào (ngoài khả năng chuỗi mang Manchester) từ …

12 computer-architecture 

Điều đó có nghĩa là gì khi chúng ta nói rằng thuật toán hiệu quả hơn so với ?XXXYYY XXX sẽ là một lựa chọn tốt hơn cho tất cả các đầu vào. XXX sẽ là lựa chọn tốt hơn cho tất cả các đầu vào ngoại trừ đầu vào …

12 algorithms  algorithm-analysis  terminology  asymptotics 

Số Fibonacci thứ có thể được tính trong thời gian tuyến tính bằng cách sử dụng lần lặp lại sau:nnn def fib(n): i, j = 1, 1 for k in {1...n-1}: i, j = j, i+j return i Các th số Fibonacci cũng có thể được tính như [ φ …

11 algorithms  time-complexity  recurrence-relation 

Câu hỏi này giải thích khá nhiều rằng họ có thể, nhưng không cho thấy bất kỳ ví dụ nào về việc có hai cây khác nhau có cùng một giao dịch đặt hàng trước. Nó cũng được đề cập rằng giao dịch theo thứ tự của hai cây khác …

11 trees  binary-trees  graph-traversal  search-trees 

Tôi đã tìm hiểu về chiều rộng tìm kiếm đầu tiên và một câu hỏi xuất hiện trong đầu tôi rằng tại sao BFS được gọi như vậy. Trong cuốn sách Giới thiệu về thuật toán của CLRS , tôi đã đọc lý do sau cho việc này: Tìm kiếm …

11 graphs  graph-theory  shortest-path  graph-traversal 

Tôi đã được đưa ra vấn đề sau đây trong một cuộc phỏng vấn: Cung cấp một chuỗi chứa một số hỗn hợp parens (không phải dấu ngoặc hoặc dấu ngoặc - chỉ parens) với các ký tự chữ và số khác, xác định tất cả các parens không có …

11 algorithms 

Vì vậy, đưa ra hai DFA, vấn đề tìm kiếm nếu chúng tạo ra cùng một ngôn ngữ là một vấn đề có thể quyết định? Tôi đã biết rằng Bình đẳng của hai CFL là không thể quyết định Nhưng những gì về Bình đẳng của hai DFA? xem …

11 computability  automata  finite-automata  decision-problem