Corroboration · Est. 1996, maintained again since 2026

The P versus NP Register

Continuing the page kept by Gerhard Woeginger, 1996–2016.

Post-2016 Register census entry 136

A polynomial time algorithm for 3-SAT

A post-2016 Register census entry for a claimed P = NP result by Manoj Kumar. It was not part of Woeginger’s frozen list and remains an unadjudicated candidate.

Register number
136
Author(s)
Manoj Kumar
Year claimed
2021
Direction
P = NP
Works or versions
4
Register status
Unadjudicated candidate
Refutation record
A refutation is recorded
Census source
sweep/post2016-candidates-v2.jsonl
Census SHA-256
5e004aeecbc2d51ab55c93a769c81e8bf403cf7c50f668e294d289f7e7a04732

Candidate status

Unadjudicated candidate

Unadjudicated

The Register publishes this census record without endorsing or adjudicating the mathematical claim.

Unadjudicated does not mean endorsed.

A refutation is recorded in the census evidence below. This records a public response, correction, or withdrawal; it is not a Register adjudication.

Register census note

Inclusion basis

The abstract explicitly states that the algorithm proves P=NP; the public complexity analysis is attached to the lineage.

Links recorded by the census

The same link-list treatment is used across both corpora. These 63 post-2016 URLs carry the census’s dated link state; the 45-of-174 link-rot statistic remains explicitly historical.

  • Link retained by the post-2016 census

    Live at census

    https://arxiv.org/abs/2101.05597

    Link status recorded by the census on 24 July 2026. This dated census status is separate from the held 174-link historical HEAD probe.

  • Link retained by the post-2016 census

    Live at census

    https://arxiv.org/abs/2112.06062

    Link status recorded by the census on 24 July 2026. This dated census status is separate from the held 174-link historical HEAD probe.

Post-2016 census provenance

Source
post-2016 discovery sweep
Venue type
arXiv
Arxiv id
2101.05597
V1 date
2021-01-13
Latest version
v3 (2021-05-24)
Status
current

Discovery queries

  • arXiv abs:"we prove that P=NP"
  • arXiv all:"P=NP" + polynomial algorithm

Cite this dossier

Plain text

The P versus NP Register. “Dossier 136: A polynomial time algorithm for 3-SAT.” Post-2016 Register census entry; as of 26 July 2026.

BibTeX

@misc{pvnp-register-136-2026,
  author = {{The P versus NP Register}},
  title = {A polynomial time algorithm for 3-SAT},
  year = {2026},
  note = {Post-2016 census dossier 136; unadjudicated; as of 2026-07-26}
}