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.deЗдесь Вы можете сообщить об ошибке в данной статье PONS или внести поправку:
Как внести перевод слова в словарный тренажер?
Пожалуйста, учтите, что лексика, находящаяся в списке лексики, доступна только в данном браузере. Лексика, перенесенная в словарный тренажер, становится общедоступной.