johnsonreducer.h

来自「The ROSETTA C++ library is a collection 」· C头文件 代码 · 共 32 行

//-------------------------------------------------------------------
// Author........: Aleksander 豩rn
// Date..........:
// Description...:
// Revisions.....:
//===================================================================

#ifndef __JOHNSONREDUCER_H__
#define __JOHNSONREDUCER_H__

#include <copyright.h>

#include <kernel/algorithms/reducer.h>

//-------------------------------------------------------------------
// Class.........: JohnsonReducer
// Author........: Aleksander 豩rn
// Date..........:
// Description...: Simple greedy heuristic for computing a single
//                 prime implicant (reduct) only. Based on the
//                 set covering heuristic of Johnson:
//
//                 @ARTICLE{johnson:approximation74,
//                    author = "David S. Johnson",
//                    title = "Approximation Algorithms for Combinatorial Problems",
//                    journal = "Journal of Computer and System Sciences",
//                    year = 1974,
//                    volume = 9,
//                    pages = "256--278",
//                 }
//
// Revisions.....: A