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.