minicomplexity
forest one-way liveness
definition
details
f1D/uny
f1D/uny 1D/uny 21D/uny e1D/uny r1D/uny 1N/uny 21N/uny e1N/uny r1N/uny f1N/uny RD/uny 2RD/uny eRD/uny rRD/uny fRD/uny RN/uny 2RN/uny eRN/uny rRN/uny fRN/uny SD/uny 2SD/uny eSD/uny rSD/uny fSD/uny SN/uny 2SN/uny eSN/uny rSN/uny fSN/uny 2D/uny 22D/uny e2D/uny r2D/uny f2D/uny 2N/uny 22N/uny e2N/uny r2N/uny f2N/uny re-1D/uny re-21D/uny re-e1D/uny re-r1D/uny re-f1D/uny re-1N/uny re-21N/uny re-e1N/uny re-r1N/uny re-f1N/uny re-RD/uny re-2RD/uny re-eRD/uny re-rRD/uny re-fRD/uny re-RN/uny re-2RN/uny re-eRN/uny re-rRN/uny re-fRN/uny re-SD/uny re-2SD/uny re-eSD/uny re-rSD/uny re-fSD/uny re-SN/uny re-2SN/uny re-eSN/uny re-rSN/uny re-fSN/uny re-2D/uny re-22D/uny re-e2D/uny re-r2D/uny re-f2D/uny re-2N/uny re-22N/uny re-e2N/uny re-r2N/uny re-f2N/uny co-1D/uny co-21D/uny co-e1D/uny co-r1D/uny co-f1D/uny co-1N/uny co-21N/uny co-e1N/uny co-r1N/uny co-f1N/uny co-RD/uny co-2RD/uny co-eRD/uny co-rRD/uny co-fRD/uny co-RN/uny co-2RN/uny co-eRN/uny co-rRN/uny co-fRN/uny co-SD/uny co-2SD/uny co-eSD/uny co-rSD/uny co-fSD/uny co-SN/uny co-2SN/uny co-eSN/uny co-rSN/uny co-fSN/uny co-2D/uny co-22D/uny co-e2D/uny co-r2D/uny co-f2D/uny co-2N/uny co-22N/uny co-e2N/uny co-r2N/uny co-f2N/uny rc-1D/uny rc-21D/uny rc-e1D/uny rc-r1D/uny rc-f1D/uny rc-1N/uny rc-21N/uny rc-e1N/uny rc-r1N/uny rc-f1N/uny rc-RD/uny rc-2RD/uny rc-eRD/uny rc-rRD/uny rc-fRD/uny rc-RN/uny rc-2RN/uny rc-eRN/uny rc-rRN/uny rc-fRN/uny rc-SD/uny rc-2SD/uny rc-eSD/uny rc-rSD/uny rc-fSD/uny rc-SN/uny rc-2SN/uny rc-eSN/uny rc-rSN/uny rc-fSN/uny rc-2D/uny rc-22D/uny rc-e2D/uny rc-r2D/uny rc-f2D/uny rc-2N/uny rc-22N/uny rc-e2N/uny rc-r2N/uny rc-f2N/uny
member of:
– no record –
complete for:
– no record –
also hard for:
– no record –
at least as hard as:
– no record –
as hard as:
– no record –
at most as hard as:
– no record –