Topic: "complexity-theory"
marcincuber/modal_logic
Final Year Masters Project: modal logic solver tableaux
Language: Python - Size: 819 KB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 21 - Forks: 1
GiggleLiu/ProblemReductions.jl
Reduction between computational hard problems.
Language: Julia - Size: 2.23 MB - Last synced at: 26 days ago - Pushed at: 26 days ago - Stars: 11 - Forks: 4
ShrohanMohapatra/matrix_multiply_quadratic
This source code (in Python) is a preliminary implementation of my quadratic-time positive integer matrix multiplication.
Language: Python - Size: 24.4 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 9 - Forks: 2
MattiaOldani/Informatica-Teorica
Informatica teorica
Language: Typst - Size: 36.4 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 6 - Forks: 1
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: 4 months ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 1
SerenGTI/Theo_Inf
Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart
Language: TeX - Size: 9.13 MB - Last synced at: 29 days ago - Pushed at: over 6 years ago - Stars: 5 - Forks: 0
automacoin/frontend
A Web Client for the AutomaCoin Network.
Language: JavaScript - Size: 4.65 MB - Last synced at: 1 day ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 2
mikinty/P-vs-NP
Notable P vs. NP proof attempts.
Size: 25.4 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0
Lightcast-Global-Innovation/jobs-complexity
Jobs and Skills Complexity
Language: Jupyter Notebook - Size: 10.9 MB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0
francoisschwarzentruber/reductioncatalog
Catalog of reductions between different decision problems (SAT, 3SAT, Graph coloring, etc.)
Language: JavaScript - Size: 359 KB - Last synced at: about 2 months ago - Pushed at: almost 4 years ago - Stars: 3 - Forks: 1
Larshalvorhansen/LambdaTheSimulationProject
Project dedicated to simulating and visualizing complex systems, with the goal of enhancing sociopolitical and economic decision-making.
Language: HTML - Size: 45.1 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 2 - Forks: 0
supreethmv/LEO-satellites-coalition
Optimal coalition formation among Low Earth Orbit (LEO) satellites via GCS-Q algorithm.
Language: Jupyter Notebook - Size: 434 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0
Exyss/BSc-Thesis
🧑🎓 My BSc Degree Thesis in Computer Science at Sapienza Università di Roma
Language: TeX - Size: 21.5 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0
ryhigg/pyetbd
Python Package for the ETBD
Language: Python - Size: 109 MB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
graceemlin/stanford-algorithms
stanford algorithms coursework
Language: C++ - Size: 14.6 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
DavidMorano/lcs
experiments in calculating longest common subsequences of a set of strings (NP-Complete problem)
Language: C - Size: 280 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
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.
Language: Mathematica - Size: 5.09 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
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.
Language: Python - Size: 313 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1
morpheusthewhite/master-thesis
Python and LaTeX source code of my MSc thesis
Language: TeX - Size: 49.1 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0
stefk0/mesi
записки по курса ,,Машини, Езици, Сложност и Изчислимост"
Language: TeX - Size: 25.4 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0
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
Language: Python - Size: 30.5 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 0 - Forks: 0
ShaunLucPicard/delta-structure
Exploring Δ(structure), verifier geometry, and problem topography via the XOR puzzle
Language: Python - Size: 2.93 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 0 - Forks: 0
o-qcblog/o-qcblog.github.io Fork of barryclark/jekyll-now
Blog: Quanta on Computing: Consists of many quantum of information on computing!
Language: SCSS - Size: 40.2 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 0 - Forks: 0
jonland82/sorting-as-gradient-flow
A continuous-time geometric formulation of sorting as gradient flow on the permutohedron
Language: Jupyter Notebook - Size: 552 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
surafiel-habib/Transformer-Based-Amharic-to-English-Machine-Translation-with-Character-Embedding-and-Combined-Regul
Language: Jupyter Notebook - Size: 9.04 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
SeyedMuhammadHosseinMousavi/Complexity
Complexity
Language: Python - Size: 1.38 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
krichelj/QC_BGU_2020
Quantum Computing course, Computer Science M.Sc., Ben Gurion University of the Negev, 2020
Size: 1.08 MB - Last synced at: 4 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
TamaraAlhajj/intelligo
Aid in understanding of asymptotic complexity theory
Language: Python - Size: 594 KB - Last synced at: 12 months ago - Pushed at: 12 months 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
billsioros/algorithmic-operations-research
Algorithmic Operations Research
Language: TeX - Size: 16.1 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
SandokanSaruhan/Master-Theory-Math
This is a simple App about Complexity Theory in computer science by enlightening of @Nayuki.
Language: JavaScript - Size: 3.91 KB - Last synced at: 4 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
centauri2718/estsat
Converts a CNF formula into a mathematical formula so that numerical and algebraic operations can be preformed on it.
Language: C++ - Size: 241 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
smirnovlad/SchedulingProblem
Analysis of the scheduling problem
Language: TeX - Size: 747 KB - Last synced at: 12 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
Suedpreussen/Angiogenesis_Model
simulation of the growth of a vascular network under blood flow
Language: Python - Size: 4.88 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
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
Language: Mathematica - Size: 273 KB - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
adql/purelife
Just a modest Conway's Game of Life implementation in PureScript
Language: PureScript - Size: 1.08 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
sanjar-notes/computer-science
Theory of computation and complexity theory
Size: 1000 Bytes - Last synced at: over 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
huidr/toc
Notes for theory of computation
Language: TeX - Size: 354 KB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
tyedem/Data-Structures-Algorithms
Python reference guide to build up knowledge in complexity theory, data structures and algorithms
Language: Jupyter Notebook - Size: 1.99 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
municola/algorithms-probability-and-computing
(2019) Algorithms, Probability and Computing course
Size: 1.34 MB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
RamiAwar/fastabm
A modern agent-based modeling framework.
Language: Python - Size: 5.63 MB - Last synced at: 6 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1
SasankYadati/20HoursOfTCS
20 hours of Theoretical Computer Science
Language: Python - Size: 12.6 MB - Last synced at: over 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
mainkoon81/Toy04-Complex-System-Intro
Size: 50.8 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
