Khoa học máy tính lý thuyết ds.algorithms

30

Paul Erdos đã nói về "Cuốn sách" nơi Chúa giữ bằng chứng thanh lịch nhất cho mỗi định lý toán học. Điều này thậm chí đã truyền cảm hứng cho một cuốn sách (mà tôi tin rằng hiện đang ở phiên bản thứ 4 của nó): Bằng chứng từ cuốn …

358 ds.algorithms soft-question ds.data-structures big-list

29

Các thuật toán cốt lõi được triển khai

Để chứng minh tầm quan trọng của các thuật toán (ví dụ với sinh viên và giáo sư không làm lý thuyết hoặc thậm chí từ các lĩnh vực hoàn toàn khác nhau) đôi khi rất hữu ích khi có sẵn một danh sách các ví dụ về thuật toán …

307 ds.algorithms big-picture application-of-theory

2

Sự cố Super Mario Galaxy

Giả sử Mario đang đi trên bề mặt của một hành tinh. Nếu anh ta bắt đầu đi bộ từ một địa điểm đã biết, theo một hướng cố định, trong một khoảng cách định trước, chúng ta có thể xác định nơi anh ta sẽ dừng lại nhanh như …

140 ds.algorithms cg.comp-geom

11

Làm thế nào khó khăn là xáo trộn một chuỗi?

Việc xáo trộn hai chuỗi được hình thành bằng cách xen kẽ các ký tự thành một chuỗi mới, giữ các ký tự của mỗi chuỗi theo thứ tự. Ví dụ, MISSISSIPPIlà một sự xáo trộn của MISIPPvà SSISI. Hãy để tôi gọi một chuỗi vuông nếu nó là một …

117 ds.algorithms open-problem

17

Ví dụ về giá trừu tượng?

Khoa học máy tính lý thuyết đã cung cấp một số ví dụ về "giá trừu tượng". Hai nổi bật nhất là để loại bỏ và sắp xếp Gaussian. Cụ thể là: Người ta biết rằng loại bỏ Gaussian là tối ưu cho việc tính toán định thức nếu bạn …

112 ds.algorithms reference-request big-list lower-bounds

6

Các thuật toán tìm đường hiện đại để thay đổi biểu đồ (D *, D * -Lite, LPA *, v.v.) khác nhau như thế nào?

Rất nhiều thuật toán tìm đường đã được phát triển trong những năm gần đây có thể tính toán đường đi tốt nhất để phản ứng với biểu đồ thay đổi nhanh hơn nhiều so với A * - chúng là gì và chúng khác nhau như thế nào? Là …

96 ds.algorithms shortest-path

2

Độ phức tạp thời gian thực tế của việc loại bỏ Gaussian là gì?

Trong một câu trả lời cho một câu hỏi trước đó , tôi đã đề cập đến niềm tin phổ biến nhưng sai lầm rằng loại bỏ Gaussian mật chạy trong thời gian . Mặc dù rõ ràng là thuật toán sử dụng các phép toán số học O ( …

72 ds.algorithms reference-request linear-algebra

9

Các thuật toán mạnh mẽ quá phức tạp để thực hiện

Một số thuật toán của tiện ích hợp pháp đơn giản là quá phức tạp để thực hiện là gì? Hãy để tôi rõ ràng: Tôi không tìm kiếm các thuật toán như thuật toán nhân ma trận tối ưu tiệm cận hiện tại (Coppersmith-Winograd), rất hợp lý để thực …

67 ds.algorithms ds.data-structures big-list implementation

17

Các thuật toán đa thức thời gian với số mũ / hằng số lớn

Bạn có biết các thuật toán hợp lý chạy trong thời gian đa thức trong (Độ dài đầu vào + Độ dài đầu ra), nhưng thời gian chạy không có triệu chứng trong cùng một số đo có số mũ / hằng số rất lớn (ít nhất là trong đó …

59 ds.algorithms big-list

4

Bằng chứng là phép nhân ma trận có thể được thực hiện trong thời gian bậc hai?

Người ta phỏng đoán rộng rãi rằng , số mũ tối ưu cho phép nhân ma trận, trên thực tế bằng 2. Câu hỏi của tôi rất đơn giản:ωω\omega Lý do gì để chúng ta có để tin rằng ?ω = 2ω= =2\omega = 2 Tôi biết các thuật toán …

59 ds.algorithms linear-algebra matrix-product

10

Một ngăn xếp, hai hàng đợi

lý lịch Cách đây vài năm, khi tôi còn là sinh viên, chúng tôi được giao bài tập về phân tích khấu hao. Tôi đã không thể giải quyết một trong những vấn đề. Tôi đã hỏi nó trong comp.theory , nhưng không có kết quả khả quan nào được …

59 ds.algorithms ds.data-structures open-problem time-complexity

10

Báo cáo có thể chứng minh về thuật toán di truyền

Các thuật toán di truyền không có nhiều lực kéo trong thế giới lý thuyết, nhưng chúng là một phương pháp siêu hình được sử dụng khá hợp lý (theo siêu hình tôi có nghĩa là một kỹ thuật áp dụng chung cho nhiều vấn đề, như ủ, giảm độ …

56 ds.algorithms ne.neural-evol

7

Đối với những vấn đề trong P là dễ dàng để xác minh kết quả hơn là tìm thấy nó?

Đối với (các phiên bản tìm kiếm) của các vấn đề NP -complete, việc xác minh một giải pháp rõ ràng dễ dàng hơn tìm kiếm nó, vì việc xác minh có thể được thực hiện trong thời gian đa thức, trong khi việc tìm kiếm nhân chứng mất (có …

52 cc.complexity-theory ds.algorithms reference-request

13

Đối với thuật toán nào có một khoảng cách lớn giữa phân tích lý thuyết và thực tế?

Hai cách để phân tích hiệu quả của một thuật toán là để đặt một giới hạn trên tiệm cận trong thời gian chạy của nó và để chạy nó và thu thập dữ liệu thử nghiệm. Tôi tự hỏi nếu có những trường hợp được biết có một khoảng …

52 ds.algorithms big-list ds.data-structures

8

Có bằng chứng tồn tại thuật toán không xây dựng?

Tôi nhớ rằng tôi có thể đã gặp các tài liệu tham khảo cho các vấn đề đã được chứng minh là có thể giải quyết được với một độ phức tạp cụ thể, nhưng không có thuật toán nào được biết để thực sự đạt đến độ phức tạp …

47 ds.algorithms soft-question lo.logic proofs

Câu hỏi được gắn thẻ «ds.algorithms»