Khoa học máy tính

Tôi không biết liệu đó có phải là một trò đùa hay không, nhưng một khi tôi đã đọc những gì được gọi là định nghĩa chính thức của một tệp trong một hệ thống phiên bản như git, hg hoặc svn. Nó giống như một vật thể toán học …

12 terminology  reference-request 

Tôi đang cố gắng giải quyết vấn đề này và tôi thực sự đang vật lộn. Một công thức boolean đơn điệu là một công thức trong logic mệnh đề trong đó tất cả các nghĩa đen là tích cực. Ví dụ, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) …

12 complexity-theory  np-complete  satisfiability 

Tại sao biến đổi laplace không phổ biến để xử lý hình ảnh? Hầu hết các sách giáo khoa chỉ hội tụ các biến đổi Fourier.

12 history  image-processing 

Tôi có một cây vô hướng có đỉnh mà tôi muốn dán nhãn. Các nút lá nên được dán nhãn một. Sau đó, giả sử những chiếc lá đã được gỡ bỏ. Trong cây còn lại, lá nên được dán nhãn hai. Quá trình này tiếp tục theo cách rõ …

12 algorithms  trees 

Liệu khó khăn của một vấn đề NP-hard hoặc NP-Complete mạnh mẽ (như được xác định ở đây ) có thay đổi khi đầu vào của nó là đơn nhất thay vì được mã hóa nhị phân không? Có gì khác biệt nếu đầu vào của một vấn đề NP-hard …

12 complexity-theory  time-complexity  np-complete 

Tôi hiểu rằng ngữ pháp không ngữ cảnh có thể được sử dụng để thể hiện các ngôn ngữ không ngữ cảnh. Nó có thể có sự mơ hồ. Chúng tôi cũng có các hình thức bình thường như Chomsky và Greibach hình thức bình thường. Tôi không thể hiểu …

12 formal-languages  context-free  formal-grammars  normal-forms 

Bất cứ ai có thể giải thích cho tôi sự khác biệt và tương đồng giữa học máy và nhận dạng hệ thống? Có phải đây chỉ là hai tên của cùng một thứ? Trong trang này , họ nói: Các cộng đồng học máy và nhận dạng hệ thống …

12 machine-learning 

Tôi có "bằng chứng" rất đơn giản này cho NP = CoNP và tôi nghĩ rằng tôi đã làm sai điều gì đó ở đâu đó, nhưng tôi không thể tìm thấy điều gì sai. Ai đó có thể giúp tôi không? Đặt A là một số vấn đề trong …

12 complexity-theory  p-vs-np  check-my-proof  np 

Cho một đa giác trực giao (một đa giác có các cạnh song song với các trục), tôi muốn tìm tập hợp nhỏ nhất của các hình vuông tách rời bên trong, có liên kết bằng với đa giác. Tôi tìm thấy một số tài liệu tham khảo cho các …

12 algorithms  computational-geometry  tiling 

Tôi nghĩ hiểu cách phá rừng tiêu thụ và tạo ra một danh sách cùng một lúc (từ một nếp gấp và một hàm mở ra - xem câu trả lời hay này trên CodeReview ở đây ), nhưng khi tôi so sánh với mục wikipedia về kỹ thuật thì …

12 terminology  compilers  functional-programming 

Vì vậy, tôi biết rằng thử nghiệm nếu một ngôn ngữ thông thường là một tập hợp con của ngôn ngữ thông thường S là decidable, vì chúng ta có thể chuyển đổi chúng cả hai để DFAs, tính toán R ∩ ˉ S , và sau đó kiểm tra …

12 algorithms  regular-languages  automata  np-complete  decision-problem 

Say, L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^* . Thì làm sao chúng ta có thể chứng minh rằng L∗L∗L^* là thường xuyên? Nếu LLL là bình thường, thì tất nhiên L∗L∗L^* cũng là bình thường. Nếu LLL là hữu hạn, thì nó là thường xuyên và một lần nữa L∗L∗L^* là thường xuyên. …

12 formal-languages  regular-languages 

Người ta nói rằng lý thuyết tính toán còn được gọi là lý thuyết đệ quy. Tại sao nó được gọi như vậy? Tại sao đệ quy có tầm quan trọng này?

12 computability  terminology  history 

Đầu tiên, hãy để tôi viết định nghĩa của lớn chỉ để làm cho mọi thứ rõ ràng.OOO 0 ≤ f ( n ) ≤ c g ( n ) , ∀ n ≥ n 0f(n)∈O(g(n))⟺∃c,n0>0f(n)∈O(g(n))⟺∃c,n0>0f(n)\in O(g(n))\iff \exists c, n_0\gt 0 sao cho0≤f(n)≤cg(n),∀n≥n00≤f(n)≤cg(n),∀n≥n00\le f(n)\le cg(n), \forall n\ge n_0 Giả sử …

12 asymptotics  landau-notation 

Sự khác biệt chính giữa ba thuật ngữ đẳng cấu, tự động và đồng hình trong ngôn ngữ giáo dân đơn giản là gì và tại sao chúng ta thực hiện đẳng cấu, tự động và đồng cấu?

12 graph-theory