Khoa học máy tính

Vấn đề của tôi. Với , tôi muốn đếm số hợp lệ multisets . Một multiset là hợp lệ nếunnnSSSSSS Tổng các phần tử của là vàSSSnnn Mỗi số từ đến có thể biểu diễn duy nhất như một khoản tiền của một số các yếu tố của .111nnnSSS Thí …

11 algorithms  integers 

Tôi đang xây dựng một phân loại văn bản cho các câu ngắn. Ngoài việc nói với người dùng "danh mục văn bản bạn đã nhập là C", tôi muốn có thể giải thích lý do tại sao tôi đưa ra quyết định này, một cách ngắn gọn và dễ …

11 machine-learning  classification 

Là vấn đề sau NP-đầy đủ? (Tôi giả sử là có). Đầu vào: một đồ thị vô hướng trong đó bộ cạnh có thể được phân tách thành hai chu kỳ đơn giản tách rời cạnh (đây không phải là một phần của đầu vào).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Câu hỏi: Có …

11 graph-theory  np-complete  decision-problem 

Có tồn tại một máy tự động di động (ở dạng 2D) mô phỏng lực giữa các hạt không?1/r1/r1/r Cụ thể hơn, tôi muốn biết liệu có thể, với các quy tắc cập nhật cục bộ nghiêm ngặt, để có hai đối tượng (được xác định trong mô hình) thu …

11 simulation  cellular-automata 

Gần đây, tôi đã gặp vấn đề này , một biến thể của tháp hà nội . Báo cáo vấn đề: Hãy xem xét các biến thể của vấn đề nổi tiếng Tháp Hà Nội: Chúng tôi được cung cấp tháp và m đĩa có kích thước xếp chồng lên …

11 algorithms  combinatorics  recursion 

Căn cứ vào thực tế là - con đường liệt kê là một # P-hoàn chỉnh vấn đề, có thể có được phương pháp hiệu quả mà tính toán (hoặc ít nhất là gần đúng) chiều dài trung bình của - con đường mà không liệt kê họ? Điều gì …

11 algorithms  complexity-theory  graphs  approximation  enumeration 

Đây có thể là một câu hỏi ngớ ngẩn. Dường như rõ ràng rằng một FSA, vì nó là hữu hạn, chỉ có thể đếm số lượng ký hiệu trong chuỗi đầu vào của nó lên đến một số giới hạn bởi số lượng trạng thái của nó. Nhưng bây …

11 automata  finite-automata 

Tuyên bố thông thường về vấn đề cắt bánh công bằng cho rằng tất cả người chơi đều nhận được phần của họ cùng một lúc. Tuy nhiên, trong nhiều trường hợp người chơi đến tăng dần. Ví dụ: chúng tôi có thể chia bánh cho người chơi, nhưng sau …

11 algorithms  game-theory  online-algorithms 

Tôi đang đọc một câu trả lời cho một câu hỏi gần đây, và một ý nghĩ kỳ lạ, phù du xuất hiện trong đầu. Việc tôi hỏi điều này có thể phản bội rằng lý thuyết của tôi bị thiếu nghiêm trọng (chủ yếu là đúng) hoặc là quá …

11 turing-machines  undecidability  halting-problem 

Làm thế nào bạn có thể phát hiện thuật toán cho bất kỳ bức ảnh cụ thể nào cho dù mặt trời đang chiếu sáng khi bức ảnh được chụp? Ví dụ Một mẫu từ webcam này trên đỉnh núi: Rõ là mặt trời đang chiếu sáng. Trong mẫu khác …

11 algorithms  image-processing 

Tôi đã tự hỏi, vì tự nó là ngôn ngữ không có sao, có ngôn ngữ thông thường không phải là ngôn ngữ không có sao không? Bạn có thể cho một ví dụ?một*a∗a^* (từ wikipdia ) Lawson định nghĩa các ngôn ngữ không có sao là: Một ngôn ngữ …

11 formal-languages  regular-languages  automata 

Cho công việc , mỗi công việc yêu cầu thời gian để hoàn thành.nnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N Mỗi công việc phải được xử lý trước và xử lý sau bởi một máy M chỉ có thể xử lý 1 công việc tại một thời điểm và cả hai …

11 complexity-theory  reference-request  scheduling 

Hãy Có máy Turing nào quyết định (tôi không có nghĩa là nhận ra) ngôn ngữ L ∅ không?L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is a Turing Machine and }L(M)=\emptyset\}.L∅L∅L_\emptyset Dường như các kỹ thuật tương tự …

11 turing-machines  computability  undecidability 

Đây là một câu hỏi từ cuốn sách Rồng (Tôi xin lỗi vì lỗi dịch thuật, tôi không có phiên bản tiếng Anh): Ngôn ngữ nào được tạo ra bởi ngữ pháp này? S→aSbS∣bSaS∣ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon Tôi không biết tôi …

11 formal-languages  context-free  formal-grammars 

Trong một nhận xét cho Học tập F #: Những cuốn sách sử dụng các ngôn ngữ lập trình khác có thể được dịch sang F # để tìm hiểu các khái niệm chức năng? Makarius tuyên bố: Lưu ý rằng phương pháp "CPS" đã gây hại rất lớn đến …

11 compilers  functional-programming  proof-assistants  continuations