{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:TMOZDV5A665CGHA4K6HXT7DRV7","short_pith_number":"pith:TMOZDV5A","canonical_record":{"source":{"id":"1502.05983","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2015-02-20T20:12:30Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"00f2834f05d13cb05f20dea5bbf24c06227b31168b5912f89ecf344f54e1025b","abstract_canon_sha256":"3ffdef69ec04a7b96f39a2d2e9267b2a82fef783c90dce23e63a553807ce13b7"},"schema_version":"1.0"},"canonical_sha256":"9b1d91d7a0f7ba231c1c578f79fc71afcd0edc07874a8ebabcc7da67e35194bd","source":{"kind":"arxiv","id":"1502.05983","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.05983","created_at":"2026-05-18T02:26:39Z"},{"alias_kind":"arxiv_version","alias_value":"1502.05983v1","created_at":"2026-05-18T02:26:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.05983","created_at":"2026-05-18T02:26:39Z"},{"alias_kind":"pith_short_12","alias_value":"TMOZDV5A665C","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"TMOZDV5A665CGHA4","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"TMOZDV5A","created_at":"2026-05-18T12:29:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:TMOZDV5A665CGHA4K6HXT7DRV7","target":"record","payload":{"canonical_record":{"source":{"id":"1502.05983","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2015-02-20T20:12:30Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"00f2834f05d13cb05f20dea5bbf24c06227b31168b5912f89ecf344f54e1025b","abstract_canon_sha256":"3ffdef69ec04a7b96f39a2d2e9267b2a82fef783c90dce23e63a553807ce13b7"},"schema_version":"1.0"},"canonical_sha256":"9b1d91d7a0f7ba231c1c578f79fc71afcd0edc07874a8ebabcc7da67e35194bd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:26:39.855283Z","signature_b64":"JvGoZItDPjTTvbMfrNHyif8dss3UfQWBcyM+4rN1Vc9vHo0dfV3rj4RvN94M4kEvV8GKXVsX8cXH3sQw+ygNBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9b1d91d7a0f7ba231c1c578f79fc71afcd0edc07874a8ebabcc7da67e35194bd","last_reissued_at":"2026-05-18T02:26:39.854709Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:26:39.854709Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1502.05983","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:26:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I0H5rh7CAQuLFEt+C45WEB3CXC9H8Np0aMkwGPKVcObcy6XhE9NaXNLj+Bb7phMumqEY/auXko8N9BIxglChCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T08:29:51.258712Z"},"content_sha256":"da3ed5e78faaf4c2e0088435d65334b3d9a31c524bc4f247c72506e5f6dd62b5","schema_version":"1.0","event_id":"sha256:da3ed5e78faaf4c2e0088435d65334b3d9a31c524bc4f247c72506e5f6dd62b5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:TMOZDV5A665CGHA4K6HXT7DRV7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Sorting Networks: The Final Countdown","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"cs.DM","authors_text":"David Gregg, Martin Marinov","submitted_at":"2015-02-20T20:12:30Z","abstract_excerpt":"In this paper we extend the knowledge on the problem of empirically searching for sorting networks of minimal depth. We present new search space pruning techniques for the last four levels of a candidate sorting network by considering only the output set representation of a network. We present an algorithm for checking whether an $n$-input sorting network of depth $d$ exists by considering the minimal up to permutation and reflection itemsets at each level and using the pruning at the last four levels. We experimentally evaluated this algorithm to find the optimal depth sorting networks for al"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.05983","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T02:26:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rxLEIF2g1lvJcFoh9Jq213FkiJu/JRGlloSG3iQTPLU8p2kyOLubtAIUJK2n+rHqro89VLUZO87lh7cAXyqiAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T08:29:51.259060Z"},"content_sha256":"888a4350ea57973ea9659ab6df857d2dffb2c9455201d60c068808a051ea8b7a","schema_version":"1.0","event_id":"sha256:888a4350ea57973ea9659ab6df857d2dffb2c9455201d60c068808a051ea8b7a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TMOZDV5A665CGHA4K6HXT7DRV7/bundle.json","state_url":"https://pith.science/pith/TMOZDV5A665CGHA4K6HXT7DRV7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TMOZDV5A665CGHA4K6HXT7DRV7/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-01T08:29:51Z","links":{"resolver":"https://pith.science/pith/TMOZDV5A665CGHA4K6HXT7DRV7","bundle":"https://pith.science/pith/TMOZDV5A665CGHA4K6HXT7DRV7/bundle.json","state":"https://pith.science/pith/TMOZDV5A665CGHA4K6HXT7DRV7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TMOZDV5A665CGHA4K6HXT7DRV7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:TMOZDV5A665CGHA4K6HXT7DRV7","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"3ffdef69ec04a7b96f39a2d2e9267b2a82fef783c90dce23e63a553807ce13b7","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2015-02-20T20:12:30Z","title_canon_sha256":"00f2834f05d13cb05f20dea5bbf24c06227b31168b5912f89ecf344f54e1025b"},"schema_version":"1.0","source":{"id":"1502.05983","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.05983","created_at":"2026-05-18T02:26:39Z"},{"alias_kind":"arxiv_version","alias_value":"1502.05983v1","created_at":"2026-05-18T02:26:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.05983","created_at":"2026-05-18T02:26:39Z"},{"alias_kind":"pith_short_12","alias_value":"TMOZDV5A665C","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"TMOZDV5A665CGHA4","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"TMOZDV5A","created_at":"2026-05-18T12:29:42Z"}],"graph_snapshots":[{"event_id":"sha256:888a4350ea57973ea9659ab6df857d2dffb2c9455201d60c068808a051ea8b7a","target":"graph","created_at":"2026-05-18T02:26:39Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"In this paper we extend the knowledge on the problem of empirically searching for sorting networks of minimal depth. We present new search space pruning techniques for the last four levels of a candidate sorting network by considering only the output set representation of a network. We present an algorithm for checking whether an $n$-input sorting network of depth $d$ exists by considering the minimal up to permutation and reflection itemsets at each level and using the pruning at the last four levels. We experimentally evaluated this algorithm to find the optimal depth sorting networks for al","authors_text":"David Gregg, Martin Marinov","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2015-02-20T20:12:30Z","title":"Sorting Networks: The Final Countdown"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.05983","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:da3ed5e78faaf4c2e0088435d65334b3d9a31c524bc4f247c72506e5f6dd62b5","target":"record","created_at":"2026-05-18T02:26:39Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"3ffdef69ec04a7b96f39a2d2e9267b2a82fef783c90dce23e63a553807ce13b7","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2015-02-20T20:12:30Z","title_canon_sha256":"00f2834f05d13cb05f20dea5bbf24c06227b31168b5912f89ecf344f54e1025b"},"schema_version":"1.0","source":{"id":"1502.05983","kind":"arxiv","version":1}},"canonical_sha256":"9b1d91d7a0f7ba231c1c578f79fc71afcd0edc07874a8ebabcc7da67e35194bd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9b1d91d7a0f7ba231c1c578f79fc71afcd0edc07874a8ebabcc7da67e35194bd","first_computed_at":"2026-05-18T02:26:39.854709Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:26:39.854709Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JvGoZItDPjTTvbMfrNHyif8dss3UfQWBcyM+4rN1Vc9vHo0dfV3rj4RvN94M4kEvV8GKXVsX8cXH3sQw+ygNBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:26:39.855283Z","signed_message":"canonical_sha256_bytes"},"source_id":"1502.05983","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:da3ed5e78faaf4c2e0088435d65334b3d9a31c524bc4f247c72506e5f6dd62b5","sha256:888a4350ea57973ea9659ab6df857d2dffb2c9455201d60c068808a051ea8b7a"],"state_sha256":"4131126ded1471608116297b13bda6c7421b041f5275f761cba4028f68fe78d3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"CDj1hMEc6kSRcSydmo92Eo7r7HFWFl81p6Nn1LL9W/cvrRBHToc4sWLkwFWzvr9XJY2yTJkvYmb6L2PArrfVCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T08:29:51.261099Z","bundle_sha256":"f5cf7900b80eaaf6574e3143f4ed2c6d6381380a4473c6e1d47f4f400da11b29"}}