Search for tag: "disconnectedness"

mat180-2022-01-10 duration 50 minutes 5 seconds mat180-2022-01-10 mat180-2022-01-10	mat180-2022-01-10 edge variables disconnectedness graph model solver things thing certificate edges vertex python assignment variable problem formula cut s. subset dictionary From Matthias Koeppe 0 likes 2 plays 0
mat180-2022-01-07 duration 38 minutes 56 seconds mat180-2022-01-07 mat180-2022-01-07	mat180-2022-01-07 tree graph edges certificate verifier prover vertices algorithm problem components trees cycle answer disconnectedness vertex theory idea bit thoughts kind From Matthias Koeppe 0 likes 2 plays 0