Notable P vs. NP proof attempts.
-
Updated
Aug 18, 2023
#
p-vs-np
Here are 14 public repositories matching this topic...
This repository was setup to help people who believe that they solved the P vs NP problem and to help the people who review proposed solutions.
polynomial-time computational-complexity non-determinism complexity-theory millennium-problems p-vs-np unsolved-problems
-
Updated
Oct 24, 2022
python implementations of algorthims for the boolean satisfiability problem, including one to solve 3SAT in polynomial time
-
Updated
Jul 10, 2025 - TeX
Formal verification of the logical incompatibility between the P=NP hypothesis and the Witten-Helffer-Sjöstrand tunneling theorems in spectral geometry. Implemented in Lean 4.
-
Updated
Jan 23, 2026 - Lean
A comprehensive Python framework for parsing, transforming, and benchmarking CNF files for SAT solving research.
python computer-science benchmarking logic-programming cnf sat-solver heuristics sat 3sat p-vs-np p-vs-np-problems
-
Updated
Jun 14, 2025 - Python
Labs for the Advanced Algorithms course
algorithms graph-algorithms dynamic-programming state-machines depth-first-search string-matching string-search heaps red-black-trees deflate-algorithm boyer-moore-algorithm splay-trees p-vs-np euler-circuit
-
Updated
Aug 31, 2023 - C++
All assignments for CS 218: Design and Analysis of Algorithms, Spring 2021, IIT Bombay
-
Updated
Apr 16, 2021 - TeX
Reframing the P vs NP Problem
-
Updated
Jan 4, 2026
Informational Repo covering the Satisfiability of formulas in 3 Conjunctive Normal Form. Includes Demos of solving algorithms, and detailed analysis.
-
Updated
Jan 9, 2025 - Python
An structured attempt at a Polynomial -Time Solution to the NP-complete Subset Sum Problem.
python research np-complete discrete-mathematics mathematical-logic polynomial-time subset-sum complexity-theory computational-theory p-vs-np algorithamic-complexity structured-algorithams
-
Updated
Jul 25, 2025 - TeX
Código del TFG de Ingeniería Informática / Code for the Computer Science Bacherlor's Thesis
-
Updated
Sep 3, 2025 - Python
Coursera Data Structures and Algorithms Specialization course 5 --> Advanced Algorithms and Complexity... Code is completed in python only.
-
Updated
Sep 29, 2020 - Python
Improve this page
Add a description, image, and links to the p-vs-np topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the p-vs-np topic, visit your repo's landing page and select "manage topics."