@@ -20,6 +20,27 @@ Zdrojová csv je možné znova zkompilovat dohromady spuštěním souboru `compo
...
@@ -20,6 +20,27 @@ Zdrojová csv je možné znova zkompilovat dohromady spuštěním souboru `compo
Složka `htmls` obsahuje html tabulky vygenerovane benchexecem pro nejake skupiny experimentu. Tyhle tabulky muzou byt z experimentu, ktere nedobehly cele - nemusi byt vypovidajici.
Složka `htmls` obsahuje html tabulky vygenerovane benchexecem pro nejake skupiny experimentu. Tyhle tabulky muzou byt z experimentu, ktere nedobehly cele - nemusi byt vypovidajici.
## Popisky sloupců v csv
Popisky vypadají např. jako `forward_port_DFA_min_mata_min_rabit_det_indiv` nebo `reverse_gate_DFA_min_rabit`
* prefix - obrací se automat pro komplementaci?:
-`forward` - komplementační metoda je aplikovaná na původní automat
-`reverse` - komplementuje se obrácený automat
* komplementační metoda
-`powerset`
-`gate`
-`port`
* minimalizace
-`DFA_min` - kdykoli máme k dispozici DFA, minimalizujeme ho
-`mata_min` - používá se minimalizace pomocí simulací z knihovny `mata` na každý mezivýsledek. Tahle minimalizace je celkem levná, ale míň účinná, takže má cenu ji používat častěji.
-`rabit` - používá se minimalizaze pomocí nástroje RABIT, ale jenom na výsledný automat. Je drahá, ale účinnější, takže má cenu ji používat jednou na konci.
* specifikace pro port komplementaci - jak rozsekáváme automat na komponenty
-`det` - deterministické komponenty
-`det_lrev` (deterministic, last reverse deterministic)- poslední komponenta je největší zpětně deterministická, zbytek automatu je rozdělený na deterministické
-`mincut` - 2 komponenty, co nejmíň hran mezi nimi
* specifikace pro port komplementaci - způsob propojování komponent. V článku bude nakonec jenom jeden způsob, `indiv` (individual), takže tahle část je jedno.
## Zdroje automatů
## Zdroje automatů
Všechny automaty jsou od kluků z FITu. Pro víc informací o benchmarcích doporučuju obrátit se na ně, sem dávám všechny informace, co o nich mám k dispozici já.
Všechny automaty jsou od kluků z FITu. Pro víc informací o benchmarcích doporučuju obrátit se na ně, sem dávám všechny informace, co o nich mám k dispozici já.