8000 k-sat · GitHub Topics · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
#

k-sat

Star

Here is 1 public repository matching this topic...

Language: TeX
Filter by language
All 8 C 2 Jupyter Notebook 2 Python 2 JavaScript 1 TeX 1

miltiadiss / CEID_NE5017-Probabilistic-Techniques-and-Randomized-Algorithms

Star 0

This project is a homework assignment on probabilistic techniques and randomized algorithms. It involves problems related to random graphs, Ramsey theory, graph colorings, k-SAT, Markov chains, and random walks. The tasks require proving statements, finding probability distributions, and analyzing convergence properties in probabilistic models.

markov-chain random-walk k-sat random-graphs ramsey-numbers complete-graph
  • Updated Mar 18, 2025
  • TeX

Improve this page

Add a description, image, and links to the k-sat topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the k-sat topic, visit your repo's landing page and select "manage topics."

Learn more

0