Lectures for the "Problem Solving" Class at Nanjing University.

• UpdatedJun 29, 2020
• TeX

Efficient zero-knowledge arguments in the discrete log setting, revisited

• UpdatedMar 4, 2020
• Rust

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.

• UpdatedOct 24, 2022

CA and Problem Sheets assigned to expedite the learning of the Theory of Computation, formally named the Theory of Algorithms. Fourth Year, Theory of Algorithms, Software Development.

• UpdatedMay 9, 2018
• Racket

A C++ program that efficiently calculates the average values of nodes at each level in a binary tree, employing a level-order traversal approach for accurate and fast computation.

• UpdatedJan 31, 2024
• C++

A program that sorts a stack of numbers using a minimal set of operations

• UpdatedJan 31, 2025
• C

Push_swap is a project about sorting data on a stack, with a limited set of instructions, using the lowest possible number of actions. Its goal is reaching an optimized data sorting solution.

• UpdatedJan 9, 2025
• C

A public copy of the trend-prof empirical computational complexity measurement tool

• UpdatedOct 27, 2021
• Perl

This library is developed to perform efficient and exact computation of Dempster's and Fagin-Halpern conditionals (DS-Conditional-One and DS-Conditional-All in C++)

• UpdatedAug 14, 2020
• C++

Python and LaTeX source code of my MSc thesis

• UpdatedAug 25, 2021
• TeX

P != NP

• UpdatedApr 28, 2025
• Python

Pushdown automaton simulator developed as an assignment for Computational Complexity course 📚 💻

• UpdatedOct 25, 2018
• Java

My final degree testis about Tetris computational complexity

• UpdatedJan 7, 2025
• TeX

This repository contains the code used in the CS301 (Algorithms) Project which discusses the Maximum Independent Set Problem

• UpdatedFeb 13, 2025
• Jupyter Notebook

Repositorio de tareas y prácticas de la asignatura Complejidad Computacional Facultad de Ciencias UNAM semestre 2023-1

• UpdatedNov 25, 2022
• Python

This library provides a linear time and space algorithm for computing all the Fagin-Halpern conditional beliefs generated from consonant belief functions

• UpdatedFeb 28, 2019
• C++

Python project for analyzing simplex method complexity on LPs in canonical form. Tracks FLOPs, generates problems, fits models, visualizes with Matplotlib, and caches results. Builds on work by Pavlov, Kyselov, et al. Uses Nelder-Mead optimization and MSE loss to fit empirical data to theoretical models like Borgwardt, Smoothed, and Polynomial.

• UpdatedMay 21, 2025
• Python

A Java and Python project that implements and analyzes Radix Sort for integers and strings using array-based buckets, tracking primitive operations and visualizing performance trends across varying input sizes.

• UpdatedMay 8, 2025
• Java

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

• UpdatedJun 22, 2025

SubsetSum: a study on 'The Subset-Sum Problem'.

• UpdatedApr 13, 2021
• C