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

Tôi đang tìm kiếm tài liệu tham khảo về sự phức tạp của vấn đề cân bằng công thức Boolean . Đặc biệt, Được biết rằng các công thức Boolean có thể được cân bằng trong AC0AC0\mathsf{AC^0} ? Có bằng chứng đơn giản nào về công thức Boolean cân bằng …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

Tôi biết Gaussian Elimination có các phép toán số học , nhưng tôi không chắc có thuật toán nào tốt hơn được biết không.Ô ( n3)Ôi(n3)O(n^3)

10 ds.algorithms  linear-algebra  matrices 

Fix k≥5k≥5k\ge5 . Đối với bất kỳ đủ lớn nnn, chúng tôi muốn gắn nhãn tất cả các tập hợp con của {1..n}{1..n}\{1..n\} có kích thước chính xác bằng n/kn/kn/k theo số nguyên dương từ {1...T}{1...T}\{1...T\} . Chúng tôi muốn ghi nhãn này để đáp ứng các thuộc tính sau: …

10 ds.algorithms  graph-algorithms  it.information-theory  nt.number-theory  exp-time-algorithms 

Dường như có nhiều thuật toán ngẫu nhiên để kiểm tra nhận dạng đa thức, kiểm tra xem một đa thức đã cho có bằng không hay không. Có bất kỳ kết quả của các thuật toán thực hiện một số loại ước lượng của đa thức qua một tập …

10 ds.algorithms  approximation-algorithms  randomized-algorithms  derandomization  polynomials 

Các biểu diễn đơn giản nhất cho biểu đồ sử dụng ma trận / danh sách kề, nghĩa là mỗi nút và cạnh được biểu diễn rõ ràng. Tầm quan trọng của các biểu diễn ngầm cho các biểu đồ thể hiện tính đều đặn mạnh mẽ đã được công …

10 ds.algorithms  reference-request  graph-theory  survey  binary-decision-diagrams 

Đặt . Tôi cần phải tạo ra các đồ thị đơn giản của chu vi như vậy mà tập tất cả các -cycles hình thức một lợi thế cạnh bìa đôi của (có nghĩa là, mỗi cạnh được chia sẻ bởi chính xác hai -cycles), và như vậy mà các …

10 ds.algorithms  reference-request  graph-theory  co.combinatorics  pseudorandom-generators 

Tôi biết rằng đối với một đồ thị lưỡng cực không có trọng số, tôi có thể tìm thấy nắp đỉnh tối thiểu bằng cách trước tiên tìm khớp tối đa và biến nó thành nắp đỉnh bằng Định lý König. Có một sửa đổi người ta có thể sử …

10 ds.algorithms  graph-theory 

Đặt là một đồ thị vô hướng. Một phép phân tách V thành các tập con tách rời V i được gọi là phép phân tách Hamilton của G nếu sơ đồ con được tạo bởi mỗi tập V i là một đồ thị Hamilton hoặc bao gồm một cạnh …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

Tôi đang cố gắng sử dụng cây hậu tố để so sánh chuỗi chuỗi. Tôi đã tìm thấy các triển khai / lý thuyết cho vấn đề chuỗi phụ phổ biến dài nhất bằng cách sử dụng cây hậu tố. Tuy nhiên, điều tôi đang tìm kiếm là một cuộc …

10 ds.algorithms  string-matching 

Trong bài viết Về hai vấn đề của lý thuyết thông tin , Erdõs và Rényi đưa ra giới hạn thấp hơn về số lượng cân tối thiểu người ta phải làm để xác định số lượng tiền giả trong một bộ xu.nnn Chính thức hơn: Các đồng tiền giả …

10 ds.algorithms  reference-request  co.combinatorics  it.information-theory  randomized-algorithms 

Đối với một đồ thị vô hướng và một tập hợp S các đỉnh, các thuật toán tiệm cận nhanh nhất được biết đến với việc tìm kiếm một con đường đơn giản có chứa tất cả các yếu tố của là những gì S . Điều gì xảy ra …

10 ds.algorithms  graph-algorithms  time-complexity 

Giả sử chúng ta xem xét 3-SAT với biến và mệnh đề . Tôi đang nghiên cứu một phương pháp có vẻ mất thời gian / không gian để giải quyết bất kỳ vấn đề SAT nào phù hợp với mô tả này, trong một lỗi có thể được điều …

10 ds.algorithms  sat  upper-bounds 

Cho một đồ thị không trọng số phẳng, và một bộ sưu tập các cặp đỉnh ( k ≥ 2 là một hằng số), tìm k đỉnh-rời nhau (trừ nguồn) đường dẫn từ s đến t i sao cho chiều dài của con đường dài nhất được giảm thiểu.(s,t1),…,(s,tk)(s,t1),…,(s,tk)(s,t_1),\dots,(s,t_k)k≥2k≥2k\ge2kkkssstitit_i Câu …

10 ds.algorithms  graph-algorithms 

Tôi muốn biết liệu vấn đề đơn giản sau đây đã được nghiên cứu hay chưa và liệu có giải pháp nào được biết không. Đặt G là lưới hữu hạn (MxN), S là tập con của các ô G ("mẩu vụn"). Hai mảnh vụn được gọi là (cục bộ) …

10 ds.algorithms  graph-theory  graph-algorithms 

Có một thuật toán đa thức thời gian để tìm thấy nếu một người tồn tại một con nhện kéo dài của một đồ thị không? Nhện là một cây có nhiều nhất một nút có độ lớn hơn 2: Tôi biết rằng các điều kiện mức độ khác nhau …

10 ds.algorithms  reference-request  graph-theory  graph-algorithms