A current research problem is to find a direct certificate for 3-edge-connectivity, as the algorithm for 3- ( vertex- ) connectivity is fairly complex.
Future open questions include finding certificates for k-connectivity or k-edge-connectivity for k>=4.Verification of Checkers We developed a framework for verifying checkers.
domino.mpi-inf.mpg.deEin aktuelles Forschungsproblem besteht darin, ein direktes Zertifikat für den 3-Kanten-Zusammenhang zu finden, da der Algorithmus für 3- ( Knoten ) Zusammenhang recht komplex ist.
Zu den offenen Fragen für künftige Forschungen gehört das Finden von Zertifikaten für k-Zusammenhang oder k-Kanten-Zusammenhang für k>=4. Überprüfung der Checker Wir haben ein System zur Überprüfung der Checker entwickelt.
domino.mpi-inf.mpg.deТук можете да ни предложите подобрения на този ПОНС запис:
Как мога да копирам преводите в езиковия трейнър?
Моля, имайте предвид, че думите в този списък са достъпни само в този браузър. След като ги прехвърлите в езиковия трейнър, те ще са достъпни от всички устройства.