Khoa học máy tính

Một đề thi gần đây đã diễn ra như sau: là một tập hợp đệ quy vô hạn. Chứng minh rằng A có tập con đệ quy vô hạn.AAAAAA Hãy là một tập hợp con đệ quy vô hạn của Một . Phải C có một tập hợp con đó …

11 computability  check-my-proof 

Tôi đang vật lộn với băm và tìm kiếm tài liệu cây nhị phân. Và tôi đọc rằng thay vì sử dụng danh sách để lưu trữ các mục có cùng giá trị băm, thì cũng có thể sử dụng cây tìm kiếm nhị phân. Và tôi cố gắng hiểu …

11 data-structures  time-complexity  runtime-analysis  search-trees  hash-tables 

Là ví dụ sau đây đúng về việc một thuật toán suy luận có âm thanh và đầy đủ không? Giả sử chúng ta có kim a, b, c trong đống cỏ khô và cũng có thuật toán suy luận được thiết kế để tìm kim. âm thanh - Chỉ …

11 logic 

Thuật toán đơn giản thông thường để tìm phần tử trung vị trong một mảng gồm số là:AAAnnn Mẫu phần tử từ thay thế thànhn3/4n3/4n^{3/4}AAABBB Sắp xếp và tìm thứ hạng phần tử và củaBBB|B|±n−−√|B|±n|B|\pm \sqrt{n}lllrrrBBB Kiểm tra xem và có nằm đối diện với trung tuyến của và có …

11 algorithms  algorithm-analysis  randomized-algorithms 

Tôi đang cố gắng sử dụng máy ảnh màu để theo dõi nhiều đối tượng trong không gian. Mỗi đối tượng sẽ có một màu khác nhau và để có thể phân biệt tốt giữa từng đối tượng, tôi đang cố gắng đảm bảo rằng mỗi màu được gán cho …

11 algorithms  optimization  computational-geometry 

Trong cuộc thảo luận xung quanh câu hỏi này , Gilles đã đề cập chính xác rằng bất kỳ bằng chứng chính xác nào về thuật toán sử dụng mảng phải chứng minh rằng không có truy cập mảng ngoài giới hạn; tùy thuộc vào mô hình thời gian chạy, …

11 proof-techniques  semantics  arrays  hoare-logic  software-verification 

Câu hỏi của tôi dành cho những người quan tâm đến thuật toán sinh học tính toán. Tôi sẽ tham gia một khóa học về tin sinh học vào mùa thu này; tuy nhiên, vấn đề là tôi có quá ít kiến ​​thức về sinh học và hóa học để …

11 algorithms  reference-request  education  bioinformatics 

Tôi đang làm việc trên một ngôn ngữ dựa trên biểu thức của phả hệ ML, vì vậy nó tự nhiên cần loại suy luận> :) Bây giờ, tôi đang cố gắng mở rộng một giải pháp dựa trên ràng buộc cho vấn đề suy ra các loại, dựa trên …

11 programming-languages  type-theory  functional-programming  inductive-datatypes  typing 

Giả sử tôi được cung cấp một tập hợp hữu hạn các điểm trong mặt phẳng và được yêu cầu vẽ đường cong hai lần khác nhau thông qua các , sao cho chu vi của nó càng nhỏ càng tốt. Giả sử và , tôi có thể chính thức …

11 complexity-theory  np-hard  optimization  computable-analysis 

Ý tưởng chính của k-Recent-Neighbor tính đến điểm gần nhất và quyết định phân loại dữ liệu theo đa số phiếu. Nếu vậy, thì nó không nên có vấn đề trong dữ liệu chiều cao hơn bởi vì các phương pháp như băm nhạy cảm cục bộ có thể tìm …

11 machine-learning  artificial-intelligence 

Một Fibonnaci Heap hỗ trợ các hoạt động sau đây: insert(key, data) : thêm một yếu tố mới vào cấu trúc dữ liệu find-min() : trả về một con trỏ tới phần tử có khóa tối thiểu delete-min() : xóa phần tử bằng khóa tối thiểu delete(node) : xóa phần …

11 data-structures  priority-queues 

Đây là một câu hỏi bài tập về nhà từ cuốn sách của Udi Manber. Bất kỳ gợi ý sẽ được tốt đẹp :) Tôi phải thể hiện rằng: n ( nhật ký3( n ) )5= O ( n1.2)n(log3⁡(n))5=O(n1.2)n(\log_3(n))^5 = O(n^{1.2}) Tôi đã thử sử dụng Định lý 3.1 của …

11 asymptotics  landau-notation  mathematical-analysis 

Đây là tiền thân cho câu hỏi khác, nâng cao hơn của tôi về Kiểm tra ngăn xếp. Kiểm tra ngăn xếp là một cơ chế bảo mật được giới thiệu trong JVM để đối phó với việc chạy mã có nguồn gốc từ các vị trí có mức độ …

11 terminology  security  stack-inspection 

Tôi có một bài tập về nhà mà tôi đã vùi đầu trong một thời gian và tôi đánh giá cao bất kỳ gợi ý nào. Đó là về việc chọn một vấn đề đã biết, tính đầy đủ của NP đã được chứng minh và xây dựng một sự …

11 complexity-theory  np-hard  graph-theory 

Thuật toán đơn giản đi một cách tham lam vào các góc của đa giác để tìm giải pháp tối ưu cho bài toán lập trình tuyến tính. Kết quả là, câu trả lời luôn là một góc của đa giác. Phương pháp điểm bên trong đi vào bên trong …

11 algorithms  optimization  linear-programming