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

Cho hai ma trận và , bài toán quyết định xem có tồn tại ma trận hoán vị sao cho tương đương với (Biểu đồ đẳng cấu). Nhưng nếu chúng ta thư giãn để chỉ là một ma trận khả nghịch, thì sự phức tạp là gì? Có bất kỳ …

16 ds.algorithms  time-complexity  linear-algebra  matrices  graph-isomorphism 

Hãy được bộ mà có thể có yếu tố chung. Tôi đang tìm một bộ nhỏ nhất sao cho .S1, S2, Lọ , SnS1,S2,Giáo dục,SnS_1,S_2,\ldots,S_nXXX∀ tôi ,X∩ STôi≠ ∅∀Tôi,X∩STôi≠∅\forall i,\,X\cap S_i \ne \emptyset Vấn đề này có tên không? Hoặc nó làm giảm đến một số vấn đề được biết …

16 ds.algorithms  graph-algorithms 

Giả sử chúng ta được cung cấp một ma trận và để . Chúng ta có thể tính công suất của ma trận đó nhanh đến mức nào?Một ∈ RN× NMột∈RN×NA \in \mathbb R^{N\times N}m ∈ N0m∈N0m \in \mathbb N_0MộtmMộtmA^m Điều tốt nhất tiếp theo so với các sản phẩm …

16 ds.algorithms  matrices  na.numerical-analysis 

Với một đồ thị vô hướng đỉnh , thời gian chạy được biết đến nhiều nhất bị ràng buộc để tìm một sơ đồ con là -biclique là gì? Có thuật toán tham số hóa nhanh hơn thuật toán về "đoán" một mặt của biclique và xem liệu có ít …

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Trong khi đọc blog của Dick Lipton, tôi tình cờ thấy một sự thật sau đây gần cuối bài viết Bourne Factor của anh ấy : Nếu, với mọi , tồn tại một mối quan hệ của mẫu nơi , và mỗi , và là có chiều dài chút, sau …

16 ds.algorithms  reference-request  factoring  comp-number-theory 

Tôi đã tự hỏi nếu các vấn đề mà thuật toán thời gian tuyến tính (trong kích thước đầu vào) tồn tại có thể được mô tả là sở hữu các thuộc tính cụ thể. Điều này bao gồm thời gian tuyến tính (ví dụ: kiểm tra thuộc tính, một …

16 cc.complexity-theory  ds.algorithms  complexity-classes  approximation-algorithms 

Tôi đang cố gắng để tìm ra cách con đường Graph theo Eppstein của thuật toán trong này giấy công trình và làm thế nào tôi có thể tái tạo lại đường đi ngắn nhất từ đến với tương ứng xây dựng đống .P(G)P(G)P(G)kkkssstttH(G)H(G)H(G) Cho đến nay: out(v)out(v)out(v) chứa tất …

16 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph 

Như đã biết, phân rã cây của đồ thị bao gồm một cây với một túi liên kết cho mỗi đỉnh , thỏa mãn các điều kiện sau:T T v ⊆ V ( G ) v ∈ V ( T )GGGTTTTv⊆V(G)Tv⊆V(G)T_v \subseteq V(G)v ∈V(T)v∈V(T)v \in V(T) Mỗi đỉnh của xảy …

16 ds.algorithms  graph-theory  graph-algorithms  treewidth 

Một cụm từ hoán vị là một mở rộng của tiêu chuẩn (E) BNF bối cảnh tự do định nghĩa ngữ pháp: một cụm từ hoán vị chứa sản xuất (hoặc tương đương, không thuộc đầu cuối) qua . Ở vị trí của cụm từ hoán vị, chúng tôi muốn …

16 ds.algorithms  fl.formal-languages  parsing  context-free 

Lý lịch Cây quyết định nhị phân là cây gốc, trong đó mỗi nút bên trong (và gốc) được gắn nhãn bởi một chỉ mục sao cho không có đường dẫn nào từ gốc đến lá lặp lại một chỉ mục, các lá được gắn nhãn bởi các đầu ra …

16 ds.algorithms  query-complexity  decision-trees 

Tôi không làm việc trên lý thuyết, nhưng công việc của tôi đòi hỏi phải đọc (và hiểu) các bài lý thuyết mỗi lần. Khi tôi hiểu (một bộ) kết quả, tôi sẽ thảo luận về những kết quả này với những người tôi làm việc cùng, hầu hết những …

16 ds.algorithms  graph-algorithms 

Lấy đồ thị có hướng trong đó các cạnh được trang trí bằng số tự nhiên. Chúng tôi muốn tập hợp tất cả các đường dẫn P nằm giữa hai đỉnh v 1 và v 2 sao cho mỗi cạnh liên tiếp trong đường dẫn được trang trí với một …

16 ds.algorithms  reference-request  graph-algorithms  terminology 

Một câu hỏi gần đây đã thảo luận về thuật toán lập trình động hiện đại cho TSP, do độc lập với Bellman và Held-Karp . Thuật toán được báo cáo phổ biến để chạy trong thời gian . Tuy nhiên, như một trong những học sinh của tôi gần …

16 ds.algorithms  machine-models  computing-over-reals 

Cho các điểm trong R d và khoảng cách l tìm tập con lớn nhất trong số các điểm này sao cho khoảng cách Euclidian của không có hai điểm nào vượt quá l .p1, Lọ , pnp1,Giáo dục,pnp_1,\ldots,p_nRdRd\mathbb{R}^{d}tôitôiltôitôil Sự phức tạp của vấn đề này là gì? Trong biểu …

16 ds.algorithms  reference-request  cg.comp-geom 

Chúng tôi được cấp một họ gồm m tập con của {1, ..., n}. Có thể tìm thấy một mức thấp không tầm thường ràng buộc vào sự phức tạp của việc quyết định liệu F có phải là một gia đình Sperner không? Giới hạn dưới tầm thường là …

16 ds.algorithms  co.combinatorics