# Carlosversity Games

Date |
---|

# Overview

We present you Carlosversity Games, a place where you solve different problems with programming, graphics, and interaction.

## Requirements

The people’s code owns themselves, so it must save in GitHub.

# Games

## Logic

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

Password combinations

Logic puzzles

Cryptoarithmetic puzzles

## Pacman

Graph Theory. Maze.

Different algorithms.

- The shortest path between two points.

- The longest path between two points.

- MST.

- Minimax.

- Utility.

- Euler path.

- Hamilton path.

- Salesperson problem.

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

## Distributed systems

Find the best location.

## 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

## 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.

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

“42 school”

Unity

Netlogo