Câu hỏi được gắn thẻ «order-theory»

Giả sử tôi có một vị trí "S" và một vị từ đơn điệu "P" trên S. Tôi muốn tìm một hoặc tất cả các phần tử tối đa của S thỏa mãn P. EDIT : Tôi quan tâm đến việc giảm thiểu số lượng đánh giá của P . …

28 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

Vì thuật ngữ này là quá tải, nên một định nghĩa ngắn gọn đầu tiên. Một poset là một tập ban cho một thứ tự một phần . Cho hai phần tử , chúng ta có thể định nghĩa (tham gia) là giới hạn trên nhỏ nhất của chúng trong …

17 reference-request  co.combinatorics  metrics  lattice  order-theory 

Tôi cho là đầu vào một DAG của n đỉnh trong đó mỗi đỉnh x được dán nhãn bổ sung với một số S ( x ) ⊆ { 1 , ... , n } .GGGnnnxxxS(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} Một loại cấu trúc liên kết của là một mệnh …

15 sorting  directed-acyclic-graph  partial-order  matching  order-theory 

Hãy xem xét một vị trí hữu hạn trên mục và là một vị từ đơn điệu không xác định trên (nghĩa là với mọi , , nếu và thì ) . Tôi có thể đánh giá bằng cách cung cấp một nút và tìm hiểu xem có giữ hay …

15 ds.algorithms  lg.learning  partial-order  search-problem  order-theory 

Hãy xem xét vấn đề mà chúng ta được đưa ra làm đầu vào một đồ thị chu kỳ có hướngG=(V,E)G=(V,E)G = (V, E), a labeling function λλ\lambda from VVV to some set LLL with a total order &lt;L&lt;L<_L (e.g., the integers), and where we are asked to compute the …

13 cc.complexity-theory  np-hardness  sorting  directed-acyclic-graph  order-theory 

Xét một vị từ P đơn điệu trên lũy thừa 2 | n | (đặt hàng bằng cách đưa vào). Bằng cách "đơn điệu" Ý tôi là: ∀ x , y ∈ 2 | n | sao cho x ⊂ y , nếu P ( x ) thì P ( …

12 ds.algorithms  ds.data-structures  partial-order  order-theory  search-problem 

Nếu bạn được cung cấp một bộ sưu tập các đơn hàng một phần, sắp xếp theo cấu trúc liên kết sẽ cho bạn biết nếu có phần mở rộng của bộ sưu tập cho tổng đơn hàng (phần mở rộng trong trường hợp này là tổng đơn hàng phù …

12 ds.algorithms  reference-request  order-theory 

Fix một nhóm hữu hạn . Tôi quan tâm đến vấn đề quyết định sau: đầu vào là một số phần tử của G với thứ tự một phần trên chúng, và câu hỏi là liệu có sự hoán vị của các phần tử thỏa mãn thứ tự hay không …

11 np-hardness  sorting  gr.group-theory  partial-order  order-theory 

Đã có một lượng công việc khá lớn đối với các vấn đề tính toán cho các đơn hàng một phần (ví dụ: nhận dạng, số nhảy, nhận dạng biểu đồ so sánh, v.v ...). Tôi tò mò những gì công việc cụ thể cho mạng đã được thực hiện. …

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

Định lý điểm cố định của Tarski nói rằng các điểm cố định của toán tử đơn điệu trên một mạng hoàn chỉnh là một mạng hoàn chỉnh. Do đó, chúng tôi có một điểm cố định lớn nhất và điểm cố định nhỏ nhất duy nhất cho một toán …

8 algebra  lattice  order-theory