https://github.com/helcsnewsxd/famaf-computer_science-discrete_mathematics_ii
Laboratorio, algoritmos y demostraciones de la materia de Matemática Discreta II de la Licenciatura en Ciencias de la Computación de FAMAF (UNC)
https://github.com/helcsnewsxd/famaf-computer_science-discrete_mathematics_ii
algorithm-implementation c cpp demostration discrete-mathematics error-correction-codes famaf-unc graph-coloring graph-flow graph-matching math-theory university-subjects
Last synced: 3 months ago
JSON representation
Laboratorio, algoritmos y demostraciones de la materia de Matemática Discreta II de la Licenciatura en Ciencias de la Computación de FAMAF (UNC)
- Host: GitHub
- URL: https://github.com/helcsnewsxd/famaf-computer_science-discrete_mathematics_ii
- Owner: helcsnewsxd
- License: mit
- Created: 2023-05-15T13:53:27.000Z (about 2 years ago)
- Default Branch: main
- Last Pushed: 2024-07-23T23:01:31.000Z (10 months ago)
- Last Synced: 2024-07-24T01:56:29.230Z (10 months ago)
- Topics: algorithm-implementation, c, cpp, demostration, discrete-mathematics, error-correction-codes, famaf-unc, graph-coloring, graph-flow, graph-matching, math-theory, university-subjects
- Language: C++
- Homepage:
- Size: 1010 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Matemática Discreta II - 2023
Repositorio que contiene apuntes, algoritmos y el proyecto final de la materia Matemática Discreta II de la Licenciatura en Ciencias de la Computación de la Facultad de Matemática, Astronomía, Física y Computación de la Universidad Nacional de Córdoba.
## Proyecto
El proyecto realizado con Juan Bratti puede encontrarse en el siguiente [repositorio](https://github.com/helcsnewsxd/famaf-computer_science-discrete_mathematics_ii-lab).
## Algoritmos
Durante el desarrollo de la cursada he implementado los algoritmos que se han visto en clase, con el objetivo de corroborar todos los pasos (principalmente en flujo), comparando con el *output* de los programas. Por ello mismo, considero que son de gran utilidad para ahorrar mucho tiempo a la hora de hacer las guías.
| Algoritmo | Descripción | Código |
| --------- | ----------- | ------ |
| Coloreo greedy | Dado un orden | [CPP](./Algoritmos/Coloreo/Greedy.cpp) |
| Coloreo greedy general | Brute $n!$ (da $\chi(G)$ ) | [CPP](./Algoritmos/Coloreo/GreedyBrute.cpp) |
| Flujo greedy | | [CPP](./Algoritmos/Flujo/Greedy.cpp) |
| Flujo Ford-Fulkerson | | [CPP](./Algoritmos/Flujo/FF.cpp) |
| Flujo Edmonds-Karp | | [CPP](./Algoritmos/Flujo/EK.cpp) |
| Flujo Dinic | | [CPP](./Algoritmos/Flujo/Dinic.cpp) |
| Matching sin pesos | | [CPP](./Algoritmos/Matching/Matching%20sin%20pesos.cpp) |
| Matching Gross | Minimizar mayor costo | [CPP](./Algoritmos/Matching/Algoritmo%20de%20Gross%20(minMax).cpp) |
| Matching Húngaro | Minimizar suma | [CPP](./Algoritmos/Matching/Hungaro.cpp) |
## Resúmenes
| Tema | Resumen |
| ---- | ------- |
| Generalidades de grafos | [MD](./Teórico/Resúmenes/Generalidades%20de%20grafos.md) |
| Coloreo | [MD](./Teórico/Resúmenes/Coloreo.md) |
| Flujo | [MD](./Teórico/Resúmenes/Flujo.md) |
| Matchings | [MD](./Teórico/Resúmenes/Matchings.md) |
| Códigos de Corrección de Errores | [MD](./Teórico/Resúmenes/C%C3%B3digos%20de%20Correcci%C3%B3n%20de%20Errores.md) |
## Demostraciones para el Final
La lista de demostraciones que nos tomaron en el final se puede encontrar [aquí](./Teórico/Demostraciones%20para%20el%20Final/TeoricosJulioAgosto2023.pdf). A continuación, se presentan las demostraciones desarrolladas:
| Demostración | Resolución |
| ------------ | ---------- |
| Complejidad de Edmonds-Karp | [PDF](./Teórico/Demostraciones%20para%20el%20Final/Complejidad%20de%20Edmonds-Karp.pdf) |
| Las distancias de EK no disminuyen en pasos sucesivos | [PDF](./Teórico/Demostraciones%20para%20el%20Final/Las%20distancias%20de%20EK%20no%20disminuyen%20en%20pasos%20sucesivos.pdf) |
| Complejidad de Dinic | [PDF](./Teórico/Demostraciones%20para%20el%20Final/Complejidad%20de%20Dinic.pdf) |
| Teorema MFMC | [PDF](./Teórico/Demostraciones%20para%20el%20Final/Teorema%20MFMC.pdf) |
| 2-COLOR es polinomial | [PDF](./Teórico/Demostraciones%20para%20el%20Final/2-COLOR%20es%20polinomial.pdf) |
| Teorema de Hall | [PDF](./Teórico/Demostraciones%20para%20el%20Final/Teorema%20de%20Hall.pdf) |
| Teorema de König | [PDF](./Teórico/Demostraciones%20para%20el%20Final/Teorema%20de%20König.pdf) |
| Coloreo de aristas en bipartito | [PDF](./Teórico/Demostraciones%20para%20el%20Final/Coloreo%20de%20aristas%20en%20bipartito.pdf) |
| Complejidad de Húngaro | [PDF](./Teórico/Demostraciones%20para%20el%20Final/Complejidad%20de%20Húngaro.pdf) |
| Teorema de la cota de Hamming | [PDF](./Teórico/Demostraciones%20para%20el%20Final/Teorema%20de%20la%20cota%20de%20Hamming.pdf) |
| Propiedad de la matriz de chequeo H | [PDF](./Teórico/Demostraciones%20para%20el%20Final/Propiedad%20de%20la%20matriz%20de%20chequeo%20H.pdf) |
| Teorema del polinomio generador | [PDF](./Teórico/Demostraciones%20para%20el%20Final/Teorema%20del%20polinomio%20generador.pdf) |