{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:CUYWUW7B3HJE3PPH4OARV4TESL","short_pith_number":"pith:CUYWUW7B","canonical_record":{"source":{"id":"1707.08725","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2017-07-27T07:05:21Z","cross_cats_sorted":[],"title_canon_sha256":"7cc3d14183b5b7737cafe8a3d98defaf9524f16b25b96bd3f2f734389a46213d","abstract_canon_sha256":"fdc4fae4349c3a7977ab3fce8a66eeb15e25ceb0294c73c7f052f05a90ff09e6"},"schema_version":"1.0"},"canonical_sha256":"15316a5be1d9d24dbde7e3811af26492c60428dd58d74146f2eb994980b05c12","source":{"kind":"arxiv","id":"1707.08725","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.08725","created_at":"2026-05-18T00:39:22Z"},{"alias_kind":"arxiv_version","alias_value":"1707.08725v1","created_at":"2026-05-18T00:39:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.08725","created_at":"2026-05-18T00:39:22Z"},{"alias_kind":"pith_short_12","alias_value":"CUYWUW7B3HJE","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CUYWUW7B3HJE3PPH","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CUYWUW7B","created_at":"2026-05-18T12:31:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:CUYWUW7B3HJE3PPH4OARV4TESL","target":"record","payload":{"canonical_record":{"source":{"id":"1707.08725","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2017-07-27T07:05:21Z","cross_cats_sorted":[],"title_canon_sha256":"7cc3d14183b5b7737cafe8a3d98defaf9524f16b25b96bd3f2f734389a46213d","abstract_canon_sha256":"fdc4fae4349c3a7977ab3fce8a66eeb15e25ceb0294c73c7f052f05a90ff09e6"},"schema_version":"1.0"},"canonical_sha256":"15316a5be1d9d24dbde7e3811af26492c60428dd58d74146f2eb994980b05c12","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:39:22.128568Z","signature_b64":"nhmYYDnHyowAJ2VPxAhr7vJKP+Qbs1qcf6RJdGsYpt0+G3XrSO54oog4km9dmbFE16+E8wcArNKYNHe3BpTBAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"15316a5be1d9d24dbde7e3811af26492c60428dd58d74146f2eb994980b05c12","last_reissued_at":"2026-05-18T00:39:22.127886Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:39:22.127886Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1707.08725","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-18T00:39:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yHmUYR37mvfNvwDqD1ouhQ8A/Pv7fu3vn3kOMV2rzvaLopkCWF6Eq05C8cG1+Yt8oRZ/OHiLNH1lVM7CgoauDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T02:54:14.792254Z"},"content_sha256":"e0cec0899b6f491bdfe2387caf2599dac5268b8257960226c8c6632580e3249d","schema_version":"1.0","event_id":"sha256:e0cec0899b6f491bdfe2387caf2599dac5268b8257960226c8c6632580e3249d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:CUYWUW7B3HJE3PPH4OARV4TESL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Improved Subsumption Testing Algorithm for the Optimal-Size Sorting Network Problem","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DS","authors_text":"Cristian Frasinaru, Madalina Raschip","submitted_at":"2017-07-27T07:05:21Z","abstract_excerpt":"In this paper a new method for checking the subsumption relation for the optimal-size sorting network problem is described. The new approach is based on creating a bipartite graph and modelling the subsumption test as the problem of enumerating all perfect matchings in this graph. Experiments showed significant improvements over the previous approaches when considering the number of subsumption checks and the time needed to find optimal-size sorting networks. We were able to generate all the complete sets of filters for comparator networks with 9 channels, confirming that the 25-comparators so"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.08725","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-18T00:39:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6tUOia1GPH9SKrbzG1ODQB5zywdtKbuC998fpKUdvu6Nls4PBdd3fCBgR/c7gLGqBRI9ozJjVoLSYtcSiWURAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-12T02:54:14.792836Z"},"content_sha256":"b7b6e89223cbe64acc6a5b7409d0b43ae321d04e567f373f26d539aee4550eed","schema_version":"1.0","event_id":"sha256:b7b6e89223cbe64acc6a5b7409d0b43ae321d04e567f373f26d539aee4550eed"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CUYWUW7B3HJE3PPH4OARV4TESL/bundle.json","state_url":"https://pith.science/pith/CUYWUW7B3HJE3PPH4OARV4TESL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CUYWUW7B3HJE3PPH4OARV4TESL/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-12T02:54:14Z","links":{"resolver":"https://pith.science/pith/CUYWUW7B3HJE3PPH4OARV4TESL","bundle":"https://pith.science/pith/CUYWUW7B3HJE3PPH4OARV4TESL/bundle.json","state":"https://pith.science/pith/CUYWUW7B3HJE3PPH4OARV4TESL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CUYWUW7B3HJE3PPH4OARV4TESL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:CUYWUW7B3HJE3PPH4OARV4TESL","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":"fdc4fae4349c3a7977ab3fce8a66eeb15e25ceb0294c73c7f052f05a90ff09e6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2017-07-27T07:05:21Z","title_canon_sha256":"7cc3d14183b5b7737cafe8a3d98defaf9524f16b25b96bd3f2f734389a46213d"},"schema_version":"1.0","source":{"id":"1707.08725","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1707.08725","created_at":"2026-05-18T00:39:22Z"},{"alias_kind":"arxiv_version","alias_value":"1707.08725v1","created_at":"2026-05-18T00:39:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.08725","created_at":"2026-05-18T00:39:22Z"},{"alias_kind":"pith_short_12","alias_value":"CUYWUW7B3HJE","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CUYWUW7B3HJE3PPH","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CUYWUW7B","created_at":"2026-05-18T12:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:b7b6e89223cbe64acc6a5b7409d0b43ae321d04e567f373f26d539aee4550eed","target":"graph","created_at":"2026-05-18T00:39:22Z","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 a new method for checking the subsumption relation for the optimal-size sorting network problem is described. The new approach is based on creating a bipartite graph and modelling the subsumption test as the problem of enumerating all perfect matchings in this graph. Experiments showed significant improvements over the previous approaches when considering the number of subsumption checks and the time needed to find optimal-size sorting networks. We were able to generate all the complete sets of filters for comparator networks with 9 channels, confirming that the 25-comparators so","authors_text":"Cristian Frasinaru, Madalina Raschip","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2017-07-27T07:05:21Z","title":"An Improved Subsumption Testing Algorithm for the Optimal-Size Sorting Network Problem"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.08725","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:e0cec0899b6f491bdfe2387caf2599dac5268b8257960226c8c6632580e3249d","target":"record","created_at":"2026-05-18T00:39:22Z","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":"fdc4fae4349c3a7977ab3fce8a66eeb15e25ceb0294c73c7f052f05a90ff09e6","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2017-07-27T07:05:21Z","title_canon_sha256":"7cc3d14183b5b7737cafe8a3d98defaf9524f16b25b96bd3f2f734389a46213d"},"schema_version":"1.0","source":{"id":"1707.08725","kind":"arxiv","version":1}},"canonical_sha256":"15316a5be1d9d24dbde7e3811af26492c60428dd58d74146f2eb994980b05c12","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"15316a5be1d9d24dbde7e3811af26492c60428dd58d74146f2eb994980b05c12","first_computed_at":"2026-05-18T00:39:22.127886Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:39:22.127886Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nhmYYDnHyowAJ2VPxAhr7vJKP+Qbs1qcf6RJdGsYpt0+G3XrSO54oog4km9dmbFE16+E8wcArNKYNHe3BpTBAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:39:22.128568Z","signed_message":"canonical_sha256_bytes"},"source_id":"1707.08725","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e0cec0899b6f491bdfe2387caf2599dac5268b8257960226c8c6632580e3249d","sha256:b7b6e89223cbe64acc6a5b7409d0b43ae321d04e567f373f26d539aee4550eed"],"state_sha256":"8982af1a575fe36ddade522f588bdaee33a87eddc911ce82cf3a6554fc37fed0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"a6WVnmHrtDiDRBKHVfxNjf4Wg2OsZFFspmTDisZUsGkitcZ6aVJbxb0YCSy4IiQS/JRnNtBgOUPUErmMysfeCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-12T02:54:14.796047Z","bundle_sha256":"0458650603455751548da9f50bde5c58a78512aa4b6971ed124905834cfce179"}}