Khoa học máy tính

Mấu chốt của sự khác biệt giữa điện toán analog và kỹ thuật số là số bit chính xác có sẵn, phải không? Bây giờ, tôi biết rằng trong máy Turing, các số có thể được lưu trữ với bất kỳ mức độ chính xác nào vì phương tiện lưu …

7 computability  computation-models 

Đưa ra một vấn đề, liệu có thể chứng minh hiệu quả trong trường hợp xấu nhất của thuật toán để giải quyết vấn đề này là gì? Ví dụ, hãy giải quyết vấn đề sắp xếp một mảng. Nhiều thuật toán sắp xếp đơn giản hơn có hiệu quả …

7 asymptotics  proof-techniques  efficiency 

Tôi có một bộ sưu tập các chuỗi con "this" "is" "a" "antelope" Tôi cần xem xét bất kỳ chuỗi đã cho nào và trả lời câu hỏi "Có bất kỳ chuỗi con nào trong chuỗi này không" Vì vậy, chuỗi đầu vào của tôi có thể là "issue" Đây …

7 algorithms  strings 

Tôi đã tìm kiếm một tài liệu tham khảo cho câu hỏi trên. Theo tôi biết câu trả lời là: Nếu chúng ta có thể tạo một bộ giải hiệu quả cho tất cả các trường hợp được tạo ngẫu nhiên, thì nó sẽ hiệu quả cho mọi trường hợp. …

7 satisfiability  randomness 

Giả sử có hai vấn đề PPP và QQQ. Làm thế nào tôi có thể nói rằng "giải quyết PPP là điều tương tự với việc giải quyết QQQ"? Ví dụ, nếu PPP là NP-Hard, sau đó chúng ta có thể nói "PPP có thể được giải trong thời gian …

7 complexity-theory  terminology 

Một đồ thị được gọi là kết nếu nó không có các đường cắt -exex (nghĩa là, ít nhất ba đỉnh phải bị xóa để ngắt kết nối đồ thị). Theo như tôi biết, có thể xác định xem một biểu đồ đơn giản có được kết nối trong thời …

7 algorithms  graph-theory  reference-request 

Chỉ ra rằng bài toán tổng hợp tập hợp con (Cho một chuỗi các số nguyên S=i1,i2,…,inS=i1,i2,…,inS=i_1, i_2, \dots , i_n và một số nguyên kkk, có một phần sau của SSS tổng hợp chính xác kkk?) là NP hoàn chỉnh. Gợi ý: Sử dụng các vấn đề bìa chính …

7 complexity-theory  np-complete  reductions  np-hard 

Tôi tìm thấy một tuyên bố (không có lời giải thích) rằng một ngôn ngữ là có thể quyết định. Làm thế nào là có thể? Ý tôi là, làm thế nào chúng ta có thể xây dựng một máy Turing chấp nhận (hoặc từ chối) một chuỗi 0 vô …

7 formal-languages  computability 

Giả sử chúng ta có một cây trong đó lá được dán nhãn với một tập hợp các số , và các nút nội bộ với một tập hợp các hoạt động .LLLOOO Cụ thể có thể là hoặc và có thể tùy ý chứa và / hoặc . có …

7 algorithms  turing-machines  real-numbers  equality 

Tôi xin lỗi, nhưng ngay cả sau hai bài đăng khác: ở đây và ở đây tôi vẫn gặp khó khăn trong việc hiểu các TM tiên tri và thuyết tương đối hóa. Câu hỏi này xuất phát từ vấn đề từ một góc độ khác: Tại sao các bằng …

7 complexity-theory  proof-techniques  oracle-machines  relativization 

Câu đầu tiên của bài viết Wikipedia cho Định lý Parikh nêu rõ: "Định lý của Parikh trong khoa học máy tính lý thuyết nói rằng nếu người ta chỉ nhìn vào số lần xuất hiện tương đối của các ký hiệu đầu cuối trong một ngôn ngữ không ngữ …

7 formal-languages  regular-languages  context-free 

Tôi đã đọc về đếm mô hình, hay còn gọi là vấn đề #SAT. Các ứng dụng thực tế, nếu có, của vấn đề này là gì, và chính xác làm thế nào để chúng giảm bớt nó? Tôi đã không thể tìm thấy bất kỳ, mặc dù điều đó …

7 complexity-theory  applied-theory  counting 

Tôi đang cố gắng giải quyết bài kiểm tra sắp tới của mình và không biết làm thế nào để tạo ngữ pháp cho các ngôn ngữ nhạy cảm ngữ cảnh, ví dụ như làm thế nào để tôi tiến hành loại câu hỏi này. Đưa ra một ngữ pháp …

7 formal-languages  formal-grammars  context-sensitive 

Nói rằng chúng tôi có 3 DFA. Chúng tôi biết cách HOẶC, VÀ, hoặc KHÔNG. Nhưng làm thế nào để một XOR chúng? Không có một đề cập duy nhất về điều này trực tuyến. xXORyXORz=((x|y)(¬x|y)|z)(¬((x|y)(¬x|y))|z)xXORyXORz=((x|y)(¬x|y)|z)(¬((x|y)(¬x|y))|z)x\; \mathrm{XOR} \;y\; \mathrm{XOR} \;z = ((x|y)(\neg x|y)|z) (\neg ((x|y)(\neg x|y))|z). Đây là cách quá …

7 automata  finite-automata  closure-properties 

Đặt G = (V, E) là đồ thị có công suất đơn vị với n đỉnh và m cạnh. Gọi T là tất cả các cây bao trùm trong G. Nếu chúng tôi chạy thuật toán của Karger, chúng tôi sẽ nhận được một cây bao trùm ngẫu nhiên trong …

7 graph-theory  randomized-algorithms  spanning-trees