Ein 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.deA 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.deAquí podrás indicarnos un error existente en esta entrada de PONS o proponernos alguna rectificación:
¿Cómo puedo transferir las traducciones al Entrenador de vocabulario?
Ten en cuenta que los términos de la lista de vocabulario solo están disponibles en este navegador. En cuanto los hayas transferido al Entrenador de vocabulario estarán disponibles desde cualquier dispositivo.