Khoa học máy tính

2

Một số cách hiệu quả để tìm sự khác biệt giữa hai văn bản lớn có nội dung tương tự nhưng có thứ tự khác nhau là gì?

Tôi có hai tệp lớn chứa các đoạn văn bản tiếng Anh: Văn bản đầu tiên dài khoảng 200 trang và có khoảng 10 đoạn trên mỗi trang (mỗi đoạn dài 5 câu). Văn bản thứ hai chứa gần như chính xác các đoạn văn bản và văn bản như …

8 strings data-mining natural-language-processing edit-distance

2

Tương tự Curry-Howard cho logic tuyến tính là gì?

Theo định nghĩa của Wikipedia, (Sự tương ứng của Curry-Howard) là sự khái quát của sự tương đồng cú pháp giữa các hệ thống logic chính thức và phép tính toán được phát hiện đầu tiên bởi nhà toán học người Mỹ Haskell Curry và nhà logic học William Alvin …

8 logic type-theory functional-programming

2

Cho một TM

Tôi muốn xác định xem vấn đề quyết định này là có thể quyết định. Tôi đã cố gắng thiết lập các mức giảm từ Halt và "Chấp nhận chuỗi rỗng", nhưng tôi chưa tìm thấy giải pháp. Ai đó có thể giúp tôi không?

8 computability turing-machines undecidability

1

Mối quan hệ giữa các vấn đề và ngôn ngữ là gì?

Tôi muốn hỏi chính xác mối quan hệ giữa các vấn đề và ngôn ngữ. Chúng tôi biết rằng tập hợp của tất cả các ngôn ngữ không thể đếm được. Là tập hợp các vấn đề cũng không thể đếm được? Mọi vấn đề có thể được xác định …

8 formal-languages

1

Có nên kích hoạt chức năng đơn điệu trong mạng lưới thần kinh?

Rất nhiều chức năng kích hoạt trong các mạng thần kinh (sigmoid, tanh, softmax) là đơn điệu, liên tục và khác biệt (ngoại trừ có thể là một vài điểm, trong đó đạo hàm không tồn tại). Tôi hiểu lý do cho sự liên tục và khác biệt, nhưng thực …

8 machine-learning neural-networks

2

Độ phức tạp thời gian của thuật toán này là gì? Và tại sao?

Tôi bị mắc kẹt bằng cách phân tích độ phức tạp thời gian của thuật toán sau: def fun (r, k, d, p): if d > p: return r if d = 0 and p = 0: r <- r + k return r if d > 0: fun (r, …

8 algorithm-analysis runtime-analysis

2

Các ứng dụng trong thế giới thực cho vấn đề Steiner Tree?

Có các ứng dụng trong thế giới thực của Bài toán cây Steiner (STP) không? Tôi hiểu rằng thiết kế chip VSLI là một ứng dụng tốt của STP. Có bất kỳ ví dụ nào khác về các vấn đề trong thế giới thực mà mọi người có thể đề …

8 graph-theory reference-request optimization combinatorics applied-theory

2

Giảm thiểu tự động hữu hạn xác định không có trạng thái chấp nhận

Tôi có một máy tự động hữu hạn không có trạng thái cuối cùng / chấp nhận, vì vậy F trống. Làm thế nào để tôi giảm thiểu nó? Tôi đã đạt được điều này trong một bài kiểm tra và tôi không biết cách tiếp cận vấn đề vì …

8 automata finite-automata

2

Làm thế nào một hệ thống thẻ tuần hoàn có thể dừng lại với một đầu ra?

Ví dụ: chúng ta có thể nói rằng chúng ta có một chương trình trừu tượng, được cung cấp một chuỗi nhị phân hữu hạn làm đầu vào, loại bỏ tất cả các số không (ví dụ 0010001101011 ước tính thành 111111), đây chắc chắn là một hàm tính toán …

8 computability turing-machines

2

Chuyển nhượng để làm cho công thức không thỏa mãn

Hãy tưởng tượng chúng ta có một công thức thỏa đáng Vấn đề cần giải quyết là "Có một phép gán cho các biến sẽ tạo ra F không thỏa mãn? ". Một cách giải quyết là tìm tất cả các giải pháp cho F theo các biến và nếu …

8 logic satisfiability sat-solvers

1

Có băm liên tục?

Câu hỏi: Có thể có một hàm băm (bảo mật bằng mật mã) bảo tồn cấu trúc liên kết thông tin của không?{0,1}∗{0,1}∗\{0,1\}^{*} Chúng ta có thể thêm một vị gần gũi tính toán một cách hiệu quả mà cho và h k ( y ) (hoặc y chính nó) …

8 complexity-theory cryptography hash string-metrics topology

1

Định nghĩa mô hình học tập PAC

Mô hình học tập có lẽ gần đúng (PAC) được định nghĩa là: Một lớp khái niệm được cho là có thể học được PAC nếu tồn tại thuật toán A và hàm đa thức p o l y ( · , · , · , · ) sao cho …

8 machine-learning

2

Một trung vị của một AVL. Làm thế nào để tận dụng lợi thế của AVL?

Đây là nguồn câu hỏi của tôi. Đưa ra một cây tự cân bằng (AVL), mã hóa một phương thức trả về trung vị. (Trung vị: giá trị số ngăn cách nửa cao hơn của mẫu dữ liệu với nửa dưới. Ví dụ: nếu chuỗi là 2, 7, 4, 9, …

8 data-structures search-trees selection-problem balanced-search-trees

2

Tối đa hóa khoảng cách giữa các nút k trong biểu đồ

Tôi có một đồ thị không trọng số không định hướng và tôi muốn chọn nút từ sao cho chúng cách nhau càng xa càng tốt, về khoảng cách trắc địa . Nói cách khác, chúng phải được trải rộng xung quanh biểu đồ càng tốt.k GGGGkkkGGG Hãy là chiều …

8 algorithms graph-theory graphs

2

Vẽ lại đồ thị lưỡng cực

Cho một đồ thị lưỡng cực trong đó mọi đỉnh được tô màu đỏ hoặc xanh lam Tôi đang cố gắng giảm thiểu số lượng đỉnh màu xanh bằng cách sử dụng thao tác sau:G = ( A , B , E)G=(A,B,E)G = (A,B,E) Chọn một đỉnh trong Avavav_aAAA Lật …

8 algorithms graphs