Topic: "polynomial-time"
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: 22 days ago - Pushed at: over 2 years ago - Stars: 6 - 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: 2 months ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 1
frankvegadelgado/capablanca
Capablanca: 2-Approximation Dominating Set Solver
Language: Python - Size: 341 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 0
frankvegadelgado/alma
ALMA—MWX2SAT Solver
Language: Python - Size: 11 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0
Quiggleson/sat
python implementations of algorthims for the boolean satisfiability problem, including one to solve 3SAT in polynomial time
Language: TeX - Size: 3.87 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - 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: 3 months ago - Pushed at: 3 months ago - Stars: 1 - 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: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 1
graph-algorithm/minimum-cut
:haircut_woman: Minimum cut algorithm for JavaScript
Language: JavaScript - Size: 3.16 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 0 - Forks: 0
frankvegadelgado/varela
Varela: Minimum Vertex Cover Solver
Language: Python - Size: 156 KB - Last synced at: 4 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
frankvegadelgado/soul
SOUL-MX2SAT Solver
Language: Python - Size: 9.77 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
frankvegadelgado/espiritu
ESPIRITU| SAT Solver
Size: 131 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
frankvegadelgado/satpy
SAT PY
Size: 11 MB - Last synced at: 11 months ago - Pushed at: 11 months 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
computational-problem-solving/js-2sat
:satisfied: 2-Satisfiability library for JavaScript
Language: JavaScript - Size: 159 KB - Last synced at: 17 days 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: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
MilchRatchet/PAL
Polytime Algorithm Libraries
Language: C - Size: 130 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
mbdevpl/VaDoR 📦
solver for the VAnishing DOmino pRoblem
Language: C++ - Size: 24.3 MB - Last synced at: 12 months ago - Pushed at: over 5 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: about 2 months ago - Pushed at: almost 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: 4 months ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
