Khoa học máy tính

Làm thế nào để bạn xác định độ phức tạp thời gian của một thuật toán di truyền (nói chung)? Nếu có thể. Tôi đã suy nghĩ về điều này rất nhiều, và tất cả những gì tôi dạy có liên quan đến việc xác định Độ phức tạp thời …

9 time-complexity  evolutionary-computing 

Có một thuật toán để nâng một ma trận lên nnnsức mạnh thứ O(logn)O(log⁡n)O(\log n) thời gian? Tôi đã tìm kiếm trực tuyến, nhưng cho đến nay đã không thành công.

9 algorithms  matrices 

Tôi đang cố gắng để hiểu vấn đề này từ Thuật toán. bởi S. Dasgupta, CH Papadimitriou, và UV Vazirani, chương8 , PG281. Bài toán 8.19 Một con diều là một đồ thị trên một số đỉnh chẵn2n2n2n, trong đó nnn của các đỉnh tạo thành một cụm và phần …

9 complexity-theory  np-complete  reductions 

Tôi muốn tìm hiểu thêm về lập trình ghép nối thông qua việc tạo ra một ngôn ngữ đơn giản nhỏ, dựa trên ngăn xếp và tuân theo mô hình ghép. Thật không may, tôi đã không tìm thấy nhiều tài nguyên liên quan đến các ngôn ngữ kết hợp …

8 logic  programming-languages  compilers  type-theory  type-checking 

Bạn đang tổ chức một giải đấu bóng rổ 1 v 1 với lịch thi đấu. Vào cuối giải đấu, bạn có mỗi người chơi báo cáo kỷ lục thắng thua của họ (không có ràng buộc), nhưng bạn muốn kiểm tra xem các bảng xếp hạng được đề xuất …

8 algorithms  time-complexity 

Tôi đã xem bài đọc này của MIT về độ phức tạp tính toán và vào phút 15:00 Erik Demaine bắt tay vào một cuộc biểu tình để cho thấy những gì được nêu trong tiêu đề của câu hỏi này. Tuy nhiên tôi không thể làm theo lý luận …

8 computability  proof-techniques  decision-problem  uncountability 

Trước hết, tôi xin lỗi nếu điều này đã được hỏi, nhưng tôi thực sự không tìm thấy gì. Tôi đã tình cờ thấy bài viết này . Nó nói rằng có một vấn đề mà chỉ Máy tính lượng tử có thể giải quyết. Theo hiểu biết của tôi, …

8 turing-machines  quantum-computing  church-turing-thesis 

Tôi đọc câu này trong một cuốn sách: Trong kiến ​​trúc VLIW, trình biên dịch / và trình biên dịch hợp ngữ chọn các lệnh có thể được thực thi song song. Sự khác biệt giữa nhà văn lắp ráp và trình biên dịch là gì? Một nhà văn lắp …

8 compilers  assembly 

Vì vậy, là viết tắt của các vấn đề trong đó chúng tôi có các nhân chứng có thể kiểm chứng nhỏ đối với các trường hợp và cho các nhân chứng có thể kiểm chứng nhỏ đối với các trường hợp . Cái này hoạt động thế nàoNPNPNPYESYESYEScoNPcoNPcoNPNONONO PNPPNPP^{NP} …

8 complexity-theory  np 

Tôi đã đọc bài báo này trong đó các tác giả giải thích Định lý 1, trong đó nêu rõ "Đối tượng có thể tiếp cận" (như được định nghĩa trong bài viết) là NP-đầy đủ. Tuy nhiên, họ chứng minh việc giảm chỉ theo một hướng, tức là từ …

8 complexity-theory  np-complete  np-hard  satisfiability 

Dưới đây là bốn nguyên lý tôi không thể hòa giải: Các thuật toán thời gian theo hàm mũ đôi chạy trong thời gian với hằng số k ∈ NÔi ( 22nk)O(22nk)O(2^{2^{n^k}})k ∈ Nk∈Nk \in \mathbb{N} Các thuật toán thời gian theo hàm mũ chạy trong với hằng số k …

8 asymptotics  discrete-mathematics  notation 

Ví dụ, đây là tất cả các cây có thể cho trường hợp k = 3k= =3k=3 : Trên mỗi nút được viết là arity của nó (= số lượng con). Mặc dù điều này có thể giải quyết được bằng lập trình động, tôi nghĩ rằng đã có một …

8 trees  combinatorics 

Tôi thấy ở mọi nơi rằng phương trình đệ quy cho độ phức tạp của Strassen alg là: Điều này không quá rõ ràng với tôi. Tham số được cho là kích thước của đầu vào, nhưng có vẻ như đây là một chiều của ma trận trong khi kích …

8 algorithms  complexity-theory  divide-and-conquer  matrix 

Câu hỏi này và câu hỏi này khiến tôi suy nghĩ một chút. Để sắp xếp một mảng có độ dài với phần tử duy nhất trong , chúng ta cần có khả năng lưu trữ số lượng giá trị trong mảng. Có một số gợi ý, nhưng tôi đang …

8 algorithms  search-trees  hash-tables 

Tôi chắc chắn phải có điều gì đó sai với lý do sau bởi vì nếu không, rất nhiều nghiên cứu P so với NP sẽ bị giới hạn nhưng tôi không thể xác định lỗi của mình: Đối với bất kỳ cố định số nguyên xác định B k …

8 complexity-theory  np-complete  logic  p-vs-np