An Optimal Deterministic Adversary for Sorting
Source files
root filepaper.tex · root file4 KiB · SHA-256 9a05a2d74e9a9a8e… · view textancillaryanc/check_controller.json648 B · SHA-256 ae00ad1fb1d6a950… · view textancillaryanc/check_controller.py4 KiB · SHA-256 f92af9dea211c542… · view textancillaryanc/check_finite_digits.json1 KiB · SHA-256 739dbd7c5d41bb65… · view textancillaryanc/check_finite_digits.py8 KiB · SHA-256 d535ac9324e5307d… · view textancillaryanc/check_interval_certificates.json5 KiB · SHA-256 66e8e5a8991d84c0… · view textancillaryanc/check_interval_certificates.py19 KiB · SHA-256 043ab40fa00766af… · view textancillaryanc/check_packing_primitives.json10 KiB · SHA-256 4765f3f0f8913d8e… · view textancillaryanc/check_packing_primitives.py14 KiB · SHA-256 e81c851d76383368… · view textancillaryanc/check_results.json244 B · SHA-256 ed2fd7babc11117e… · view textancillaryanc/check_simplification.py3 KiB · SHA-256 373a7555bb1d5862… · view textauxiliary filesections/appendices.tex10 KiB · SHA-256 95b0f1e53646b056… · view textauxiliary filesections/arithmetic.tex5 KiB · SHA-256 76438da46c3e3c8e… · view textauxiliary filesections/certificates.tex4 KiB · SHA-256 a8b7c428d7be46e4… · view textauxiliary filesections/consequences-proofs.tex10 KiB · SHA-256 392d7d046ae4de7c… · view textauxiliary filesections/consequences.tex7 KiB · SHA-256 46e146ba0b9f067d… · view textauxiliary filesections/coupling.tex4 KiB · SHA-256 44759c80dd5c87f7… · view textauxiliary filesections/execution.tex7 KiB · SHA-256 414655d5bb58fb8f… · view textauxiliary filesections/implementation.tex3 KiB · SHA-256 80f051ffd9fd068a… · view textauxiliary filesections/introduction.tex6 KiB · SHA-256 dd4d327741449681… · view textauxiliary filesections/legality.tex21 KiB · SHA-256 6b0de6cc87a36809… · view textauxiliary filesections/lower-bound.tex10 KiB · SHA-256 fbc4fab61fab608f… · view textauxiliary filesections/operation-properties.tex3 KiB · SHA-256 a6cee51614cc2b12… · view textauxiliary filesections/order-dags.tex805 B · SHA-256 e7c52bdce66c0e44… · view textauxiliary filesections/overview.tex6 KiB · SHA-256 b98aab6ca695e260… · view textauxiliary filesections/parameters.tex2 KiB · SHA-256 5930ebf1af06f451… · view textauxiliary filesections/positions.tex6 KiB · SHA-256 40afa115febae1f8… · view textauxiliary filesections/references.tex7 KiB · SHA-256 f36a1cf608c9bc6f… · view textauxiliary filesections/related-work.tex7 KiB · SHA-256 ba0b56104c323e37… · view text