| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/PVS/graphs/ (Beweissystem der NASA Version 6.0.9©) Datei vom 28.9.2014 mit Größe 346 B |
|
Quellcode-Bibliothek path_lems.pvsSprache: PVS |
|||||||||||||||
|
path_lems[T: TYPE]: THEORY BEGIN IMPORTING paths[T] IMPORTING graphs, finite_sets@finite_sets_card_eq, structures@seq_pigeon GF: VAR Graph[T] Pigeon_hole: THEOREM FORALL (w: Walk(GF)): length(w) > card(vert(GF)) IMPLIES (EXISTS (i,j: below(length(w))): i /= j AND w(i) = w(j)) END path_lems
¤ Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.0.11Bemerkung: (vorverarbeitet am 2026-04-29) ¤*Bot Zugriff |
|
||||||||||||||
2026-05-26