Podtřída Hornovských CNF optimálně komprimovatelná v polynomiálním čase

Abstrakt

Definujeme novou třídu hornovských funkcí, která obsahuje obě dosud známé polynomiální třídy a navrhujeme polynomiální algoritmus pro minimalizaci této nové třídy.

Klíčová slova

• Hornovské CNF
• komprimovatelná
• polynomiální čas