Khoa học máy tính

Giảm thiểu tự động hữu hạn xác định (DFA) là một vấn đề đã được nghiên cứu kỹ lưỡng trong tài liệu và một số thuật toán đã được đề xuất để giải quyết vấn đề sau: Đưa ra một DFA , tính toán một DFA tối thiểu tương ứng …

11 algorithms  formal-languages  finite-automata 

Chúng tôi đã trình bày trong lớp với một thuật toán để tìm tối đa trong một mảng song song với độ phức tạp thời gian với máy tính.O(1)O(1)O(1)n2n2n^2 Thuật toán là: Cho một mảng A có độ dài n: Tạo một mảng cờ B có độ dài n và …

11 algorithms  search-algorithms  parallel-computing 

Tôi đang tham gia vào một khóa học lập trình và thuật toán năm đầu tiên. Trong một bài giảng gần đây, tôi quyết định trình bày tài liệu bằng cách sử dụng mã hóa trực tiếp , điều đó có nghĩa là tôi ngồi sau bàn phím và viết …

11 education  didactics 

Tôi có một vấn đề và tôi đoán nó NP-hard, nhưng tôi không thể chứng minh điều đó. Dưới đây là biểu đồ lớp, trong đó lớp 0 là lớp thấp nhất và lớp L thấp nhất. có một số cạnh được định hướng giữa các lớp, trong đó một …

11 graphs  np 

Tôi quan tâm đến các thuộc tính của một lớp đồ thị lưỡng cực trong đó tất cả các nút trong X là 3 đều đặn, tất cả các nút trong Y là 2 thường xuyên và | X | = | 2 Y / 3 | . Đầu tiên, …

11 complexity-theory  graph-theory 

Ngôn ngữ không ngữ cảnh không được đóng dưới sự bổ sung. Trong các bài giảng, chúng tôi đã đưa ra lập luận tương tự như ở đây trên Wikipedia : For cả và B đều không có ngữ cảnh, nhưng giao điểm A ∩ B của chúng thì không. …

11 formal-languages  context-free 

Làm thế nào bạn sẽ tiếp cận vấn đề ba lô trong một tình huống lập trình động nếu bây giờ bạn phải giới hạn số lượng vật phẩm trong ba lô bằng một hằng số ? Đây là cùng một vấn đề (trọng lượng tối đa của , mỗi …

11 algorithms  optimization  dynamic-programming  knapsack-problems 

Tôi mới bắt đầu nghiên cứu Trí tuệ nhân tạo và đang tự hỏi tại sao không gian trạng thái có thể tiếp cận của 8 câu đố là . Tôi thấy rằng số lượng hoán vị của gạch lànhưng không rõ ràng ngay tại sao một nửa trạng thái …

11 artificial-intelligence 

Đặt là số nguyên và để biểu thị tập hợp tất cả các số nguyên. Đặt biểu thị khoảng của các số nguyên .nnnZZ\mathbb{Z}[a,b][a,b][a,b]{a,a+1,a+2,…,b}{a,a+1,a+2,…,b}\{a,a+1,a+2,\dots,b\} Tôi đang tìm kiếm một cấu trúc dữ liệu để thể hiện bản đồ . Tôi muốn cấu trúc dữ liệu hỗ trợ các hoạt động …

11 algorithms  data-structures  trees  intervals 

Có một thuật toán / thủ tục hệ thống để kiểm tra xem một ngôn ngữ có thường xuyên không? Nói cách khác, cho một ngôn ngữ cụ thể dưới hình thức đại số (nghĩ về một cái gì đó giống như L={anbn:n∈N}L={anbn:n∈N}L=\{a^n b^n : n \in \mathbb{N}\}), kiểm tra …

11 algorithms  formal-languages  regular-languages  decision-problem 

Vấn đề quyết định Đưa ra một công thức Boolean , có chính xác một nhiệm vụ thỏa mãn không?ϕϕ\phiϕϕ\phi có thể được nhìn thấy ở , và -hard. Có bất cứ điều gì được biết nhiều hơn về sự phức tạp của nó?Δ2Δ2\Delta_2UPUP\mathsf{UP}coNPcoNP\mathsf{coNP}

11 complexity-theory  complexity-classes  satisfiability 

Tôi đang đọc Sipser và tôi cảm thấy khó hiểu quá trình này là gì nếu bạn đưa cho tôi k Máy Turing có băng k, tôi có thể nhổ ra một máy Turing tương đương chỉ với một băng. Một ví dụ sẽ tốt đẹp. Trên thực tế, một …

11 turing-machines  simulation 

Tôi đang làm việc trên các thuật toán tìm kiếm chuỗi hỗ trợ tìm kiếm nhiều mẫu. Tôi tìm thấy hai thuật toán có vẻ như là ứng cử viên mạnh nhất về thời gian hoạt động, đó là Aho-Corasick và Rabin-Karp . Tuy nhiên, tôi không thể tìm thấy …

11 algorithms  algorithm-analysis  runtime-analysis  strings 

Theo bài viết trên Wikipedia về các sơ đồ xấp xỉ thời gian đa thức : Tất cả các vấn đề trong FPTAS đều có thể điều chỉnh tham số cố định. Kết quả này làm tôi ngạc nhiên - những lớp học này dường như hoàn toàn khác biệt …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

Tôi xin lỗi nếu câu hỏi này có một số câu trả lời tầm thường mà tôi đang thiếu. Bất cứ khi nào tôi nghiên cứu một số vấn đề đã được chứng minh là không thể giải quyết được, tôi nhận thấy rằng bằng chứng dựa trên việc giảm …

11 computability  reductions  undecidability