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

Vấn đề hôn nhân ổn định: http://en.wikipedia.org/wiki/Stable_marẩu_propet Tôi biết rằng đối với một ví dụ của SMP, nhiều cuộc hôn nhân ổn định khác có thể xảy ra ngoài cuộc hôn nhân được thuật toán Gale-Shapley trả về. Tuy nhiên, nếu chúng ta chỉ được cung cấp , số lượng …

24 ds.algorithms  co.combinatorics  graph-algorithms  heuristics  matching 

Đưa ra một cơ sở dữ liệu khổng lồ gồm các từ được phép (sắp xếp theo thứ tự abc) và một từ, tìm từ từ cơ sở dữ liệu gần nhất với từ đã cho theo khoảng cách Levenshtein. Tất nhiên, cách tiếp cận ngây thơ chỉ đơn giản …

24 ds.algorithms  reference-request  string-matching  string-search 

Rõ ràng là bất kỳ vấn đề nào có thể quyết định trong logspace xác định ( ) chạy trong hầu hết thời gian đa thức ( P ). Có một sự giàu có của các tầng lớp phức tạp giữa L và P . Ví dụ bao gồm N …

24 cc.complexity-theory  lower-bounds  space-bounded 

Có một tài liệu phong phú và ít nhất một cuốn sách rất hay đưa ra độ cứng đã biết của các kết quả gần đúng đối với các vấn đề NP-hard trong bối cảnh lỗi nhân (ví dụ: xấp xỉ 2 cho bìa đỉnh là giả định tối ưu …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness 

Sự vướng víu thường được coi là thành phần chính tạo ra thuật toán lượng tử tốt ... lượng tử, và điều này có thể được truy nguyên từ các trạng thái Bell phá hủy ý tưởng vật lý lượng tử như một mô hình xác suất ở trạng thái …

24 quantum-computing  big-picture 

Thuật toán Coppersmith-Winograd là thuật toán tiệm cận nhanh nhất được biết đến với nhân hai ma trận vuông. Thời gian chạy của thuật toán của họ là O ( n 2.376 ) , được biết đến nhiều nhất cho đến nay. Độ phức tạp không gian của thuật toán …

24 ds.algorithms  matrices 

Tôi đang tìm kiếm các bộ mở rộng không cân bằng là "tốt" và "hiệu quả không gian". Cụ thể, một đồ thị hai cực trái thường xuyên G=(A,B,E)G=(A,B,E)G=(A,B,E) , , , với độ trái là một khai thác nếu cho bất kỳ có kích thước tối đa , số …

24 graph-theory  derandomization  expanders 

Wikipedia định nghĩa một cuộc tấn công tiền giả thứ hai là: đưa ra một tin nhắn cố định m1, tìm một tin nhắn khác m2 sao cho hàm băm (m2) = hash (m1). Wikipedia định nghĩa một cuộc tấn công va chạm là: tìm hai thông điệp khác nhau …

24 cr.crypto-security  hash-function 

Được biết, nó đã hoàn thành NP để kiểm tra xem chu trình Hamilton có tồn tại trong đồ thị 3 thông thường hay không, ngay cả khi đó là mặt phẳng (Garey, Johnson và Tarjan, SIAM J. Comput. 1976) hoặc bipartite (Akiyama, Nishizeki, và Saito, J. Thông báo. Proc. …

24 graph-theory  np-hardness  hamiltonian-paths 

Một câu hỏi rất cụ thể, tôi biết và tôi nghi ngờ nó sẽ được trả lời bởi bất kỳ ai chưa quen thuộc với các quy tắc của Phép thuật. Đăng chéo lên Draw3Cards . Dưới đây là các quy tắc toàn diện cho trò chơi Magic: the Gathering …

24 turing-machines  card-games  recreational 

Hậu quả của việc có vấn đề hoàn toàn trong gì?NP∩coNPNP∩coNPNP\cap coNP

24 cc.complexity-theory  conditional-results 

Có một sự tương tự song song tự nhiên với cây đen đỏ với các thuộc tính tương tự hoặc thậm chí không tệ hơn để cập nhật trong khi hiệu quả công việc hợp lý? Tổng quát hơn, những gì tốt nhất chúng ta có thể làm để tìm …

24 ds.algorithms  ds.data-structures  dc.parallel-comp  concurrency  dynamic-algorithms 

Ngoài việc học tập đầy đủ và nhận bằng tiến sĩ / hậu tài liệu, hoặc tìm kiếm một công việc 'tiêu chuẩn' ít nhiều trong phát triển phần mềm, một số lựa chọn nghề nghiệp khác trong lĩnh vực CS đầy đủ hoặc bán lý thuyết là gì?

24 soft-question  advice-request  career 

Có bất kỳ vấn đề NP-đầy đủ nào mà thuật toán được biết rằng thời gian chạy dự kiến ​​là đa thức (đối với một số phân phối hợp lý qua các trường hợp) không? Nếu không, có những vấn đề mà sự tồn tại của một thuật toán như …

24 cc.complexity-theory  np-hardness 

Chúng ta hãy nhìn vào tương lai khoảng 30 năm nữa. Hãy lạc quan và cho rằng các lĩnh vực liên quan đến học máy tiếp tục phát triển nhanh như những gì chúng ta đã thấy trong 10 năm qua. Điều đó sẽ là tuyệt vời, nhưng sau đó …

23 ds.algorithms  soft-question  machine-learning