complexity-theory
There are 42 repositories under complexity-theory topic.
marcincuber/modal_logic
Final Year Masters Project: modal logic solver tableaux
GiggleLiu/ProblemReductions.jl
Reduction between computational hard problems.
ShrohanMohapatra/matrix_multiply_quadratic
This source code (in Python) is a preliminary implementation of my quadratic-time positive integer matrix multiplication.
OpenWeavers/openanalysis
An implementation-neutral algorithm analysis and visualization library
mikinty/P-vs-NP
Notable P vs. NP proof attempts.
MattiaOldani/Informatica-Teorica
Informatica teorica
artedeprogramar/teoria-de-la-complejidad
🐍 Recursos disponibles de la Teoría de Complejidad
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.
SerenGTI/Theo_Inf
Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart
automacoin/frontend
A Web Client for the AutomaCoin Network.
rvg77/max-cut
Contains my Computational Complexity course work at MIPT
francoisschwarzentruber/reductioncatalog
Catalog of reductions between different decision problems (SAT, 3SAT, Graph coloring, etc.)
JDGiacomantonio-98/jobShop-scheduling-simulatedAnniealing
This repo encapsulates a Python implementation of the Simulated Annealing Algorithm to solve by means of a "minimum energy state" heuristic the NP-hard n-machines|no preemption|C_max job shop scheduling problem, considering n=2 machines and jobs having release dates. The code was designed and wrote by me. The whole heuristic design, complexity analysis, optimization, and ideas were made possible by team-working with Arianna Montironi and Chiara Panetta. The developed heuristic is the final deliverable of our project work held during the Quantitative Methods for Decision Aid 2021 Class in Politecnico di Torino.
Lightcast-Global-Innovation/jobs-complexity
Jobs and Skills Complexity
Exyss/BSc-Thesis
🧑🎓 My BSc Degree Thesis in Computer Science at Sapienza Università di Roma
Larshalvorhansen/LambdaTheSimulationProject
A newly started project dedicated to simulating and visualizing complex systems, with the goal of enhancing sociopolitical and economic decision-making.
ryhigg/pyetbd
Python Package for the ETBD
SeyedMuhammadHosseinMousavi/Complexity
Complexity
DavidMorano/lcs
experiments in calculating longest common subsequences of a set of strings (NP-Complete problem)
morpheusthewhite/master-thesis
Python and LaTeX source code of my MSc thesis
SasankYadati/20HoursOfTCS
20 hours of Theoretical Computer Science
ShrohanMohapatra/LaunchpadACT
A series of programs that enable one's investigations in the algebraic complexity theory such as matrix multiplication algorithms, primality tests, algebraic complexity, sorting algorithms etc. Each algorithm is accompanied by a comparative time complexity analysis and a class of test cases and test suites.
stefk0/mesi
записки по курса ,,Машини, Езици, Сложност и Изчислимост"
adql/purelife
Just a modest Conway's Game of Life implementation in PureScript
akcube/akcube.github.io
Code, contents & publishing system for my website, and academia life | “If we keep holding onto yesterday, what are we going to be tomorrow?" - Inarizaki
albertoHdzE/alt-dataSteroids
Computational approach of abstraction of information that clearly tries to find alternatives to massive information processing as LLM in a more smart way to produce answers
krichelj/QC_BGU_2020
Quantum Computing course, Computer Science M.Sc., Ben Gurion University of the Negev, 2020
municola/algorithms-probability-and-computing
(2019) Algorithms, Probability and Computing course
o-qcblog/o-qcblog.github.io
Blog: Quanta on Computing: Consists of many quantum of information on computing!
Suedpreussen/Angiogenesis_Model
simulation of the growth of a vascular network under blood flow
AntVil/polynomial-hierarchy
Computes the polynomial hierarchy equivalent of an input.
huidr/toc
Notes for theory of computation
sanjar-notes/computer-science
Theory of computation and complexity theory
smirnovlad/SchedulingProblem
Analysis of the scheduling problem
tyedem/Data-Structures-Algorithms
Python reference guide to build up knowledge in complexity theory, data structures and algorithms