Khoa học máy tính

1

Lựa chọn tính năng giống như cây quyết định có độ dài cố định để giảm thiểu hiệu suất tìm kiếm trung bình

Tôi có một truy vấn phức tạp được sử dụng để tìm kiếm tập dữ liệu để tìm . Mỗi truy vấn mất thời gian trung bình nên tổng thời gian trong tìm kiếm tuyến tính là. Tôi có thể chia truy vấn thành các truy vấn phụ đơn giản …

9 algorithms optimization machine-learning greedy-algorithms databases

3

Tìm số lượng phần tử nhỏ hơn cho mỗi phần tử trong một mảng một cách hiệu quả

Tôi bị mắc kẹt trong vấn đề này: Cho một mảng trong số số tự nhiên đầu tiên được hoán vị ngẫu nhiên, một mảng được xây dựng, sao cho là số phần tử từ đến nhỏ hơn . n B B ( k ) A ( 1 )MộtAAnnnBBBB ( …

9 algorithms arrays permutations

2

Kích thước khớp tối đa trong đồ thị Bipartite

MMMG(U,V,E)G(U,V,E)G(U, V, E)min(|U|,|V|)min(|U|,|V|)\min(|U|, |V|)

9 graph-theory graphs bipartite-matching

3

Là

Tôi đã lấy lý thuyết về các kỳ thi tính toán của tôi vài tuần trước, và đây là một trong những câu hỏi: Giả sử ngôn ngữ L = { ( anbm)r| N , m , r ≥ 0 }L= ={(mộtnbm)r|n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} L có thường xuyên không? …

9 formal-languages regular-languages regular-expressions

1

Độ cứng và hướng giảm

Hãy để chúng tôi nói rằng chúng tôi biết rằng vấn đề A là khó khăn, sau đó chúng tôi giảm A thành vấn đề B chưa biết để chứng minh B cũng khó khăn. Một ví dụ: chúng ta biết 3 màu là khó. Sau đó, chúng tôi giảm …

9 complexity-theory np-complete reductions

2

Bảng chữ cái vô hạn Turing Machine

Máy Turing có được phép đọc và viết ký hiệu từ bảng chữ cái vô hạn mạnh hơn TM thông thường không (đó là điểm khác biệt duy nhất, máy vẫn có số lượng trạng thái hữu hạn)? Trực giác nói với tôi là không, vì bạn cần vô số …

9 computability turing-machines reductions simulation

3

Big O: lồng cho vòng lặp với sự phụ thuộc

Tôi đã được giao bài tập về nhà với Big O. Tôi bị mắc kẹt với các vòng lặp lồng nhau phụ thuộc vào vòng lặp trước đó. Đây là một phiên bản thay đổi của câu hỏi bài tập về nhà của tôi, vì tôi thực sự muốn hiểu …

9 algorithms algorithm-analysis runtime-analysis landau-notation

1

Loại bỏ trùng lặp hiệu quả và với chi phí bộ nhớ thấp

Tôi muốn lọc một cách hiệu quả một danh sách các số nguyên cho các bản sao theo cách mà chỉ tập hợp kết quả cần được lưu trữ. Một cách này có thể được nhìn thấy: chúng tôi có một loạt các số nguyên với N lớn (nói 2 …

9 algorithms data-structures sorting

3

Quicksort có luôn có thời gian chạy bậc hai nếu bạn chọn một phần tử tối đa làm trục không?

Nếu bạn có thuật toán sắp xếp nhanh và bạn luôn chọn phần tử nhỏ nhất (hoặc lớn nhất) làm trục của mình; Tôi có đúng không khi cho rằng nếu bạn cung cấp một tập dữ liệu đã được sắp xếp, bạn sẽ luôn nhận được hiệu suất trong …

9 algorithms time-complexity algorithm-analysis runtime-analysis sorting

3

Trực giác tích chập trong xử lý ảnh

Tôi đã đọc nhiều tài liệu về tích chập trong xử lý ảnh và hầu hết trong số họ nói về công thức của nó, một số tham số bổ sung. Không ai giải thích được trực giác và ý nghĩa thực sự đằng sau việc thực hiện tích chập …

9 terminology intuition graphics computer-vision

2

Giới thiệu về xác minh logic thứ tự đầu tiên

Tôi đang cố gắng dạy cho mình những cách tiếp cận khác nhau để xác minh phần mềm. Tôi đã đọc một số bài viết. Theo như tôi đã học, logic mệnh đề với thời gian thường sử dụng kiểm tra mô hình với các bộ giải SAT (trong các …

9 reference-request logic formal-methods sat-solvers software-verification

3

Là Huffman Encoding luôn tối ưu?

Yêu cầu của mã hóa là tiền tố miễn phí dẫn đến các cây lớn do cây phải hoàn thành. Có ngưỡng nào lưu trữ dữ liệu không được mã hóa theo chiều dài cố định sẽ hiệu quả hơn so với mã hóa dữ liệu không?

9 information-theory data-compression

5

Làm thế nào nhiều toán học cần phải biết để hiểu toán học / cấu trúc rời rạc cho khoa học máy tính?

Thông thường các trường đại học dạy toán rời rạc / cấu trúc rời rạc. Câu hỏi của tôi là, người ta cần biết bao nhiêu toán để hiểu về lĩnh vực này? Là tính toán cần thiết hoặc prealculus sẽ làm tốt? Có ai cần phải làm bằng chứng …

9 discrete-mathematics

1

Chuyển đổi ngữ pháp biểu thức số học

Trong bài viết Phân tích biểu thức theo gốc đệ quy của Theodore Norvell (1999) , tác giả bắt đầu với ngữ pháp sau đây cho các biểu thức số học: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" …

9 formal-languages context-free formal-grammars left-recursion

1

Một thuật toán mạng thần kinh nhân tạo có thể được thể hiện dưới dạng các hoạt động thu nhỏ bản đồ không?

Một thuật toán mạng thần kinh nhân tạo có thể được thể hiện dưới dạng các hoạt động thu nhỏ bản đồ không? Tôi cũng quan tâm nhiều hơn đến các phương pháp song song hóa khi áp dụng cho ANN và ứng dụng của chúng vào điện toán đám …

9 parallel-computing artificial-intelligence neural-networks