Critical edges in labelled complete graphs
Source files
root filemain.tex · root file3 KiB · SHA-256 8c103d5f4f810ec7… · view textancillaryanc/ab-boundary-certificate.json962 B · SHA-256 5ae28dc8cd75e22f… · view textancillaryanc/ab-good-domains-certificate.json746 B · SHA-256 91e16b41411da5d7… · view textancillaryanc/boundary_base.py2 KiB · SHA-256 d0db0646df05fca9… · view textancillaryanc/cd-boundary-certificate.json4 KiB · SHA-256 5e49847e469f9343… · view textancillaryanc/cd-domain-certificate.json98 KiB · SHA-256 d1f876a1dcadc785… · view textancillaryanc/check_package.py1 KiB · SHA-256 1047535970ca80a5… · view textancillaryanc/cp-large-certificate.json104 KiB · SHA-256 e2e6e071478fab08… · view textancillaryanc/cp-small-certificate.json121 KiB · SHA-256 ac89f92acc3952e3… · view textancillaryanc/exclusion-certificate.json2 KiB · SHA-256 74544be074ec957e… · view textancillaryanc/general-certificate/cleanup-certificates.json1 KiB · SHA-256 edd67b046f0764b8… · view textancillaryanc/general-certificate/path-budget-certificates.json8 KiB · SHA-256 5cffb2a83b7e38dc… · view textancillaryanc/general-certificate/verified-general-table.json10 KiB · SHA-256 9e48eeafcda6f826… · view textancillaryanc/general-certificate/verify_general.py8 KiB · SHA-256 875f553982209c3f… · view textancillaryanc/good-domain-new-certificate.json4 KiB · SHA-256 bf88d9908d4b1b43… · view textancillaryanc/localize.py2 KiB · SHA-256 d79d0cbeacfa4d34… · view textancillaryanc/lower-certificate/atom-certificate.json1.0 MiB · SHA-256 9a94929442d11626… · view textancillaryanc/lower-certificate/check_neutral_pairs_exact.py3 KiB · SHA-256 14e73d13fdb83784… · view textancillaryanc/lower-certificate/neutral-pair-exact-results.json9 KiB · SHA-256 7dda0ab47c69d781… · view textancillaryanc/lower-certificate/root-intervals.json665 B · SHA-256 3f1aefc042a33e2e… · view textancillaryanc/lower-certificate/stationarity-input.json7 KiB · SHA-256 3f55e6988b237528… · view textancillaryanc/lower-certificate/verify_algebraic.py6 KiB · SHA-256 2967b2e00c40c82d… · view textancillaryanc/lower-certificate/verify_atom_stability.py4 KiB · SHA-256 382396168a312ad6… · view textancillaryanc/lower-certificate/verify_elimination_independent.py4 KiB · SHA-256 3a5cd3925d262680… · view textancillaryanc/lower-certificate/verify_flow_bound.py6 KiB · SHA-256 1c1b5a4dc3b058c7… · view textancillaryanc/lower-certificate/verify_stationarity.py9 KiB · SHA-256 a19181340786564d… · view textancillaryanc/package-manifest.json12 KiB · SHA-256 a13864a31ee2da5d… · view textancillaryanc/previous_certificate.py2 KiB · SHA-256 1cfb47272edc4a1a… · view textancillaryanc/small-imbalance-certificate.json2 KiB · SHA-256 2165ebae93280efc… · view textancillaryanc/swap-cap-certificate.json4.0 MiB · SHA-256 fe0f15d5268ac981… · view textancillaryanc/verify_ab_boundary.py3 KiB · SHA-256 4b769e6b254279c5… · view textancillaryanc/verify_ab_cover.py1 KiB · SHA-256 cad5679a5cf3a326… · view textancillaryanc/verify_ab_good_domains.py1 KiB · SHA-256 4231e57592a192d9… · view textancillaryanc/verify_all.py936 B · SHA-256 13609ea73c874bf2… · view textancillaryanc/verify_cd_boundary.py3 KiB · SHA-256 ce9802bd59524b3b… · view textancillaryanc/verify_cd_domain.py3 KiB · SHA-256 850e35bcfd4e6ef8… · view textancillaryanc/verify_cp_large.py5 KiB · SHA-256 2f83c570af4e7ffd… · view textancillaryanc/verify_cp_small.py5 KiB · SHA-256 498e2c8bf63add3c… · view textancillaryanc/verify_exclusions.py2 KiB · SHA-256 09597730e661049f… · view textancillaryanc/verify_global.py4 KiB · SHA-256 42e808db943c06cd… · view textancillaryanc/verify_good_domain_new.py3 KiB · SHA-256 6dcef9b4043b2913… · view textancillaryanc/verify_high_c.py993 B · SHA-256 b06d2087c14f233c… · view textancillaryanc/verify_small_imbalance.py2 KiB · SHA-256 1daabdb3b865331b… · view textancillaryanc/verify_swap_cap.py4 KiB · SHA-256 8da6b804302ea38b… · view textancillaryanc/verify_z_domain.py3 KiB · SHA-256 c297e0a408dd8bf1… · view textancillaryanc/z-domain-certificate.json11 KiB · SHA-256 f4b9eb70e00bd777… · view textauxiliary fileap.tex8 KiB · SHA-256 9b7d62b6498a9c08… · view textauxiliary fileauxiliary-ledgers.tex4 KiB · SHA-256 f54ed7420c3fa7e5… · view textauxiliary filebase-certificate.tex7 KiB · SHA-256 5edc2a03dc6a57d7… · view textauxiliary filecertificate.tex17 KiB · SHA-256 d5dda939f83d5a68… · view textauxiliary filecore-derivation.tex5 KiB · SHA-256 cb8f2ee9114ee7e2… · view textauxiliary filedense-tutte.tex3 KiB · SHA-256 6bb8ab3507ad0669… · view textauxiliary filefoundations.tex8 KiB · SHA-256 366711ed2aea7afe… · view textauxiliary fileframework.tex4 KiB · SHA-256 a9f91e32a478e529… · view textauxiliary filegeneral-budget.tex5 KiB · SHA-256 b85aefad0030f66a… · view textauxiliary filegeneral-layers.tex10 KiB · SHA-256 667c9b60804c0c4d… · view textauxiliary filegeneral-lower.tex6 KiB · SHA-256 6a4390f7d90cf400… · view textauxiliary filegeneral-paths.tex10 KiB · SHA-256 a712ed974380d169… · view textauxiliary fileintersection.tex11 KiB · SHA-256 3e8c6ffce343c3db… · view textauxiliary fileintroduction.tex9 KiB · SHA-256 935d883a0108579c… · view textauxiliary filejoint-packing.tex3 KiB · SHA-256 2bd9a32ab88acacf… · view textauxiliary filelower-directional.tex6 KiB · SHA-256 0b3ff6732d2049b4… · view textauxiliary filelower-stability.tex7 KiB · SHA-256 ac6d93211eb1c6d6… · view textauxiliary filelower.tex11 KiB · SHA-256 2a6bbb07158df92f… · view textauxiliary filepacking.tex4 KiB · SHA-256 4201d82e3c13009c… · view textauxiliary fileproof.tex70 B · SHA-256 c40c97225cfdce8d… · view textauxiliary filerank-coupling.tex7 KiB · SHA-256 81dc229c147908a4… · view textauxiliary filereferences.tex2 KiB · SHA-256 8b8b9f559b600c86… · view textauxiliary filereproducibility.tex5 KiB · SHA-256 37fc715d9a8420ac… · view textauxiliary filereservoir.tex14 KiB · SHA-256 5347a561a9f2f5f3… · view textauxiliary fileresources.tex5 KiB · SHA-256 8bb14d29d8502187… · view textauxiliary fileswapped.tex16 KiB · SHA-256 141213b287ceb18a… · view textauxiliary filetop-capacity.tex5 KiB · SHA-256 0c8049562478ad96… · view text