{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:HMP2HJFDUTOFZ3KUGEM2N2MWMS","short_pith_number":"pith:HMP2HJFD","canonical_record":{"source":{"id":"2412.00704","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2024-12-01T07:01:06Z","cross_cats_sorted":[],"title_canon_sha256":"e64de531d2724d45df2cf76916df4f53ef41003c5a3ac2b915689da9a488ba3c","abstract_canon_sha256":"dcf1dc79c8bfbf9f814848d9169848841ac2434090aced0ae3e64009820b9f95"},"schema_version":"1.0"},"canonical_sha256":"3b1fa3a4a3a4dc5ced543119a6e99664b4942a274ab605b88cebb600b00d5804","source":{"kind":"arxiv","id":"2412.00704","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.00704","created_at":"2026-07-05T09:42:45Z"},{"alias_kind":"arxiv_version","alias_value":"2412.00704v1","created_at":"2026-07-05T09:42:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.00704","created_at":"2026-07-05T09:42:45Z"},{"alias_kind":"pith_short_12","alias_value":"HMP2HJFDUTOF","created_at":"2026-07-05T09:42:45Z"},{"alias_kind":"pith_short_16","alias_value":"HMP2HJFDUTOFZ3KU","created_at":"2026-07-05T09:42:45Z"},{"alias_kind":"pith_short_8","alias_value":"HMP2HJFD","created_at":"2026-07-05T09:42:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:HMP2HJFDUTOFZ3KUGEM2N2MWMS","target":"record","payload":{"canonical_record":{"source":{"id":"2412.00704","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2024-12-01T07:01:06Z","cross_cats_sorted":[],"title_canon_sha256":"e64de531d2724d45df2cf76916df4f53ef41003c5a3ac2b915689da9a488ba3c","abstract_canon_sha256":"dcf1dc79c8bfbf9f814848d9169848841ac2434090aced0ae3e64009820b9f95"},"schema_version":"1.0"},"canonical_sha256":"3b1fa3a4a3a4dc5ced543119a6e99664b4942a274ab605b88cebb600b00d5804","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:42:45.529687Z","signature_b64":"snRXHpRiMW97W53fpZe2CmFZOsE/5HLdWB2ImHDRFh8dt1Cxi4r8QH6JtF8Y5zWCSP16icnNXGj1xuLrtMLMDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3b1fa3a4a3a4dc5ced543119a6e99664b4942a274ab605b88cebb600b00d5804","last_reissued_at":"2026-07-05T09:42:45.529234Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:42:45.529234Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2412.00704","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-07-05T09:42:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IVWtH1DXnnf7AL6OZVioYU88LzUPDf+rMrp1Un3YX07TffujThPnU/6LEKC0jBa3tqCFNpzpEoNxSbvmAyhsCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T01:55:52.692682Z"},"content_sha256":"6319e6e39ec84b294b4b1054817a2843f88e236885a82398315835f278579007","schema_version":"1.0","event_id":"sha256:6319e6e39ec84b294b4b1054817a2843f88e236885a82398315835f278579007"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:HMP2HJFDUTOFZ3KUGEM2N2MWMS","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Efficient Kernelization Algorithm for Bipartite Graph Matching","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DS","authors_text":"Bo Huang, Bopin Ran, Guang Wu, Xinbiao Gan, Zhengbin Pang","submitted_at":"2024-12-01T07:01:06Z","abstract_excerpt":"Finding the maximum matching in bipartite graphs is a fundamental graph operation widely used in various fields. To expedite the acquisition of the maximum matching, Karp and Sipser introduced two data reduction rules aimed at decreasing the input size. However, the KaSi algorithm, which implements the two data reduction rules, has several drawbacks: a high upper bound on time complexity and inefficient storage structure. The poor upper bound on time complexity makes the algorithm lack robustness when dealing with extreme cases, and the inefficient storage structure struggles to balance vertex"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.00704","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2412.00704/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T09:42:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GMPTxuULlKmHN+/hO8HSs0L7w7fkgPw9GrKBhlAoC1thVKW3eeH7MICCTGEMbqYELkYqM/FQl570DDhzarWhCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-09T01:55:52.693057Z"},"content_sha256":"df0dd80d55f2c385ee484c323d92d47444871feceb44c9a2240320bd3585c033","schema_version":"1.0","event_id":"sha256:df0dd80d55f2c385ee484c323d92d47444871feceb44c9a2240320bd3585c033"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HMP2HJFDUTOFZ3KUGEM2N2MWMS/bundle.json","state_url":"https://pith.science/pith/HMP2HJFDUTOFZ3KUGEM2N2MWMS/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HMP2HJFDUTOFZ3KUGEM2N2MWMS/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-07-09T01:55:52Z","links":{"resolver":"https://pith.science/pith/HMP2HJFDUTOFZ3KUGEM2N2MWMS","bundle":"https://pith.science/pith/HMP2HJFDUTOFZ3KUGEM2N2MWMS/bundle.json","state":"https://pith.science/pith/HMP2HJFDUTOFZ3KUGEM2N2MWMS/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HMP2HJFDUTOFZ3KUGEM2N2MWMS/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:HMP2HJFDUTOFZ3KUGEM2N2MWMS","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":"dcf1dc79c8bfbf9f814848d9169848841ac2434090aced0ae3e64009820b9f95","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2024-12-01T07:01:06Z","title_canon_sha256":"e64de531d2724d45df2cf76916df4f53ef41003c5a3ac2b915689da9a488ba3c"},"schema_version":"1.0","source":{"id":"2412.00704","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.00704","created_at":"2026-07-05T09:42:45Z"},{"alias_kind":"arxiv_version","alias_value":"2412.00704v1","created_at":"2026-07-05T09:42:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.00704","created_at":"2026-07-05T09:42:45Z"},{"alias_kind":"pith_short_12","alias_value":"HMP2HJFDUTOF","created_at":"2026-07-05T09:42:45Z"},{"alias_kind":"pith_short_16","alias_value":"HMP2HJFDUTOFZ3KU","created_at":"2026-07-05T09:42:45Z"},{"alias_kind":"pith_short_8","alias_value":"HMP2HJFD","created_at":"2026-07-05T09:42:45Z"}],"graph_snapshots":[{"event_id":"sha256:df0dd80d55f2c385ee484c323d92d47444871feceb44c9a2240320bd3585c033","target":"graph","created_at":"2026-07-05T09:42:45Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2412.00704/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Finding the maximum matching in bipartite graphs is a fundamental graph operation widely used in various fields. To expedite the acquisition of the maximum matching, Karp and Sipser introduced two data reduction rules aimed at decreasing the input size. However, the KaSi algorithm, which implements the two data reduction rules, has several drawbacks: a high upper bound on time complexity and inefficient storage structure. The poor upper bound on time complexity makes the algorithm lack robustness when dealing with extreme cases, and the inefficient storage structure struggles to balance vertex","authors_text":"Bo Huang, Bopin Ran, Guang Wu, Xinbiao Gan, Zhengbin Pang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2024-12-01T07:01:06Z","title":"Efficient Kernelization Algorithm for Bipartite Graph Matching"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.00704","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:6319e6e39ec84b294b4b1054817a2843f88e236885a82398315835f278579007","target":"record","created_at":"2026-07-05T09:42:45Z","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":"dcf1dc79c8bfbf9f814848d9169848841ac2434090aced0ae3e64009820b9f95","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2024-12-01T07:01:06Z","title_canon_sha256":"e64de531d2724d45df2cf76916df4f53ef41003c5a3ac2b915689da9a488ba3c"},"schema_version":"1.0","source":{"id":"2412.00704","kind":"arxiv","version":1}},"canonical_sha256":"3b1fa3a4a3a4dc5ced543119a6e99664b4942a274ab605b88cebb600b00d5804","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3b1fa3a4a3a4dc5ced543119a6e99664b4942a274ab605b88cebb600b00d5804","first_computed_at":"2026-07-05T09:42:45.529234Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:42:45.529234Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"snRXHpRiMW97W53fpZe2CmFZOsE/5HLdWB2ImHDRFh8dt1Cxi4r8QH6JtF8Y5zWCSP16icnNXGj1xuLrtMLMDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:42:45.529687Z","signed_message":"canonical_sha256_bytes"},"source_id":"2412.00704","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6319e6e39ec84b294b4b1054817a2843f88e236885a82398315835f278579007","sha256:df0dd80d55f2c385ee484c323d92d47444871feceb44c9a2240320bd3585c033"],"state_sha256":"f468c4f5a154b237d2a1126cfd44540d6a7bb55ac6e9537aa43036f99d2f1676"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MWYPXdvVsSMfVAm+M8NmSNmpNym9yt1OhPtlFXc9yvYBdjS032kYSvmpa4RSHp1mv1ecKtUpmKOSaWmPpK2xBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-09T01:55:52.695399Z","bundle_sha256":"9de56f085477902fb947d417141810223f1af3838255a468caa366f9abf1f5e5"}}