Games

Basics

Logic

https://www.metalevel.at/prolog/puzzles

Password combinations

Logic puzzles

Cryptoarithmetic puzzles

Pacman

Graph Theory. Maze.

Different algorithms.

1. The shortest path between two points.

2. The longest path between two points.

3. MST.

4. Minimax.

5. Utility.

6. Euler path.

7. Hamilton path.

8. Salesperson problem.

9. Functions. Distance between two points with constraints in $R^2$ space.

Distributed systems

Find the best location.

Leader election.

Visualize the flow of data.

EasySim, Peersim.

Geometry

Find the centroid.

Find the curve that passes from all points.

Find the length from a curve.

Find the volume form.

Find the area from a curve.

What is a centroid from a figure inside another figure?

Find the recursive ladder.

Find a norm between a point and figure.

Find a norm between a objects and objects.

Find the max norm between a objects and objects.

Content-addressable network

Find the angle from a triangle.

Find the shortest path from two points in $R^2$ and $R^3$ with constraints.

Convex hull

Gerrymandering

Digital image processing

Take a photo and remove the background

Take a photo and find the convex hull

Physics

Given the laws of classical mechanics and two points, find the curve.

Audio image processing

Simulations

Compiler

Tetris

Snake

Chess

Space invaders

Virus

Fractals

Cellular automata

Figures from primitives

Rubik's cube

Text and Image Generation

Operating systems

Proofs

Background

Combinatorial search problems

SAT solver

• CNF format to DIMACS format.

@inproceedings{imms-sat18,
  author    = {Alexey Ignatiev and Antonio Morgado and Joao Marques{-}Silva},
  title     = {{PySAT:} {A} {Python} Toolkit for Prototyping with {SAT} Oracles},
  booktitle = {SAT},
  pages     = {428--437},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-94144-8_26},
  doi       = {10.1007/978-3-319-94144-8_26}
}

pycosat. (2022, November 12). Retrieved from https://pypi.org/project/pycosat

References

"Blockly Games." 23 Jan. 2023, blockly.games.

https://skilltreeplatform.dev/overview/#what-is-it

"Source Academy." 23 Jan. 2023, sourceacademy.org/sicpjs/foreword02.

https://adam.math.hhu.de/#/g/hhu-adam/NNG4

“42 school”

Unity

Netlogo

https://github.com/Khan/perseus

https://github.com/AnubisLMS/Anubis/tree/main