Skip to content

[Rule] EXACT COVER BY 3-SETS to SUBSET PRODUCT #388

@isPANN

Description

@isPANN

Source: EXACT COVER BY 3-SETS
Target: SUBSET PRODUCT
Reference: Garey & Johnson, SP14, p.224

Specialization Note

This rule's source problem (EXACT COVER BY 3-SETS / X3C) is a specialization of MINIMUM SET COVERING. Implementation should wait until X3C is available as a codebase model.

Metadata

Metadata

Assignees

No one assigned

    Labels

    ruleA new reduction rule to be added.

    Type

    No type
    No fields configured for issues without a type.

    Projects

    Status
    Done

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions