Generador de Matrices Sintéticas

Esta página web está dedicada a la generación de matrices de prueba sintéticas para evaluar el comportamiento computacional de algoritmos de búsqueda de Testores Transversales. Esta plataforma cuenta con algunas utilidades de interés: el generador de matrices, el catálogo de matrices y el visualizador.

Fue realizada en base al artículo, "Generating synthetic test matrices as a benchmark for the computational behavior of typical testor-finding algorithms" realizado por Salvador Godoy y Eduardo Alba, que profundiza en la metodología detrás del proceso para la generación de matrices. También contiene información sobre los desafíos de evaluar los algoritmos de búsqueda y la importancia de utilizar conjuntos de datos sintéticos con fines de evaluación comparativa.

Catálogo de Matrices

Contiene una variedad de matrices basicas delas cuales se saben los Testores Transversales que las conforman. Fueron extraidas de diversas fuentes literarias y se muestra informacion relevante. Este catalogo esta sujeto a expandirse confomre pase el tiempo.

Generador de Matrices

Genera matrices sintéticas y calcula los primeros 1000 Testores Transversales de esta a partir de matrices con Testores Transversales conocidos utilizando tres operaciones básicas. Estas pueden estar anidadas dentro de sí mismas u otros operadores y también pueden ejecutarse N veces.


1. La operación θ(A, B) produce una nueva matriz donde cada fila en A se concatena a la izquierda con cada fila en B, teniendo en consecuencia m × m' filas (el producto del número de filas en A y B), y también n + n' columnas.

2. La operación γ(A, B) crea una nueva matriz que tiene la matriz A en su esquina superior izquierda, seguida de ceros en todas las columnas de B, y también tiene la matriz B en su esquina inferior derecha, precedida de ceros en todas las columnas de A.

3. Finalmente, el resultado de una operación ϕ(A, B) es una nueva matriz booleana obtenida al concatenar A y B si tienen el mismo número de filas. La matriz resultante tiene exactamente el mismo número de filas que A y B, pero tiene n + n' columnas (la suma del número de columnas de A y B).