{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:R7F2MOXMZAWJ2MRTD5LD3S7YSV","short_pith_number":"pith:R7F2MOXM","canonical_record":{"source":{"id":"1308.4670","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2013-08-21T19:32:06Z","cross_cats_sorted":["cs.DS","math.OC"],"title_canon_sha256":"00240d52e8e7bcd9cb70bd318dd2bbea64f65c788d1a7a0b019f1452f56e2055","abstract_canon_sha256":"8d0885456f1981108752417390ac33eacfecb612c8d0747172a614e650d6829f"},"schema_version":"1.0"},"canonical_sha256":"8fcba63aecc82c9d32331f563dcbf89579e3e1ed202cdc854fa0399df26dfb23","source":{"kind":"arxiv","id":"1308.4670","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.4670","created_at":"2026-05-18T02:31:02Z"},{"alias_kind":"arxiv_version","alias_value":"1308.4670v2","created_at":"2026-05-18T02:31:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.4670","created_at":"2026-05-18T02:31:02Z"},{"alias_kind":"pith_short_12","alias_value":"R7F2MOXMZAWJ","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_16","alias_value":"R7F2MOXMZAWJ2MRT","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_8","alias_value":"R7F2MOXM","created_at":"2026-05-18T12:27:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:R7F2MOXMZAWJ2MRTD5LD3S7YSV","target":"record","payload":{"canonical_record":{"source":{"id":"1308.4670","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2013-08-21T19:32:06Z","cross_cats_sorted":["cs.DS","math.OC"],"title_canon_sha256":"00240d52e8e7bcd9cb70bd318dd2bbea64f65c788d1a7a0b019f1452f56e2055","abstract_canon_sha256":"8d0885456f1981108752417390ac33eacfecb612c8d0747172a614e650d6829f"},"schema_version":"1.0"},"canonical_sha256":"8fcba63aecc82c9d32331f563dcbf89579e3e1ed202cdc854fa0399df26dfb23","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:31:02.445389Z","signature_b64":"owEZ+wguQl9FTDSPZUFYFEeFADnzjfGKXzyF/af1psJvRe09vEvqVtXcegxi7DGC25vRngktLyCuFfdaRTIeAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8fcba63aecc82c9d32331f563dcbf89579e3e1ed202cdc854fa0399df26dfb23","last_reissued_at":"2026-05-18T02:31:02.444946Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:31:02.444946Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1308.4670","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-18T02:31:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2/vqNAzbxSQeoRIXU6ZxQvNycQwGyejZVSjOmtCV8ewke34NLUUqkQSLRRnk2n6SjLDBS+oR5Jn+k+g6w5JVCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T18:28:50.084231Z"},"content_sha256":"ad41cd55c1c3c2211495f22000b7b676a9a296dcf37485d6354710988147e83e","schema_version":"1.0","event_id":"sha256:ad41cd55c1c3c2211495f22000b7b676a9a296dcf37485d6354710988147e83e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:R7F2MOXMZAWJ2MRTD5LD3S7YSV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Facets for Art Gallery Problems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS","math.OC"],"primary_cat":"cs.CG","authors_text":"Alexander Kr\\\"oller, Christiane Schmidt, S\\'andor P. Fekete, Stephan Friedrichs","submitted_at":"2013-08-21T19:32:06Z","abstract_excerpt":"The Art Gallery Problem (AGP) asks for placing a minimum number of stationary guards in a polygonal region P, such that all points in P are guarded. The problem is known to be NP-hard, and its inherent continuous structure (with both the set of points that need to be guarded and the set of points that can be used for guarding being uncountably infinite) makes it difficult to apply a straightforward formulation as an Integer Linear Program. We use an iterative primal-dual relaxation approach for solving AGP instances to optimality. At each stage, a pair of LP relaxations for a finite candidate "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.4670","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-18T02:31:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dxs9ZKamo+5A+dVxEab7YjNCApzVCbPFTSN7rlRBzE28Lwq6XLaeXZE8pdPdu+e7g0rKXL1nXx+9maWxATW6Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T18:28:50.084659Z"},"content_sha256":"0837ba9dbb872b1c45e3ea2ef7f6f010e16ea3dbd53280dff8e26f67d9667626","schema_version":"1.0","event_id":"sha256:0837ba9dbb872b1c45e3ea2ef7f6f010e16ea3dbd53280dff8e26f67d9667626"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/R7F2MOXMZAWJ2MRTD5LD3S7YSV/bundle.json","state_url":"https://pith.science/pith/R7F2MOXMZAWJ2MRTD5LD3S7YSV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/R7F2MOXMZAWJ2MRTD5LD3S7YSV/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-27T18:28:50Z","links":{"resolver":"https://pith.science/pith/R7F2MOXMZAWJ2MRTD5LD3S7YSV","bundle":"https://pith.science/pith/R7F2MOXMZAWJ2MRTD5LD3S7YSV/bundle.json","state":"https://pith.science/pith/R7F2MOXMZAWJ2MRTD5LD3S7YSV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/R7F2MOXMZAWJ2MRTD5LD3S7YSV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:R7F2MOXMZAWJ2MRTD5LD3S7YSV","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":"8d0885456f1981108752417390ac33eacfecb612c8d0747172a614e650d6829f","cross_cats_sorted":["cs.DS","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2013-08-21T19:32:06Z","title_canon_sha256":"00240d52e8e7bcd9cb70bd318dd2bbea64f65c788d1a7a0b019f1452f56e2055"},"schema_version":"1.0","source":{"id":"1308.4670","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1308.4670","created_at":"2026-05-18T02:31:02Z"},{"alias_kind":"arxiv_version","alias_value":"1308.4670v2","created_at":"2026-05-18T02:31:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1308.4670","created_at":"2026-05-18T02:31:02Z"},{"alias_kind":"pith_short_12","alias_value":"R7F2MOXMZAWJ","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_16","alias_value":"R7F2MOXMZAWJ2MRT","created_at":"2026-05-18T12:27:57Z"},{"alias_kind":"pith_short_8","alias_value":"R7F2MOXM","created_at":"2026-05-18T12:27:57Z"}],"graph_snapshots":[{"event_id":"sha256:0837ba9dbb872b1c45e3ea2ef7f6f010e16ea3dbd53280dff8e26f67d9667626","target":"graph","created_at":"2026-05-18T02:31:02Z","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 Art Gallery Problem (AGP) asks for placing a minimum number of stationary guards in a polygonal region P, such that all points in P are guarded. The problem is known to be NP-hard, and its inherent continuous structure (with both the set of points that need to be guarded and the set of points that can be used for guarding being uncountably infinite) makes it difficult to apply a straightforward formulation as an Integer Linear Program. We use an iterative primal-dual relaxation approach for solving AGP instances to optimality. At each stage, a pair of LP relaxations for a finite candidate ","authors_text":"Alexander Kr\\\"oller, Christiane Schmidt, S\\'andor P. Fekete, Stephan Friedrichs","cross_cats":["cs.DS","math.OC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2013-08-21T19:32:06Z","title":"Facets for Art Gallery Problems"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1308.4670","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:ad41cd55c1c3c2211495f22000b7b676a9a296dcf37485d6354710988147e83e","target":"record","created_at":"2026-05-18T02:31:02Z","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":"8d0885456f1981108752417390ac33eacfecb612c8d0747172a614e650d6829f","cross_cats_sorted":["cs.DS","math.OC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2013-08-21T19:32:06Z","title_canon_sha256":"00240d52e8e7bcd9cb70bd318dd2bbea64f65c788d1a7a0b019f1452f56e2055"},"schema_version":"1.0","source":{"id":"1308.4670","kind":"arxiv","version":2}},"canonical_sha256":"8fcba63aecc82c9d32331f563dcbf89579e3e1ed202cdc854fa0399df26dfb23","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8fcba63aecc82c9d32331f563dcbf89579e3e1ed202cdc854fa0399df26dfb23","first_computed_at":"2026-05-18T02:31:02.444946Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:31:02.444946Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"owEZ+wguQl9FTDSPZUFYFEeFADnzjfGKXzyF/af1psJvRe09vEvqVtXcegxi7DGC25vRngktLyCuFfdaRTIeAA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:31:02.445389Z","signed_message":"canonical_sha256_bytes"},"source_id":"1308.4670","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ad41cd55c1c3c2211495f22000b7b676a9a296dcf37485d6354710988147e83e","sha256:0837ba9dbb872b1c45e3ea2ef7f6f010e16ea3dbd53280dff8e26f67d9667626"],"state_sha256":"4d874a217ef2eb2b8cae71c595ad26b8973312aad23810c6f34c94171fc41c54"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FhUMx+e9Y2VPABFv5PeWRYLWCqoCSFFXdIoOdCUPzymBAw7Z//NqwF/grxfvK7YgjThJdunRurKlnf76NEJ1AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T18:28:50.088018Z","bundle_sha256":"612732537b57cd043e8b7b59fd3ff70cd24de2b2688421e4a5401abead86cc7f"}}