{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:WNYEM7HT6ECYHYE7Z2YU77LRV5","short_pith_number":"pith:WNYEM7HT","canonical_record":{"source":{"id":"1806.10697","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2018-06-27T21:12:01Z","cross_cats_sorted":[],"title_canon_sha256":"d9c013bf080c4817526885b7e7ee248bbc6e779f75894cd91b4ebe7712ee1ef9","abstract_canon_sha256":"5faf6ab456eb0592d7d08ee50cfc2a88182007fa21a47abd80536457f3c28165"},"schema_version":"1.0"},"canonical_sha256":"b370467cf3f10583e09fceb14ffd71af63fa492c72d7c501fd54d3d540551967","source":{"kind":"arxiv","id":"1806.10697","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.10697","created_at":"2026-05-18T00:08:14Z"},{"alias_kind":"arxiv_version","alias_value":"1806.10697v2","created_at":"2026-05-18T00:08:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.10697","created_at":"2026-05-18T00:08:14Z"},{"alias_kind":"pith_short_12","alias_value":"WNYEM7HT6ECY","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"WNYEM7HT6ECYHYE7","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"WNYEM7HT","created_at":"2026-05-18T12:33:01Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:WNYEM7HT6ECYHYE7Z2YU77LRV5","target":"record","payload":{"canonical_record":{"source":{"id":"1806.10697","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2018-06-27T21:12:01Z","cross_cats_sorted":[],"title_canon_sha256":"d9c013bf080c4817526885b7e7ee248bbc6e779f75894cd91b4ebe7712ee1ef9","abstract_canon_sha256":"5faf6ab456eb0592d7d08ee50cfc2a88182007fa21a47abd80536457f3c28165"},"schema_version":"1.0"},"canonical_sha256":"b370467cf3f10583e09fceb14ffd71af63fa492c72d7c501fd54d3d540551967","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:08:14.578011Z","signature_b64":"rixznYHodAA9OwKwA6dUv7wPDPKBpkM+kBqMtFM7YWONyJm6zew3RdnZVX6IJCRPpAV6jhPS7W0lBQQiLBdvBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b370467cf3f10583e09fceb14ffd71af63fa492c72d7c501fd54d3d540551967","last_reissued_at":"2026-05-18T00:08:14.577595Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:08:14.577595Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1806.10697","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-18T00:08:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HIJTho9ov6Xt6Q+G7OWOb8GGIO2yPURUjkSSL1O+c2+vQTRSyjxGUYnET7btYNov7p7HgMCEH93MzS5bKMl4Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T23:05:13.415448Z"},"content_sha256":"fa55d7f3cee0fd2ed7be42bf8ac0712af8d72505765e5036ab0ad2f806454cc0","schema_version":"1.0","event_id":"sha256:fa55d7f3cee0fd2ed7be42bf8ac0712af8d72505765e5036ab0ad2f806454cc0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:WNYEM7HT6ECYHYE7Z2YU77LRV5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A new Integer Linear Program for the Steiner Tree Problem with Revenues, Budget and Hop Constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DM","authors_text":"Adalat Jabrayilov, Petra Mutzel","submitted_at":"2018-06-27T21:12:01Z","abstract_excerpt":"The Steiner tree problem with revenues, budgets and hop constraints (STPRBH) is a variant of the classical Steiner tree problem. This problem asks for a subtree in a given graph with maximum revenues corresponding to its nodes, where its total edge costs respect the given budget, and the number of edges between each node and its root does not exceed the hop limit. We introduce a new binary linear program with polynomial size based on partial-ordering, which (up to our knowledge) for the first time solves all STPRBH instances from the DIMACS benchmark set to optimality. The set contains graphs "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.10697","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-18T00:08:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IuszoHJuA3oYY0No/xUyllY2L9f5r1hsNkUsVbWVuBcaST7Jz0T2+A5BVqXXjM2DBMKm41jZNVrVAgon7lSTDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T23:05:13.416263Z"},"content_sha256":"293e9fbafd2ca3933b13b9d2749bf7517c84f5e5721ae39e62e5d1af048ceb2e","schema_version":"1.0","event_id":"sha256:293e9fbafd2ca3933b13b9d2749bf7517c84f5e5721ae39e62e5d1af048ceb2e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WNYEM7HT6ECYHYE7Z2YU77LRV5/bundle.json","state_url":"https://pith.science/pith/WNYEM7HT6ECYHYE7Z2YU77LRV5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WNYEM7HT6ECYHYE7Z2YU77LRV5/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-05-31T23:05:13Z","links":{"resolver":"https://pith.science/pith/WNYEM7HT6ECYHYE7Z2YU77LRV5","bundle":"https://pith.science/pith/WNYEM7HT6ECYHYE7Z2YU77LRV5/bundle.json","state":"https://pith.science/pith/WNYEM7HT6ECYHYE7Z2YU77LRV5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WNYEM7HT6ECYHYE7Z2YU77LRV5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:WNYEM7HT6ECYHYE7Z2YU77LRV5","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":"5faf6ab456eb0592d7d08ee50cfc2a88182007fa21a47abd80536457f3c28165","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2018-06-27T21:12:01Z","title_canon_sha256":"d9c013bf080c4817526885b7e7ee248bbc6e779f75894cd91b4ebe7712ee1ef9"},"schema_version":"1.0","source":{"id":"1806.10697","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1806.10697","created_at":"2026-05-18T00:08:14Z"},{"alias_kind":"arxiv_version","alias_value":"1806.10697v2","created_at":"2026-05-18T00:08:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1806.10697","created_at":"2026-05-18T00:08:14Z"},{"alias_kind":"pith_short_12","alias_value":"WNYEM7HT6ECY","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_16","alias_value":"WNYEM7HT6ECYHYE7","created_at":"2026-05-18T12:33:01Z"},{"alias_kind":"pith_short_8","alias_value":"WNYEM7HT","created_at":"2026-05-18T12:33:01Z"}],"graph_snapshots":[{"event_id":"sha256:293e9fbafd2ca3933b13b9d2749bf7517c84f5e5721ae39e62e5d1af048ceb2e","target":"graph","created_at":"2026-05-18T00:08:14Z","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":"The Steiner tree problem with revenues, budgets and hop constraints (STPRBH) is a variant of the classical Steiner tree problem. This problem asks for a subtree in a given graph with maximum revenues corresponding to its nodes, where its total edge costs respect the given budget, and the number of edges between each node and its root does not exceed the hop limit. We introduce a new binary linear program with polynomial size based on partial-ordering, which (up to our knowledge) for the first time solves all STPRBH instances from the DIMACS benchmark set to optimality. The set contains graphs ","authors_text":"Adalat Jabrayilov, Petra Mutzel","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2018-06-27T21:12:01Z","title":"A new Integer Linear Program for the Steiner Tree Problem with Revenues, Budget and Hop Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1806.10697","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:fa55d7f3cee0fd2ed7be42bf8ac0712af8d72505765e5036ab0ad2f806454cc0","target":"record","created_at":"2026-05-18T00:08:14Z","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":"5faf6ab456eb0592d7d08ee50cfc2a88182007fa21a47abd80536457f3c28165","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DM","submitted_at":"2018-06-27T21:12:01Z","title_canon_sha256":"d9c013bf080c4817526885b7e7ee248bbc6e779f75894cd91b4ebe7712ee1ef9"},"schema_version":"1.0","source":{"id":"1806.10697","kind":"arxiv","version":2}},"canonical_sha256":"b370467cf3f10583e09fceb14ffd71af63fa492c72d7c501fd54d3d540551967","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b370467cf3f10583e09fceb14ffd71af63fa492c72d7c501fd54d3d540551967","first_computed_at":"2026-05-18T00:08:14.577595Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:08:14.577595Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rixznYHodAA9OwKwA6dUv7wPDPKBpkM+kBqMtFM7YWONyJm6zew3RdnZVX6IJCRPpAV6jhPS7W0lBQQiLBdvBg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:08:14.578011Z","signed_message":"canonical_sha256_bytes"},"source_id":"1806.10697","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fa55d7f3cee0fd2ed7be42bf8ac0712af8d72505765e5036ab0ad2f806454cc0","sha256:293e9fbafd2ca3933b13b9d2749bf7517c84f5e5721ae39e62e5d1af048ceb2e"],"state_sha256":"9e6f99158b203eb6323d75cf5d794b2ad30c79684beacfc5b30ca05782d2a394"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"O9glbEEebDYEcSObw1NOYV30vTiqDpe0Mk4VA/22KsZZh/eVHTZI5ZZYLjPMD/BmwO0DoZj45IpPRNbM7N4DAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T23:05:13.420831Z","bundle_sha256":"2aa6a5156f43de5def9ba2d359290b17dbdc16828bed4067ca18d92225fe2a70"}}