Khoa học máy tính

Có bao nhiêu heap max khác nhau tồn tại cho một danh sách số nguyên?nnn Ví dụ: danh sách [1, 2, 3, 4] Heap tối đa có thể là 4 3 2 1: 4 / \ 3 2 / 1 hoặc 4 2 3 1: 4 / \ 2 3 …

19 data-structures  combinatorics  heaps 

Xây dựng hai hàm f,g:R+→R+f,g:R+→R+ f,g: R^+ → R^+ thỏa mãn: f,gf,gf, g liên tục; f,gf,gf, g đang tăng đơn điệu; f≠O(g)f≠O(g)f \ne O(g) vàg≠O(f)g≠O(f)g \ne O(f) .

19 asymptotics  landau-notation 

Tôi đã đọc trang wikipedia cho quy tắc 110 trong automata di động và tôi ít nhiều biết cách chúng hoạt động (một bộ quy tắc quyết định nơi sẽ vẽ 1 hoặc 0 tiếp theo). Tôi vừa đọc xong Turing, nhưng tôi thậm chí không thể hiểu được bạn …

19 computability  automata  turing-completeness  cellular-automata 

Các danh tính được sử dụng trong các thuật toán nhân Karatsuba (số nguyên) Gauss (số phức) Strassen (ma trận) có vẻ liên quan rất chặt chẽ. Có một khung trừu tượng / khái quát hóa chung?

19 algorithms  matrices 

Hãy để F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F = \{⟨M⟩:\text{M is a TM which stops for every input in at most 50 steps}\} . Tôi cần phải quyết định …

19 computability  undecidability 

Nếu có một cách để xác định nếu hai bộ điểm có thể được phân tách bằng một dòng? Chúng ta có hai tập hợp điểm và B nếu có một đường phân cách A và B sao cho tất cả các điểm của A và chỉ A ở một …

19 algorithms  machine-learning  computational-geometry 

Tôi nhận thấy rằng trong một vài tài liệu nghiên cứu về CS, để so sánh hiệu quả của hai thuật toán, tổng số so sánh chính trong các thuật toán được sử dụng thay vì chính thời gian tính toán thực sự. Tại sao chúng ta không thể so …

19 algorithms  algorithm-analysis  runtime-analysis 

Khi kiểm tra các thuật toán, một cách tiếp cận phổ biến là kiểm tra ngẫu nhiên: tạo ra một số lượng đáng kể các đầu vào theo một số phân phối (thường là thống nhất), chạy thuật toán trên chúng và xác minh tính chính xác. Các khung kiểm …

19 algorithms  graphs  randomness  software-testing 

Tôi đang cố gắng tìm Tập hợp độc lập tối đa của đồ thị Biparite. Tôi đã tìm thấy những điều sau đây trong một số ghi chú "Ngày 13 tháng 5 năm 1998 - Đại học Washington - CSE 521 - Ứng dụng của lưu lượng mạng" : Vấn …

19 algorithms  graph-theory  network-flow 

Vì vậy, tôi nghĩ rằng câu hỏi (mặc dù hơi cơ bản) thuộc về đây: Giả sử tôi có một biểu đồ có kích thước 100 nút được sắp xếp theo mẫu 10 x 10 (nghĩ là bàn cờ). Biểu đồ là vô hướng, và không trọng số. Di chuyển …

19 algorithms  graphs  graph-theory  search-algorithms  shortest-path 

Tôi cố gắng tìm một cách tiếp cận vấn đề sau: Cho tập hợp điểm và bán kính , tìm điểm trung tâm của đường tròn, sao cho đường tròn chứa số điểm tối đa từ tập hợp. Thời gian chạy phải là .r O ( n 2 )SSSrrrO(n2)O(n2)O(n^2) Lúc …

19 algorithms  computational-geometry 

Tôi đang tìm kiếm một thuật toán hiệu quả cho phép tôi xử lý cây tìm kiếm minimax cho cờ vua với việc cắt tỉa alpha-beta trên một kiến ​​trúc phân tán. Các thuật toán tôi đã tìm thấy (PVS, YBWC, DTS xem bên dưới) đều khá cũ (năm 1990 …

19 algorithms  distributed-systems  board-games 

Tôi đang cố gắng sử dụng bổ đề bơm để chứng minh rằng không thường xuyên.L = { ( 01 )m2m∣ m ≥ 0 }L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} Đây là những gì tôi có cho đến nay: Giả sử là thường xuyên và gọi p là chiều …

19 formal-languages  regular-languages  pumping-lemma 

Biểu đồ đơn cực là một biểu đồ có hướng sao cho có nhiều nhất một đường dẫn đơn giản từ bất kỳ một đỉnh đến bất kỳ đỉnh khác. Đồ thị đơn cực có thể có chu kỳ. Ví dụ, một danh sách liên kết đôi (không phải là …

19 graphs  combinatorics 

Đối với mọi hàm tính toán fff đều tồn tại một vấn đề có thể giải quyết tốt nhất trong thời gian Θ(f(n))Θ(f(n))\Theta(f(n)) hoặc có một hàm tính toán fff sao cho mọi vấn đề có thể giải quyết trong O(f(n))O(f(n))O(f(n)) cũng có thể được giải quyết trong thời gian …

19 complexity-theory