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

Tất nhiên, vấn đề thỏa mãn là một vấn đề cơ bản trong lý thuyết CS. Tôi đã chơi với một phiên bản của vấn đề với vô số biến. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Thiết lập cơ bản. Đặt là tập hợp các biến không trống và có thể là vô hạn …

18 reference-request  lo.logic  sat  topology  lattice 

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 có hai phân vùng và đang tìm khoảng cách chỉnh sửa giữa chúng.[1…n][1…n][1 \ldots n] Bằng cách này, tôi muốn tìm số lần chuyển tiếp tối thiểu của một nút thành một nhóm khác nhau cần thiết để đi từ phân vùng A sang phân vùng B. Ví dụ, …

17 ds.algorithms  edit-distance  lattice 

EDIT (Tác giả Tara B): Tôi vẫn quan tâm đến một tài liệu tham khảo về một bằng chứng về điều này, vì tôi phải tự chứng minh điều đó cho bài viết của mình. Tôi đang tìm bằng chứng của Định lý 4 xuất hiện trong bài báo này: …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

Đị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