From <i>P</i> ≟ <i>NP</i> to Practice: Description Complexity and Certificate-First Algorithm Discovery for Hard Problems

The celebrated question of whether <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mi>P</mi><mo>=</mo><mi>N</mi><mi>P</mi></mrow></semantics></math></inline-formula> continues to define the boundary between the feasible and the intractable in compu...

ver descrição completa

Detalhes bibliográficos

Principais autores:	John Abela, Ernest Cachia, Colin Layfield
Formato:	Artigo
Idioma:	Inglês
Publicado em:	MDPI AG 2025-12-01
coleção:	Mathematics
Assuntos:	<i>P</i> ≟ <i>NP</i> NP-completeness Kolmogorov complexity automated algorithm discovery approximation algorithms certificate-first verification
Acesso em linha:	https://www.mdpi.com/2227-7390/14/1/41
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!