Documentation ¶
Overview ¶
Package np provides reduction algorithms from known NP-complete problems to SAT. Currently only SET-COVER is implemented.
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func MinimumSetCover ¶
func MinimumSetCover[T any](sets [][]T) [][]T
MinimumSetCover computes a minimum set cover for a given collection of sets. This is a simple MaxSAT based implementation of an algorithm and is really only meant for small set cover problems with perhaps some tens or hundreds of set and hundreds of variables.
Types ¶
This section is empty.
Click to show internal directories.
Click to hide internal directories.