GitHub topics: np-complete

Repositories

MOUADnoui/spectral-popper

StructureLang Lexicon Resonance Experiment with δ(x,t) activation zones and ψ-hotspots

Language: Python - Size: 49.8 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 0 - Forks: 0

Simulacrum0/Simulacrum0.github.io

Wantware Deployment Website

Language: HTML - Size: 130 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0

bcroner/getfactors

3SAT solver and integer factorizer

Language: C++ - Size: 755 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0

computational-problem-solving/sat

:satisfied: Boolean formula satisfiability algorithms for JavaScript

Language: JavaScript - Size: 2.85 MB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 6 - Forks: 0

hamidgasmi/training.computerscience.algorithms-datastructures

Language: Python - Size: 63.4 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 14 - Forks: 8

Hope-Alemayehu/isify

A Python library to convert NP problems into Ising Hamiltonians for quantum and classical optimization.

Language: Python - Size: 6.84 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

UnB-SAT/PluSAT

PluSAT, a modular SAT solver

Language: C - Size: 52.7 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 5 - Forks: 6

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

harshrajhrj/ee-rmsa

ENERGY EFFICIENT REGENERATION AWARE ROUTING MODULATION AND SPECTRUM ALLOCATION FOR MULTICAST SESSION IN ELASTIC OPTICAL NETWORK

Language: C++ - Size: 13.9 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

frankvegadelgado/varela

Varela: Approximate Vertex Cover Solver

Language: Python - Size: 186 KB - Last synced at: 22 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

joshuaguerin/Answer-Set-Programming-Algorithms

Implementation of classical problems in Computer Science in the Answer Set Solving dialect of Clingo.

Language: Python - Size: 12.6 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 19 - Forks: 1

optapy/optapy

OptaPy is an AI constraint solver for Python to optimize planning and scheduling problems.

Language: Java - Size: 13.5 MB - Last synced at: 21 days ago - Pushed at: almost 2 years ago - Stars: 294 - Forks: 24

Mk9207/-P-NP-Constructive-Proof-of-P-NP

This repository presents a constructive and complete proof of the P≠NP problem, based on structural separation and recursive unconstructibility. 本リポジトリは、構成的手法によりP≠NP問題を完全に証明した理論を収録しています。構成不能性と分離構造に基づく新たなアプローチです。

Size: 0 Bytes - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

Universidade-Livre/rinha-de-algoritmos

Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!

Language: Python - Size: 18.1 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 165 - Forks: 35

raudel25/my-thesis

My bachelor thesis

Language: TeX - Size: 39 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0

professorcode1/College-Time-Table-Scheduler

https://portfolio.raghavkumar.co.in/collegeschduler Creates a college schedule using ant-colony optimisation to perform graph colouring. This was my sem 4 Software Engineering project

Language: TypeScript - Size: 27.1 MB - Last synced at: 7 days ago - Pushed at: about 1 year ago - Stars: 8 - Forks: 1

dynaroars/npbench

a collection of benchmarks (in DIMACS format) for various NP-Complete problems

Language: TeX - Size: 102 MB - Last synced at: 6 days ago - Pushed at: 4 months ago - Stars: 12 - Forks: 1

papasop/spectral-popper

StructureLang Lexicon Resonance Experiment with δ(x,t) activation zones and ψ-hotspots

Language: Python - Size: 82 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

timbeurskens/rsbdd

A Reduced-order Binary Decision Diagram (RoBDD) SAT solver written in Rust

Language: Rust - Size: 341 KB - Last synced at: 4 months ago - Pushed at: 5 months ago - Stars: 7 - Forks: 2

HRSAndrabi/npycomp

A Python library for NP-complete reductions.

Language: Python - Size: 482 KB - Last synced at: 2 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

zhelih/rds-serial

Russian Doll Search for Computing Maximum Vertex Weight Hereditary Structures in Graphs. Now with OpenMP support.

Language: C++ - Size: 812 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 3 - Forks: 2

moritz-gross/FixCon

A Generic Solver for Fixed-Cardinality Subgraph Problems

Language: Kotlin - Size: 50.8 MB - Last synced at: 1 day ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

UnderYourSpell/knapsackgo

Implementation of the Genetic Algorithm on the Knapsack Problem in Go

Language: Go - Size: 1.95 KB - Last synced at: 1 day ago - Pushed at: 9 months ago - Stars: 0 - Forks: 0

mishun/minisat-rust

Experimental minisat SAT solver reimplementation in Rust

Language: Rust - Size: 9.74 MB - Last synced at: 4 months ago - Pushed at: about 6 years ago - Stars: 71 - Forks: 6

muribe0/TDA

Algorithm design strategies.

Language: Python - Size: 17.4 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

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

jackr276/N-Puzzle-Solver-HTTP-Server

An implementation of a fully custom multithreaded HTTP server that allows for the solving of N-Puzzle problems remotely through a web client interface

Language: C - Size: 124 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

LucasBoTang/Coursera_Discrete_Optimization

Exact and meta-heuristic algorithms for NP problems

Language: Python - Size: 11.3 MB - Last synced at: 5 months ago - Pushed at: almost 6 years ago - Stars: 20 - Forks: 3

erdoganege/Finding-Maximum-Independent-Set

Sabanci University CS301 - Algorithms Course Project

Language: Python - Size: 5.49 MB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

DarkStarStrix/QSolvers

The Swiss Army Knife of Applied Quantum Technology

Language: Python - Size: 15.8 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 5

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

YessineMkaouar/Algorithme_Genetique

Solve the subset sum problem using genetic algorithms

Language: C - Size: 1.75 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

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

maxtuno/problem-solving-book

Problem Solving: A Practical Workbook

Language: Jupyter Notebook - Size: 5.09 MB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 6 - Forks: 0

adilhamid/Analysis_Of_Algorithms

Size: 2.68 MB - Last synced at: over 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

tlaskey/MaxCliqueApproximator

Language: Java - Size: 36.1 KB - Last synced at: over 1 year ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

frankvegadelgado/alba

ALBA| SAT Solver

Language: Python - Size: 13.1 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

CristianAbrante/Hamiltonian-Circuit Fork of alu0100767803/HC

NP-Completeness prove for Hamiltonian Circuit problem

Language: TeX - Size: 16.9 MB - Last synced at: over 1 year ago - Pushed at: over 6 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

lhengi/z3flowfreeSolver

Solution finder for a popular mobile game "Flow Free". Solution for this game is in NP-Complete. Derived a polynomial time reduction algorithm to reduce the problem to satisfiability problem.

Language: Python - Size: 41.7 MB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1

Fanusaez/TDA-G04

Respositorio de los TPs de la materia Teoria de Algoritmos

Language: Jupyter Notebook - Size: 6.48 MB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

gorkemguzeler/Algorithms

Algorithms assignments

Size: 777 KB - Last synced at: over 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

charlesmjdana/Uniform

Uniform: A Probabilistic SAT Solving Algorithm

Language: C - Size: 2.9 MB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

SleekPanther/minimum-weighted-vertex-cover-approximation-algorithm

Approximation Algorithm for the NP-Complete problem of finding a vertex cover of minimum weight in a graph with weighted vertices. Guarantees an answers at most 2 times the optimal minimum weighted vertex cover

Language: Java - Size: 875 KB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 8 - Forks: 2

andrea-covre/Minimum-Vertex-Cover

With this project we researched, implemented and analyzed different algorithms to effectively and efficiently solve an NP-Complete problem such as the Minimum Vertex Cover (MVC).

Language: Python - Size: 3.05 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 0

uzkns/Linear-Time-Tree-Decomposition

LaTeX source for my presentation of Hans Bodlaender's "Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth"

Language: TeX - Size: 7.22 MB - Last synced at: almost 2 years ago - Pushed at: about 7 years 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

atulshrma/integer-optimisation-analytics

Language: Python - Size: 22.5 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Sandbergo/learn2branch Fork of ds4dm/learn2branch

:trident: Learning to Branch in Mixed Integer Linear Programming with Neural Networks

Language: Python - Size: 132 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

R-Besson/strip-packing-cpp

Strip Packing Written in C++

Language: C++ - Size: 978 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 3 - Forks: 1

oscarsandford/Sudoku-Banana 📦

Distinctly banana. This program generates and solves nxn sudoku puzzles. Puzzle customization included!

Language: Java - Size: 11.7 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

ImMohammadHosseini/Knapsack-problem

solving knapsack problem using Ant Colony Optimization (ACO) algorithm

Language: Python - Size: 27.3 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

RodolfoPichardo/LinKernighanTSP

A java implementation of the famous Lin-Kernighan heuristics algorithm implemented for graphic (symmetric) TSP

Language: Java - Size: 1.74 MB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 25 - Forks: 13

EvanOman/AntColonyOptimization-TSP

An Ant Colony Optimization algorithm for the Traveling Salesman Problem

Language: MATLAB - Size: 866 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 32 - Forks: 8

frankvegadelgado/sat-py

SAT Solver

Language: Scala - Size: 2.23 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

R-Besson/strip-packing

Strip Packing Problem Visualizer

Language: JavaScript - Size: 109 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

EmreKumas/MWVCP-Genetic-Algorithm 📦

In MWVCP, a member of np-complete family, it is required to find the vertex cover of a given graph such that the sum of the weights of the nodes is the minimum. A vertex cover of a graph is “a set of vertices such that each edge of the graph is incident to at least one vertex of the set”.

Language: Python - Size: 1.28 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 1

SimoneStefani/google-hash-code-2018 📦

Google Hash Code 2018 Online Qualification Round

Language: Java - Size: 366 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 1

dkutin/knapsack 📦

NP-Complete 0-1 Knapsack problem, implemented in Go

Language: Go - Size: 1.17 MB - Last synced at: about 1 year ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

andy6804tw/Alogrithm

演算法筆記

Language: Java - Size: 19.6 MB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

mraediaz/Knapsack

This class will create the knapsack, the items, and implement the three strategies to it to find their different execution times.

Language: TeX - Size: 2.07 MB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 4

Bicyclette/Projet_HPC_Sorbonne Fork of MarieDiez/Projet_HPC_Sorbonne

Parallélisation d'un programme séquentiel résolvant une instance du problème de la couverture exacte.

Language: eC - Size: 4.99 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

Joannechiao18/NP-Academy

an application aimed to teach dedicated learners of NP related algorithms

Language: Java - Size: 3.25 MB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

Millennium-Solver/Optimal_Bin_Packing_1d_Large_Numbers

Datasets

Size: 2.05 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

Millennium-Solver/Optimal_Bin_Packing_1d

Datasets

Size: 50.9 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

theoden8/sh-project

Joint (Maths & Computer Science) Senior Honours project on Graph Homomorphisms.

Language: Python - Size: 17.3 MB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

michaelwayman/python-genetic

Genetic algorithm to solve np-complete maximization problems. Originally intended for fantasy sports.

Language: Python - Size: 25.4 KB - Last synced at: 5 months ago - Pushed at: over 8 years ago - Stars: 10 - Forks: 6

ASCII-Mentorships/quantum-dynamic-programming

Algorithms that demonstrate a quantum speedup on dynamic-programming solutions to certain problems

Size: 120 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

aishwarya34/AlgorithmsIlluminated

Python solutions for Tim Roughgarden's 4 part books called Algorithms Illuminated

Language: Jupyter Notebook - Size: 12 MB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 16 - Forks: 10

OlaPietka/Metaheuristics

Implementation of few strategies to solve NP-complete problem called Nonogram

Language: C# - Size: 56.6 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

sabrish89/stateSpaceEvals

Language: Python - Size: 4.69 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

andyc1997/Data-Structures-and-Algorithms

A repository for MOOC "Data Structures and Algorithms", written in Python

Language: Python - Size: 23.3 MB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

NFroeh/ChampionshipProblem

The championship problem as a NP-complete problem: The application uses an up-to-date soccer league SQLite database to solve the championship problem with different algorithms.

Language: C# - Size: 6.57 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0