GitHub topics: polynomial-time
graph-algorithm/minimum-cut
:haircut_woman: Minimum cut algorithm for JavaScript
Language: JavaScript - Size: 2.94 MB - Last synced at: about 14 hours ago - Pushed at: 25 days ago - Stars: 0 - Forks: 0
frankvegadelgado/alonso
Alonso: Approximate Vertex Cover Solver
Language: Python - Size: 92.8 KB - Last synced at: 7 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
minakshihub/P-VS-NP-SUBSET-SUM
An structured attempt at a Polynomial -Time Solution to the NP-complete Subset Sum Problem.
Language: TeX - Size: 997 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
Quiggleson/sat
python implementations of algorthims for the boolean satisfiability problem, including one to solve 3SAT in polynomial time
Language: TeX - Size: 4.36 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 3 - Forks: 1
frankvegadelgado/varela
Varela: Approximate Vertex Cover Solver
Language: Python - Size: 186 KB - Last synced at: 28 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
abess-team/A-Polynomial-Algorithm-for-Best-Subset-Selection-Problem
Reproducible materials for "A polynomial algorithm for best-subset selection problem"
Language: R - Size: 1.17 MB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 0
chriskormaris/TSP
TSP (Travelling Salesman Problem) plot in Java. It runs the TSP brute-force algorithm and draws the cycle of minimum distance among cities of random or fixed coordinates.
Language: Java - Size: 1.04 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0
MichaelWehar/P-vs-NP-Community
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.
Size: 20.5 KB - Last synced at: 7 months ago - Pushed at: almost 3 years ago - Stars: 5 - Forks: 1
frankvegadelgado/soul
SOUL-MX2SAT Solver
Language: Python - Size: 9.77 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0
frankvegadelgado/alma
ALMA—MWX2SAT Solver
Language: Python - Size: 11 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 2 - Forks: 0
frankvegadelgado/espiritu
ESPIRITU| SAT Solver
Size: 131 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
frankvegadelgado/satpy
SAT PY
Size: 11 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
mbdevpl/VaDoR 📦
solver for the VAnishing DOmino pRoblem
Language: C++ - Size: 24.3 MB - Last synced at: over 1 year ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
frankvegadelgado/sat_py
SAT Solver
Language: Python - Size: 11 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
Devoo-Consulting/devoo_py
NP-complete Solver
Language: Python - Size: 29.3 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
chriskormaris/2-SAT
This is an algorithm that given a Boolean formula with n=3 distinct variables and 2 variables per clause (2-Satisfiability), determines the values of the variables that result in the formula being TRUE, or determines that there is no solution and the formula is never TRUE. Written in Python.
Language: Python - Size: 13.7 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1
computational-problem-solving/js-2sat
:satisfied: 2-Satisfiability library for JavaScript
Language: JavaScript - Size: 159 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
MilchRatchet/PAL
Polytime Algorithm Libraries
Language: C - Size: 130 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0
TheFloatingString/ICLR_Challenge
Reproducing research from ICLR 2018 by analyzing the evolution of a convolutional neural network in polynomial time.
Language: Jupyter Notebook - Size: 904 KB - Last synced at: 4 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
koscelansky/EdmondsVisualizer
Simple application to visualize Blossom algorithm (introduced by Jack Edmonds)
Language: C# - Size: 43.9 KB - Last synced at: 8 months ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0
