Khoa học máy tính

3

Tôi đã bối rối trong khi giải quyết vấn đề sau (câu hỏi 1 trận3). Câu hỏi Một d đống -ary giống như một đống nhị phân, nhưng (với một ngoại lệ có thể) các nút lá không có d trẻ em thay vì 2 trẻ em. Làm thế nào …

10 data-structures time-complexity runtime-analysis

1

Biến khác biệt cho các mệnh đề khác nhau

Trong định lý độ phân giải chứng minh, thông thường các biến giả định trong các mệnh đề khác nhau là khác biệt. Đây không phải là một cái gì đó xảy ra tự động; nó đòi hỏi mã bổ sung đáng kể và tính toán để thực hiện. Cho …

10 logic automated-theorem-proving

1

Sự khác biệt giữa tạm dừng, chấp nhận và quyết định trong bối cảnh của máy Turing là gì?

Có chấp nhận có nghĩa là TM sẽ đọc và nhận ra một char từ ô mà nó hiện đang đọc không? Và đó có phải là trường hợp một TM tạm dừng nếu đầu vào là quyết định?

10 terminology turing-machines undecidability

2

Thuật toán khớp chuỗi k không khớp nhanh

Tôi đang tìm kiếm một thuật toán khớp chuỗi k-không khớp nhanh. Cho một chuỗi mẫu P có độ dài m và chuỗi văn bản T có độ dài n, tôi cần một thuật toán nhanh (thời gian tuyến tính) để tìm tất cả các vị trí trong đó P …

10 algorithms reference-request strings string-metrics substrings

1

Toán cho TCS chính

Tôi đang tìm kiếm một chuyên ngành về Khoa học máy tính lý thuyết; đặc biệt, tôi quan tâm đến lý thuyết phức tạp và lý thuyết tự động xác suất. Khi tôi tốt nghiệp một năm, những khóa học nâng cao về toán học (như lý thuyết Galois hay …

10 complexity-theory automata education

1

Tối ưu hóa vi mô để tính toán khoảng cách chỉnh sửa: có hợp lệ không?

Trên Wikipedia , một triển khai cho sơ đồ lập trình động từ dưới lên cho khoảng cách chỉnh sửa được đưa ra. Nó không hoàn toàn theo định nghĩa; các tế bào bên trong được tính toán như vậy: if s[i] = t[j] then d[i, j] := d[i-1, j-1] …

10 algorithms dynamic-programming string-metrics correctness-proof program-optimization

1

Các ngôn ngữ thông thường được đóng theo sắp xếp (hình ảnh Parikh)?

Giả sử là một ngôn ngữ thông thường trên một bảng chữ cái được đặt hàng. Là ngôn ngữ được xây dựng bằng cách lấy từng từ trong L và sắp xếp nó luôn là ngôn ngữ thông thường?LLLLLL

10 formal-languages regular-languages

2

Độ phức tạp của điện toán

Độ phức tạp của điện toán gì?nn2,n ∈ Nnn2,n∈Nn^{n^2},\;n \in \mathbb{N}

10 complexity-theory integers number-theory

1

Xác định mức độ tương tự của một chuỗi đã cho với một chuỗi các chuỗi

Tôi không chắc câu hỏi này có thuộc về đây không và tôi xin lỗi nếu không. Những gì tôi đang tìm kiếm là phát triển một cách lập trình, trong đó tôi có thể xác định một cách chính xác liệu một chuỗi nhất định có "thuộc" trong một …

10 algorithms reference-request string-metrics

2

Xác định số cụ thể theo thời gian và không gian

\newcommand\ldotd{\mathinner{..}} Cho rằng là các số nguyên sao cho 0 \ le A [k] \ le m cho tất cả 1 \ le k \ le n và sự xuất hiện của mỗi số ngoại trừ một số cụ thể trong A [1 \ ldotd n] là một số lẻ. …

10 algorithms search-algorithms

2

Chức năng băm yếu cho các địa chỉ IPv6 đáng nhớ

Các địa chỉ IPv6 ở dạng 862A:7373:3386:BF1F:8D77:D3D2:220F:D7E0khó ghi nhớ hoặc thậm chí phiên âm hơn nhiều so với 4 octet của IPv4. Có đã được nỗ lực để hạn chế điều này, làm cho địa chỉ IPv6 bằng cách nào đó đáng nhớ hơn. Có một chức năng băm có …

10 cryptography computer-networks hash user-interface

2

Chiều cao trung bình của cây nhị phân là gì?

Có định nghĩa chính thức nào về chiều cao trung bình của cây nhị phân không? Tôi có một câu hỏi hướng dẫn về việc tìm chiều cao trung bình của cây nhị phân bằng hai phương pháp sau: Giải pháp tự nhiên có thể là lấy chiều dài trung …

10 graph-theory terminology combinatorics binary-trees

1

Chứng minh rằng hàm boolean có thể tính toán được trong T (n) bằng máy RAM nằm trong DTIME (T (n) ^ 2)

Câu hỏi là bài tập 1.9 từ cuốn sách Tính phức tạp tính toán của Arora-Barak - Cách tiếp cận hiện đại : Xác định máy RAM Turing là máy Turing có bộ nhớ truy cập ngẫu nhiên. Chúng tôi chính thức hóa điều này như sau: Máy có một …

10 complexity-theory turing-machines machine-models simulation

2

Là sức mạnh tính toán của các mạng thần kinh liên quan đến chức năng kích hoạt

Người ta đã chứng minh rằng các mạng thần kinh với trọng số hợp lý có sức mạnh tính toán của tính toán Turing Machine Universal Turing với tính năng Mạng lưới thần kinh . Từ những gì tôi nhận được, dường như việc sử dụng các trọng số có …

10 computability neural-networks

1

Làm thế nào để chứng minh rằng-vòng không cần thiết trong các thiết bị PDA?

Trong bối cảnh điều tra của chúng tôi về heap automata , tôi muốn chứng minh rằng một biến thể cụ thể không thể chấp nhận các ngôn ngữ không nhạy cảm theo ngữ cảnh. Vì chúng ta không có mô hình ngữ pháp tương đương, tôi cần một bằng …

10 automata pushdown-automata