diff --git a/README.md b/README.md index f1f6db7912092c3b8fdc6490309e1b24aa7b654d..5b33f5c9720aa37b607d9d123d71306f7263c02e 100644 --- a/README.md +++ b/README.md @@ -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. +## 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ĹŻ 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á.