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.deYou can suggest improvements to this PONS entry here:
How can I copy translations to the vocabulary trainer?
Please note that the vocabulary items in this list are only available in this browser. Once you have copied them to the vocabulary trainer, they are available from everywhere.