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

Tôi muốn làm một người giải SAT đầu tiên. Tôi biết cuộc thi SAT và hội nghị SAT, và chỉ có rất nhiều bài viết về chủ đề này. Tôi là một người bắt đầu, một người bắt đầu choáng ngợp. Tôi nên bắt đầu từ đâu? Cuối cùng, tôi …

24 ds.algorithms  reference-request  lo.logic  sat 

Một đồ thị H là một lõi nếu bất kỳ sự đồng hình từ H đến chính nó là một mệnh đề. Một sơ đồ con H của G là lõi của G nếu H là lõi và có sự đồng hình từ G đến H. http://en.wikipedia.org/wiki/Core_%28graph_theory%29 Cho một đồ …

24 ds.algorithms  graph-theory  graph-algorithms 

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 

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 

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 

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 

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính lý thuyết. Di cư 3 năm trước . Trong bài báo Khoa học năm 2016 "Hiện thực …

23 cc.complexity-theory  ds.algorithms  quantum-computing  factoring  security 

Đặt L1,L2L1,L2L_1,L_2 là hai ngôn ngữ thông thường được đưa ra bởi NFAs M1,M2M1,M2M_1,M_2 làm đầu vào. Giả sử chúng ta muốn kiểm tra xem L1∩L2≠∅L1∩L2≠∅L_1\cap L_2\neq \emptyset . Điều này rõ ràng có thể được thực hiện bằng thuật toán bậc hai tính toán tự động hóa sản phẩm …

23 ds.algorithms  automata-theory  regular-language  nondeterminism 

Chúng tôi biết rằng Bộ độc lập tối đa (MIS) khó có thể xấp xỉ trong một hệ số cho mọi trừ khi P = NP. Một số lớp biểu đồ đặc biệt mà thuật toán xấp xỉ tốt hơn được biết đến là gì? ε > 0n1−ϵn1−ϵn^{1-\epsilon}ϵ>0ϵ>0\epsilon > 0 …

23 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms 

Chiều rộng của cây đo mức độ gần của đồ thị với cây. Đó là NP-hard để tính chiều rộng cây. Là tốt nhất được biết đến xấp xỉ thuật toán đạt hệ số.O ( log n----√)Ôi(đăng nhậpn)O(\sqrt{{\log}n}) Định lý của Courcelle nói rằng bất kỳ tính chất nào của …

23 cc.complexity-theory  ds.algorithms  graph-theory  space-bounded  treewidth 

Đưa ra là một dag. Bạn muốn gắn nhãn cho mỗi nút bằng cách có bao nhiêu nút có thể truy cập từ nó. là một giới hạn trên tầm thường; Ω ( V + E ) là một giới hạn thấp hơn (tôi nghĩ). Có một thuật toán tốt …

23 ds.algorithms  graph-theory 

Bài đăng được cập nhật vào ngày 31 tháng 8 : Tôi đã thêm một bản tóm tắt các câu trả lời hiện tại bên dưới câu hỏi ban đầu. Cảm ơn tất cả các câu trả lời thú vị! Tất nhiên, tất cả mọi người có thể tiếp tục …

23 ds.algorithms  graph-theory  co.combinatorics 

Bước đầu tiên của thuật toán kiểm tra tính nguyên thủy của AKS là kiểm tra xem số đầu vào có phải là một công suất hoàn hảo hay không. Có vẻ như đây là một thực tế nổi tiếng trong lý thuyết số vì bài báo không giải thích …

23 ds.algorithms  nt.number-theory 

Hãy xem xét một mạng điện được mô hình hóa như một đồ thị phẳng G, trong đó mỗi cạnh đại diện cho điện trở 1Ω. Làm thế nào nhanh chóng chúng ta có thể tính toán điện trở hiệu quả chính xác giữa hai đỉnh trong G? Tương tự, …

22 ds.algorithms  graph-theory  planar-graphs  physics