Repositorio para código de búsqueda de contraejemplos de Selection Monotonicity de distintos algoritmos de apportionment

• brewer contiene la implementación del algoritmo de Brewer, junto con código para buscar contraejemplos de selection monotonicity para dicho algoritmo.
• lexicographical_distribution contiene el problema lineal para buscar distribuciones que maximicen la probabilidad por orden lexicográfico, junto con código para buscar contraejemplos de selection monotonicity para dicho algoritmo.
• linear_optimal/linear_optimal_examples contiene el problema lineal para buscar distribuciones con vectores de costos genéricos, junto con código para buscar contraejemplos de selection monotonicity para dicho algoritmo.
• linear_optimal/matrix_counterexamples/matrix_counterexample contiene el código para verificar si se puede construir contraejemplo de selection monotonicity para cualquier vector c, suponiendo base óptima fija.
• linear_optimal/matrix_counterexamples/factibility_counterexample_exhaustive_search contiene el código para verificar si se puede construir contraejemplo de selection monotonicity para cualquier vector c, suponiendo cambio de bases entre p y p'.
• sampford contiene la implementación del algoritmo de Sampford, junto con código para buscar contraejemplos de strong selection monotonicity para dicho algoritmo.
• max_entropy contiene la implementación del algoritmo de máxima entropía, junto con código para buscar contraejemplos de selection monotonicity para dicho algoritmo.
• tesis_latex contiene el código de LaTex de la tesis.