coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Developments on Graph Theory?

From: Christian Doczkal <christian.doczkal AT ens-lyon.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Developments on Graph Theory?
Date: Tue, 13 Jun 2017 14:59:35 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=christian.doczkal AT ens-lyon.fr; spf=Neutral smtp.mailfrom=christian.doczkal AT ens-lyon.fr; spf=None smtp.helo=postmaster AT labbe.ens-lyon.fr
Ironport-phdr: 9a23:9PiE9R87rMMnAv9uRHKM819IXTAuvvDOBiVQ1KB41OkcTK2v8tzYMVDF4r011RmSDNqds6oMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2e2//5/ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTFUACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRgHohikaNDA3/m/YhcNsg6xUux+hux5yzpTIbI2JOvdzfKXQds4aS2pbWcZRUjRMD528b4sVDuoBJvpYr4jnqFsIsBCwCw6sC//uyz9LnHD22bAx3uM9HgHGxgwgHskOsGjVrNrvMqceS/26zK7UwjTCbPNZwzP95ZPWfRAnuvGARLZwcMrWyUkpDQ/FgE+QpJXjMjiI1eoNq3CW4/dvWO6zkWIqqQN8riKyysotiITFnJwZxk7a+Slh3Yo4KsG0RFR5bNOmCpdcqi+XO5FrTs4hXm1lvjsxxKcctp6hZicKzYwqxx7BZPyDdIiF+hbjW/yKLjhjmn1pYqywhxCp8US5zu39Vs600FBQoipLiNnArnEN1xrN5cibUvZx40is1SqV2w3R6OxIO104mKvZJpI73LI8iIQfvVzGHiDsmUX2iKGWdl8j+uit8+nofrXmpoWdN49vlgH+M74hmsqlDeslNQgBQ2ma+eem273n5kD2XrNKjuYvnqndsJHaIsIbqrS3Aw9Pyooj8QqwDy+60NQEmnkKNE5KeBWej4TwJ17OJO34AuykjlS3kDZrwujGMaf7DpXMKHjDirbhcqxn505S0gpghexYsplTE/QKJO/5ck73rt3RSBEjYCKuxOOyI9Vn15gCWGuJSoOeO7HRuFvAsukvOeiXeI4cvnDxLPM35PfqpXI/ghoZbK6vm5UNPiPrVs96KlmUNCK/yuwKFn0H61Iz

Hello,

Does anyone know if there are any Coq developments out there that
formalize (some) standard notions from graph theory.

I'm particularly interested in finite graphs (with decidable node
equality and edge relations), minors, and tree decompositions. Basic
results I would be looking for include the fact that the tree-width of a
graphs minor is no greater than the tree-width of the original graph or
that every clique contained in a graph must be contained in some bag of
every tree decomposition.

Best,
Christian

[Coq-Club] Developments on Graph Theory?, Christian Doczkal, 06/13/2017
- Re: [Coq-Club] Developments on Graph Theory?, Assia Mahboubi, 06/14/2017
- Re: [Coq-Club] Developments on Graph Theory?, Frédéric Blanqui, 06/14/2017
- Message not available
  - Re: [Coq-Club] Developments on Graph Theory?, Christian Doczkal, 06/14/2017