papers - CAVE-PNP/cave-pnp GitHub Wiki

Claimed Solutions of P vs NP

The P-versus-NP page

The vast majority of entries are from the P-versus-NP page. Here, only the papers that we aim to formalize are listed.

49. Zohreh O. Akbari: A polynomial-time algorithm for the maximum clique problem

Claim: $P = NP$

Published in: 2013 IEEE/ACIS 12th International Conference on Computer and Information Science (ICIS) (see doi:10.1109/ICIS.2013.6607889)

Full text available through Google Scholar.

116. Stefan Rass: On the Existence of Weak One-Way Functions

See the separate report on paper #116

Claim: $P ≠ NP$

Preprint hosted on arXiv (full text available, see arxiv:1609.01575)

More

This is a collection of relevant claimed results found during the work on this project.

Eric Grigoryan: Linear algorithm for solution n-Queens Completion problem

Claim: $P = NP$ (implied)

The n-Queens Completion Problem is an NP-Complete variation of the classic n-Queens Puzzle (see The 8-Queens Puzzle and Complexity of n-Queens Completion)

The algorithm is not exact however, as the author notes in ch. 8:

  1. An algorithm is described which allows solving in linear time the n-Queens Completion problem for an arbitrary composition of k queens, consistently distributed on a chessboard of size $n×n$. Moreover, for any composition of $k$ queens ($1 ≤ k < n$), a solution is provided, if any, or a decision is made that this composition can’t be completed. The probability of an error in making such a decision does not exceed 0.0001, and this value decreases with increasing size of a chessboard.

Preprint hosted on arXiv (full text available, see arxiv:1912.05935

Sources available on GitHub: github:ericgrig/Completion-n-Queens-Problem