Personal website Rudolf Adamkovič

Home / Computer science / NP-hard


Symbolic definition

\begin{equation*} L \in \text{NP-hard} \> \iff \> \forall L' \! \in \text{NP}, \>\> L' \leq_p L. \end{equation*}

© 2025 Rudolf Adamkovič under GNU General Public License version 3.
Made with Emacs and secret alien technologies of yesteryear.