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.deAqui pode apontar um erro nesta entrada PONS ou propor uma correção:
Como é que posso transferir as traduções para o Treinador de Vocábulos?
Por favor, preste atenção ao facto de que os vocábulos na Lista de Vocábulos só estão disponíveis neste browser. Assim que os vocábulos forem recolhidos no Treinador de Vocábulos, eles estarão disponíveis em todo o lado.