Khoa học máy tính

Tôi đã thực hiện một số thử nghiệm về nhiệt độ ban đầu khác nhau trong thuật toán ủ mô phỏng của mình và nhận thấy nhiệt độ bắt đầu có ảnh hưởng đến hiệu suất của thuật toán. Có cách nào để tính toán nhiệt độ ban đầu tốt …

14 optimization  artificial-intelligence  heuristics 

Giả sử chúng ta được cung cấp số nguyên khác nhau , sao cho cho một số hằng số và cho tất cả i .một 1 , một 2 , ... , một n 0 ≤ một i ≤ k n k > 0nnna1,a2,…,ana1,a2,…,ana_1, a_2, \dots, a_n0≤ai≤kn0≤ai≤kn0 \le a_i \le …

14 algorithms  time-complexity  fourier-transform 

Tôi muốn biết nếu vấn đề sau là có thể quyết định: Sơ thẩm: Một NFA A với n trạng thái Câu hỏi: Có tồn tại một số số nguyên tố p sao cho A chấp nhận một số chuỗi có độ dài p. Tôi tin rằng vấn đề này …

14 computability  finite-automata 

Cho một ống với các quả bóng được đánh số (ngẫu nhiên). Các ống có lỗ để loại bỏ một quả bóng. Hãy xem xét các bước sau cho một thao tác: Bạn có thể chọn một hoặc nhiều quả bóng từ các lỗ và ghi nhớ thứ tự bạn …

14 sorting  permutations 

Thứ tự áp dụng: Luôn đánh giá đầy đủ các đối số của hàm trước khi tự đánh giá hàm, như - (λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(\lambda x. x^2(\lambda x.(x+1) \ \ 2))) \rightarrow (\lambda x. x^2(2+1))\rightarrow \ (\lambda x. x^2(3)) \rightarrow \ 3^2 …

14 logic  lambda-calculus  normal-forms 

Tôi đang cố gắng giải quyết vấn đề đồ thị (không phải để làm bài tập về nhà, chỉ để rèn luyện kỹ năng của tôi). Một DAG được đưa ra, trong đó V là tập hợp các đỉnh và E các cạnh. Biểu đồ được biểu diễn dưới dạng …

14 algorithms  graph-theory  graphs 

Tôi là một sinh viên không CS và lĩnh vực nghiên cứu của tôi không liên quan đến CS. Tuy nhiên, là một phần trong kế hoạch lớn hơn để trở thành một nhà khoa học máy tính, tôi muốn có được một nền tảng vững chắc về khoa học …

14 books 

Các thuật toán Bellman-Ford xác định con đường đi ngắn nhất từ một nguồn đến tất cả các đỉnh khác. Ban đầu khoảng cách giữa s và tất cả các đỉnh khác được thiết lập để ∞ . Sau đó, con đường ngắn nhất từ s đến mỗi đỉnh được …

14 algorithms  shortest-path 

Nếu trên thực tế bằng , làm thế nào điều này sẽ tăng cường thuật toán của chúng tôi để các số nguyên nhân nhanh hơn. Nói cách khác, loại hiểu biết nào thực tế này sẽ cho chúng ta hiểu được yếu tố số nguyên tốt hơn?N PPP{\sf P}NPNP{\sf …

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

Tôi muốn biết nếu có một hàm từ số n bit đến số n bit có các đặc điểm sau:fff fff nên là tính từ Cả và nên có thể tính toán khá nhanhffff−1f−1f^{-1} fff sẽ trả về một số không có mối tương quan đáng kể với đầu vào …

14 binary-trees  hash  binary-arithmetic 

Tôi có một nhóm gồm n bộ mà tôi cần tính toán một loại giá trị "duy nhất" hoặc "tương tự". Tôi đã giải quyết chỉ số Jaccard là một số liệu phù hợp. Thật không may, chỉ số Jaccard chỉ hoạt động trên hai bộ cùng một lúc. Để …

14 algorithms  time-complexity 

Từ Wikipedia về các thuật toán ngẫu nhiên Người ta phải phân biệt giữa các thuật toán sử dụng đầu vào ngẫu nhiên để giảm thời gian chạy hoặc sử dụng bộ nhớ dự kiến, nhưng luôn chấm dứt với kết quả chính xác trong một khoảng thời gian giới …

14 algorithms  terminology  randomized-algorithms  nondeterminism  machine-models 

Giả sử rằng chúng ta có một bộ DDD và mỗi thành viên của DDD là một cặp dữ liệu và khóa. Chúng tôi muốn một cấu trúc dữ liệu sẽ hỗ trợ các hoạt động sau: Chèn (d,k)(d,k)(d,k) vào DDD , Xóa thành viên eee , (không cần tìm …

14 algorithms  data-structures  abstract-data-types 

Planar 3SAT là NP-đầy đủ. Một thể hiện 3SAT phẳng là một thể hiện 3SAT mà đồ thị được xây dựng bằng các quy tắc sau là phẳng: thêm một đỉnh cho mọi và ¯ x ixTôixTôix_ixTôi¯xTôi¯\bar{x_i} thêm một đỉnh cho mọi mệnh đềCjCjC_j thêm một cạnh cho mỗi cặp( …

14 np-complete  reductions  satisfiability  3-sat 

Tôi cố gắng dạy bản thân cách sử dụng bò rừng. Bison manpage (1) nói về bò rừng: Tạo một trình phân tích cú pháp LR hoặc GL (GLR) xác định sử dụng các bảng phân tích cú pháp LALR (1), ClassifiedR (1) hoặc canonical (1). Trình phân tích mã …

14 formal-languages  terminology  formal-grammars  parsers