{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:7BWHRBTFGJDZ54MD6QRKGLKUYF","short_pith_number":"pith:7BWHRBTF","canonical_record":{"source":{"id":"1811.05160","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2018-11-13T08:30:17Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"158a5b3469113b4da1e923d6de890dc6f0a07e586bc77aa4d11fd6593fab1a8f","abstract_canon_sha256":"6f2016c07300a81972b30ee75bda5bd4b0c33895a7f89a94479af854f4dbe11a"},"schema_version":"1.0"},"canonical_sha256":"f86c78866532479ef183f422a32d54c17738e721bca568b7aeff316f07168c08","source":{"kind":"arxiv","id":"1811.05160","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.05160","created_at":"2026-05-17T23:50:40Z"},{"alias_kind":"arxiv_version","alias_value":"1811.05160v2","created_at":"2026-05-17T23:50:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.05160","created_at":"2026-05-17T23:50:40Z"},{"alias_kind":"pith_short_12","alias_value":"7BWHRBTFGJDZ","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"7BWHRBTFGJDZ54MD","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"7BWHRBTF","created_at":"2026-05-18T12:32:11Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:7BWHRBTFGJDZ54MD6QRKGLKUYF","target":"record","payload":{"canonical_record":{"source":{"id":"1811.05160","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2018-11-13T08:30:17Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"158a5b3469113b4da1e923d6de890dc6f0a07e586bc77aa4d11fd6593fab1a8f","abstract_canon_sha256":"6f2016c07300a81972b30ee75bda5bd4b0c33895a7f89a94479af854f4dbe11a"},"schema_version":"1.0"},"canonical_sha256":"f86c78866532479ef183f422a32d54c17738e721bca568b7aeff316f07168c08","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:50:40.938877Z","signature_b64":"PG2W1AFC9PC+DicwykQ+0oE8m8ff74lkkY68CHl5AgMz5DA+zkqSMPwJL6t0tE6eNzEXxMmLVBHmhwUrepISAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f86c78866532479ef183f422a32d54c17738e721bca568b7aeff316f07168c08","last_reissued_at":"2026-05-17T23:50:40.938394Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:50:40.938394Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1811.05160","source_version":2,"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-17T23:50:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fjdMGifp+/sg0PY2wi65cYluoVUqucJBa2Bvag24kAWrMFIbdojiessyTbCHgv1sZ4otJ/wC5qhw3eBgxyAjDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T22:38:21.664333Z"},"content_sha256":"6d1434a3860ca0dfbb3c038e4e0ab042ab08369cc664fc06544842c99080599b","schema_version":"1.0","event_id":"sha256:6d1434a3860ca0dfbb3c038e4e0ab042ab08369cc664fc06544842c99080599b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:7BWHRBTFGJDZ54MD6QRKGLKUYF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Approximating minimum representations of key Horn functions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DB"],"primary_cat":"cs.DS","authors_text":"Endre Boros, Kazuhisa Makino, Krist\\'of B\\'erczi, Ond\\v{r}ej \\v{C}epek, Petr Ku\\v{c}era","submitted_at":"2018-11-13T08:30:17Z","abstract_excerpt":"Horn functions form a subclass of Boolean functions and appear in many different areas of computer science and mathematics as a general tool to describe implications and dependencies. Finding minimum sized representations for such functions with respect to most commonly used measures is a computationally hard problem that remains hard even for the important subclass of key Horn functions. In this paper we provide logarithmic factor approximation algorithms for key Horn functions with respect to all measures studied in the literature for which the problem is known to be hard."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.05160","kind":"arxiv","version":2},"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-17T23:50:40Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Xp2hzS+N1bwRm5b6maYOT3H8fGOzKfuYZ8MSRbB0ZTdRNrJd+a0hWR5S5yzhEK8M7n26imXw8D9hm0g9iDT/Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-10T22:38:21.664682Z"},"content_sha256":"bd46a69fb1e4e045e823548769e6cff340a44a6e8195b24e34a46f949043b700","schema_version":"1.0","event_id":"sha256:bd46a69fb1e4e045e823548769e6cff340a44a6e8195b24e34a46f949043b700"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7BWHRBTFGJDZ54MD6QRKGLKUYF/bundle.json","state_url":"https://pith.science/pith/7BWHRBTFGJDZ54MD6QRKGLKUYF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7BWHRBTFGJDZ54MD6QRKGLKUYF/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-10T22:38:21Z","links":{"resolver":"https://pith.science/pith/7BWHRBTFGJDZ54MD6QRKGLKUYF","bundle":"https://pith.science/pith/7BWHRBTFGJDZ54MD6QRKGLKUYF/bundle.json","state":"https://pith.science/pith/7BWHRBTFGJDZ54MD6QRKGLKUYF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7BWHRBTFGJDZ54MD6QRKGLKUYF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:7BWHRBTFGJDZ54MD6QRKGLKUYF","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":"6f2016c07300a81972b30ee75bda5bd4b0c33895a7f89a94479af854f4dbe11a","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2018-11-13T08:30:17Z","title_canon_sha256":"158a5b3469113b4da1e923d6de890dc6f0a07e586bc77aa4d11fd6593fab1a8f"},"schema_version":"1.0","source":{"id":"1811.05160","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1811.05160","created_at":"2026-05-17T23:50:40Z"},{"alias_kind":"arxiv_version","alias_value":"1811.05160v2","created_at":"2026-05-17T23:50:40Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1811.05160","created_at":"2026-05-17T23:50:40Z"},{"alias_kind":"pith_short_12","alias_value":"7BWHRBTFGJDZ","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_16","alias_value":"7BWHRBTFGJDZ54MD","created_at":"2026-05-18T12:32:11Z"},{"alias_kind":"pith_short_8","alias_value":"7BWHRBTF","created_at":"2026-05-18T12:32:11Z"}],"graph_snapshots":[{"event_id":"sha256:bd46a69fb1e4e045e823548769e6cff340a44a6e8195b24e34a46f949043b700","target":"graph","created_at":"2026-05-17T23:50:40Z","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":"Horn functions form a subclass of Boolean functions and appear in many different areas of computer science and mathematics as a general tool to describe implications and dependencies. Finding minimum sized representations for such functions with respect to most commonly used measures is a computationally hard problem that remains hard even for the important subclass of key Horn functions. In this paper we provide logarithmic factor approximation algorithms for key Horn functions with respect to all measures studied in the literature for which the problem is known to be hard.","authors_text":"Endre Boros, Kazuhisa Makino, Krist\\'of B\\'erczi, Ond\\v{r}ej \\v{C}epek, Petr Ku\\v{c}era","cross_cats":["cs.DB"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2018-11-13T08:30:17Z","title":"Approximating minimum representations of key Horn functions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1811.05160","kind":"arxiv","version":2},"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:6d1434a3860ca0dfbb3c038e4e0ab042ab08369cc664fc06544842c99080599b","target":"record","created_at":"2026-05-17T23:50:40Z","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":"6f2016c07300a81972b30ee75bda5bd4b0c33895a7f89a94479af854f4dbe11a","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DS","submitted_at":"2018-11-13T08:30:17Z","title_canon_sha256":"158a5b3469113b4da1e923d6de890dc6f0a07e586bc77aa4d11fd6593fab1a8f"},"schema_version":"1.0","source":{"id":"1811.05160","kind":"arxiv","version":2}},"canonical_sha256":"f86c78866532479ef183f422a32d54c17738e721bca568b7aeff316f07168c08","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f86c78866532479ef183f422a32d54c17738e721bca568b7aeff316f07168c08","first_computed_at":"2026-05-17T23:50:40.938394Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:50:40.938394Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PG2W1AFC9PC+DicwykQ+0oE8m8ff74lkkY68CHl5AgMz5DA+zkqSMPwJL6t0tE6eNzEXxMmLVBHmhwUrepISAg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:50:40.938877Z","signed_message":"canonical_sha256_bytes"},"source_id":"1811.05160","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6d1434a3860ca0dfbb3c038e4e0ab042ab08369cc664fc06544842c99080599b","sha256:bd46a69fb1e4e045e823548769e6cff340a44a6e8195b24e34a46f949043b700"],"state_sha256":"6e7bfd11aaf94379a6bd3b9731110c7ceb9f8c54847914dee911b3dba7337616"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l/wU8AsxO9vbNRzOO9IpSH4xhZrC5qlS1FkEDgrYUmd4AppI59gmW2f5kg+O98njDitL34sKJJaIkgJODUp0BQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-10T22:38:21.666638Z","bundle_sha256":"b49fc8f72ea87f3e6b80be3a5435e26a9e719e2ae73be247890b8380851022eb"}}