Giảm vấn đề sau xuống SAT


21

Đây là vấn đề. Với , trong đó mỗi . Có tập hợp con với kích thước tối đa sao cho cho tất cả ? Tôi đang cố gắng giảm vấn đề này xuống SAT. Ý tưởng của tôi về một giải pháp sẽ là có một biến cho mỗi từ 1 đến . Đối với mỗi , hãy tạo một mệnh đề nếuk,n,T1,,TmS { 1 , ... , n }Ti{1,,n}S{1,,n}kSTiixinTi(xi1xik)Ti={i1,,ik}. Sau đó và tất cả các mệnh đề với nhau. Nhưng đây rõ ràng không phải là một giải pháp hoàn chỉnh vì nó không đại diện cho ràng buộc mà phải có tối đa phần tử. Tôi biết rằng tôi phải tạo nhiều biến hơn, nhưng đơn giản là tôi không biết làm thế nào. Vì vậy, tôi có hai câu hỏi:Sk

  1. Là ý tưởng của tôi về giải pháp đi đúng hướng?
  2. Các biến mới nên được tạo như thế nào để chúng có thể được sử dụng để thể hiện ràng buộc cardinality ?k

5
Chỉ cần một nhận xét: Vấn đề của bạn được gọi là HITTING SET , đây là một công thức tương đương của vấn đề SET COVER .
A.Schulz

Câu trả lời:


13

Có vẻ như bạn đang cố gắng tính toán một siêu đồ thị có kích thước . Đó là, { T 1 , Mạnh , T m } là siêu dữ liệu của bạn và S là chuyển vị của bạn. Một bản dịch tiêu chuẩn là diễn đạt các mệnh đề như bạn có, và sau đó dịch giới hạn độ dài thành một ràng buộc về số lượng.k{T1,,Tm}S

Vì vậy, sử dụng mã hóa hiện tại của bạn, ví dụ, và sau đó thêm mệnh đề mã hóa Σ 1 i n x ik .1jmiTjxi1inxik

là một cardinality hạn chế. Có nhiều bản dịch ràng buộc cardinality khác nhau vào SAT.1inxik

Cách đơn giản nhất nhưng khá lớn dịch cardinality hạn chế là chỉ . Bằng cách này mỗi phân ly đại diện cho chế ¬ i X x i - cho tất cả các tập con X của { 1 , ... , n }X{1,,n},|X|=k+1iX¬xi¬iXxiX{1,,n}có kích thước k + 1. Đó là, chúng tôi đảm bảo rằng không có cách nào có thể đặt nhiều hơn k biến. Lưu ý rằng đây không phải là kích thước đa thức tính bằng k

Một số liên kết đến các bài báo về các bản dịch ràng buộc cardinality hiệu quả hơn về không gian có kích thước đa thức tính bằng k :

Nếu bạn thực sự quan tâm đến việc giải quyết các vấn đề như vậy, có lẽ tốt hơn là xây dựng chúng thành các vấn đề giả-boolean (xem bài viết wiki về các vấn đề giả-boolean ) và sử dụng các bộ giải giả giả (xem cạnh tranh giả-boolean ). Bằng cách đó, các ràng buộc về cardinality chỉ là các ràng buộc giả-boolean và là một phần của ngôn ngữ - hy vọng người giải giả giả sau đó xử lý chúng trực tiếp và do đó hiệu quả hơn.


1
Vui lòng mô tả tất cả các liên kết trong thời gian ngắn (ít nhất là tác giả và tiêu đề) để mọi người có thể tìm thấy các tài liệu nếu các liên kết bị phá vỡ. Có lẽ tốt nhất là sử dụng DOI nếu có sẵn.
Raphael

1
@Raphael Điểm tốt! Xin lỗi tôi nên làm điều đó để bắt đầu. Bây giờ tôi đã cập nhật tất cả các liên kết; Tôi không chắc liệu Springer có cung cấp DOI hay không nhưng hiện tại cần có đủ thông tin để tìm thấy chúng nếu các liên kết bị hỏng. Lưu ý: Tôi không liên kết đến các tệp PDF chính thức từ Springer để tránh các vấn đề truy cập.
MGwynne

Nhưng có vẻ như mức giảm mà bạn đưa ra không phải là trong thời gian đa thức, phải không?
Aden Dong

@AdenDong Bạn không nói gì về đa thức;). Bản dịch ràng buộc cardinality đơn giản mà tôi đề cập không phải là đa thức trong (nhưng là dành cho k cố định ). Các bản dịch ràng buộc cardinality được đưa ra trong các bài báo tôi liệt kê đa thức trong k - sử dụng các biến mới. Tôi đã cập nhật câu trả lời của mình để làm cho điều này rõ ràng hơn. kkk
MGwynne

MGwynne, tôi có xu hướng luôn liên kết DOI chính thức ngay cả khi nó được thanh toán để có thể chứng minh trong tương lai và các phiên bản miễn phí bổ sung. Nhưng như bây giờ, bất kỳ ai cũng có thể tìm thấy các giấy tờ, vì vậy nó hoàn toàn ổn.
Raphael

6

Nếu bạn không hoàn toàn đặt vào SAT bình thường, ý tưởng của bạn đã giảm xuống MIN-ONES (trên các công thức CNF tích cực), về cơ bản là SAT, nhưng ở đó bạn có thể đặt tối đa biến thành đúng (hoàn toàn là tối ưu hóa phiên bản mà chúng tôi giảm thiểu về số lượng biến thực).k

Tương tự như vậy nếu bạn đi theo hướng Độ phức tạp tham số, thì về cơ bản bạn đã có WSAT ( ), trong đó Γ + 2 , 1 là lớp của tất cả các công thức CNF tích cực (giống như trước đây, ký hiệu có thể giúp bạn điều tra mặc dù). Trong trường hợp này, bạn phải bắt đầu xem tham số nào sẽ hữu ích trong trường hợp của bạn.Γ2,1+Γ2,1+

Tôi cho rằng bạn đang tìm kiếm một sự giảm rõ ràng, nhưng nếu không, bạn luôn có thể quay lại Định lý Cook-Levin .

Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.