{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:PV63B2IDOH5PM5NHIAN23GMO4Y","short_pith_number":"pith:PV63B2ID","canonical_record":{"source":{"id":"1603.02384","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-03-08T05:08:35Z","cross_cats_sorted":[],"title_canon_sha256":"4f3ff75ef793679f41a7cfaaf12ab445ac67da9e282f111f002961e32034c45a","abstract_canon_sha256":"b1c9e33ab09e07a41e3be97970aa4628901d2e44105d19b050c3908e14f3a14e"},"schema_version":"1.0"},"canonical_sha256":"7d7db0e90371faf675a7401bad998ee6088d1a29733eb79adc89404b44a4b654","source":{"kind":"arxiv","id":"1603.02384","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.02384","created_at":"2026-05-18T01:19:23Z"},{"alias_kind":"arxiv_version","alias_value":"1603.02384v1","created_at":"2026-05-18T01:19:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.02384","created_at":"2026-05-18T01:19:23Z"},{"alias_kind":"pith_short_12","alias_value":"PV63B2IDOH5P","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"PV63B2IDOH5PM5NH","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"PV63B2ID","created_at":"2026-05-18T12:30:39Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:PV63B2IDOH5PM5NHIAN23GMO4Y","target":"record","payload":{"canonical_record":{"source":{"id":"1603.02384","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-03-08T05:08:35Z","cross_cats_sorted":[],"title_canon_sha256":"4f3ff75ef793679f41a7cfaaf12ab445ac67da9e282f111f002961e32034c45a","abstract_canon_sha256":"b1c9e33ab09e07a41e3be97970aa4628901d2e44105d19b050c3908e14f3a14e"},"schema_version":"1.0"},"canonical_sha256":"7d7db0e90371faf675a7401bad998ee6088d1a29733eb79adc89404b44a4b654","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:19:23.523665Z","signature_b64":"PFj6iQn8GWUhOYeYtkuxIP4uCpAa/xr+QWJYq0qitzz7KI8w7sxbtPu8A/WDVcSBs4OyPSJJ7HhXHzcBdmtIAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7d7db0e90371faf675a7401bad998ee6088d1a29733eb79adc89404b44a4b654","last_reissued_at":"2026-05-18T01:19:23.522935Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:19:23.522935Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1603.02384","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-18T01:19:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JfnSUXrKg9VZEk9nw/9knlyV4wpCAcqhrvV5BkaVVQUW69SVrlpRhofUaN+MguUMyvprN1hwQQAjeOq2GzQDAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T13:28:56.653807Z"},"content_sha256":"3e49ad55d1172b2c35972489df4c2892c7fc01623a63fa5d9c0aff4c30b7eb98","schema_version":"1.0","event_id":"sha256:3e49ad55d1172b2c35972489df4c2892c7fc01623a63fa5d9c0aff4c30b7eb98"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:PV63B2IDOH5PM5NHIAN23GMO4Y","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Column Generation and Lazy Constraints for solving the Liner Ship Fleet Repositioning Problem with cargo flows","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.OC","authors_text":"Alexis Tyler, Michael Forbes, Robin H. Pearce","submitted_at":"2016-03-08T05:08:35Z","abstract_excerpt":"We consider an important problem in the shipping industry known as the liner shipping fleet repositioning problem (LSFRP). We examine a public data set for this problem including many instances which have not previously been solved to optimality. We present several improvements on a previous mathematical formulation, however the largest instances still result in models too difficult to solve in reasonable time. The implementation of column generation reduces the model size significantly, allowing all instances to be solved, with some taking two to three hours. A novel application of lazy const"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.02384","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-18T01:19:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HDp3dpvqJC3fPxSZ7jBNGJ/hd9OcUEi7zuF/tRoHoJPFZ9iBAipLGtJgn+FPeScysiCzJ/YbBoeCHG5knuQ2Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T13:28:56.654151Z"},"content_sha256":"6416ffe796740b4bb5ef31592d2befe59e47fd8f9d25244134fdc7d90c1d62c8","schema_version":"1.0","event_id":"sha256:6416ffe796740b4bb5ef31592d2befe59e47fd8f9d25244134fdc7d90c1d62c8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PV63B2IDOH5PM5NHIAN23GMO4Y/bundle.json","state_url":"https://pith.science/pith/PV63B2IDOH5PM5NHIAN23GMO4Y/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PV63B2IDOH5PM5NHIAN23GMO4Y/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-11T13:28:56Z","links":{"resolver":"https://pith.science/pith/PV63B2IDOH5PM5NHIAN23GMO4Y","bundle":"https://pith.science/pith/PV63B2IDOH5PM5NHIAN23GMO4Y/bundle.json","state":"https://pith.science/pith/PV63B2IDOH5PM5NHIAN23GMO4Y/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PV63B2IDOH5PM5NHIAN23GMO4Y/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:PV63B2IDOH5PM5NHIAN23GMO4Y","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":"b1c9e33ab09e07a41e3be97970aa4628901d2e44105d19b050c3908e14f3a14e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-03-08T05:08:35Z","title_canon_sha256":"4f3ff75ef793679f41a7cfaaf12ab445ac67da9e282f111f002961e32034c45a"},"schema_version":"1.0","source":{"id":"1603.02384","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1603.02384","created_at":"2026-05-18T01:19:23Z"},{"alias_kind":"arxiv_version","alias_value":"1603.02384v1","created_at":"2026-05-18T01:19:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.02384","created_at":"2026-05-18T01:19:23Z"},{"alias_kind":"pith_short_12","alias_value":"PV63B2IDOH5P","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"PV63B2IDOH5PM5NH","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"PV63B2ID","created_at":"2026-05-18T12:30:39Z"}],"graph_snapshots":[{"event_id":"sha256:6416ffe796740b4bb5ef31592d2befe59e47fd8f9d25244134fdc7d90c1d62c8","target":"graph","created_at":"2026-05-18T01:19:23Z","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":"We consider an important problem in the shipping industry known as the liner shipping fleet repositioning problem (LSFRP). We examine a public data set for this problem including many instances which have not previously been solved to optimality. We present several improvements on a previous mathematical formulation, however the largest instances still result in models too difficult to solve in reasonable time. The implementation of column generation reduces the model size significantly, allowing all instances to be solved, with some taking two to three hours. A novel application of lazy const","authors_text":"Alexis Tyler, Michael Forbes, Robin H. Pearce","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-03-08T05:08:35Z","title":"Column Generation and Lazy Constraints for solving the Liner Ship Fleet Repositioning Problem with cargo flows"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.02384","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:3e49ad55d1172b2c35972489df4c2892c7fc01623a63fa5d9c0aff4c30b7eb98","target":"record","created_at":"2026-05-18T01:19:23Z","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":"b1c9e33ab09e07a41e3be97970aa4628901d2e44105d19b050c3908e14f3a14e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.OC","submitted_at":"2016-03-08T05:08:35Z","title_canon_sha256":"4f3ff75ef793679f41a7cfaaf12ab445ac67da9e282f111f002961e32034c45a"},"schema_version":"1.0","source":{"id":"1603.02384","kind":"arxiv","version":1}},"canonical_sha256":"7d7db0e90371faf675a7401bad998ee6088d1a29733eb79adc89404b44a4b654","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7d7db0e90371faf675a7401bad998ee6088d1a29733eb79adc89404b44a4b654","first_computed_at":"2026-05-18T01:19:23.522935Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:19:23.522935Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PFj6iQn8GWUhOYeYtkuxIP4uCpAa/xr+QWJYq0qitzz7KI8w7sxbtPu8A/WDVcSBs4OyPSJJ7HhXHzcBdmtIAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:19:23.523665Z","signed_message":"canonical_sha256_bytes"},"source_id":"1603.02384","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3e49ad55d1172b2c35972489df4c2892c7fc01623a63fa5d9c0aff4c30b7eb98","sha256:6416ffe796740b4bb5ef31592d2befe59e47fd8f9d25244134fdc7d90c1d62c8"],"state_sha256":"cc8579739083c95c562b8b28a17621d1c2c7294117c35714968f2859e8c855a5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3wt69i93lG6nhtAuPkTtarB4C0irr02reDmxhkK62cc8Kqdm62suY3WlTAiMOr31RQ1HEevsAkuHA34YkPZiCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T13:28:56.656353Z","bundle_sha256":"43171686c25852c551771b6b3e9b0fe34e0636863d7aba1302cb3bc90ecc51dd"}}