{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:K7YQQSZLSRJLBX35QKKJM43BKP","short_pith_number":"pith:K7YQQSZL","canonical_record":{"source":{"id":"1610.09806","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-10-31T07:09:34Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"a6462584ee2ad77720d7dcbb9871c4a5be73ba62269b3459adc8cda14e368f1a","abstract_canon_sha256":"9d96f30d835f8a894dd23399768582698638d16ad6afbce0cbf6fe1fa4bc1e48"},"schema_version":"1.0"},"canonical_sha256":"57f1084b2b9452b0df7d829496736153f763cd465b96598587c97db1e6fae95f","source":{"kind":"arxiv","id":"1610.09806","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.09806","created_at":"2026-05-18T00:44:33Z"},{"alias_kind":"arxiv_version","alias_value":"1610.09806v2","created_at":"2026-05-18T00:44:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.09806","created_at":"2026-05-18T00:44:33Z"},{"alias_kind":"pith_short_12","alias_value":"K7YQQSZLSRJL","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"K7YQQSZLSRJLBX35","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"K7YQQSZL","created_at":"2026-05-18T12:30:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:K7YQQSZLSRJLBX35QKKJM43BKP","target":"record","payload":{"canonical_record":{"source":{"id":"1610.09806","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-10-31T07:09:34Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"a6462584ee2ad77720d7dcbb9871c4a5be73ba62269b3459adc8cda14e368f1a","abstract_canon_sha256":"9d96f30d835f8a894dd23399768582698638d16ad6afbce0cbf6fe1fa4bc1e48"},"schema_version":"1.0"},"canonical_sha256":"57f1084b2b9452b0df7d829496736153f763cd465b96598587c97db1e6fae95f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:44:33.650395Z","signature_b64":"IsesLAqUvZ+TFJFSQmjK4fYBIzHRDbU9Eooo/Uuuy65H4a+X6MsCFPZhwW9xOOTCiBNrjBVGG7zgxkUATBwTCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"57f1084b2b9452b0df7d829496736153f763cd465b96598587c97db1e6fae95f","last_reissued_at":"2026-05-18T00:44:33.649905Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:44:33.649905Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1610.09806","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:44:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e1Y4WAP95JtpMc21mqk9TynJVyIsJOtJATvIDPXet1G0h911BhA94YRnl3i666rrJU4kuSV9/W2FJze/8IiZCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T02:23:44.606278Z"},"content_sha256":"549e4811013a6f5d3de0b8078762bc84d1a979b99253a69341137a5b3dcfd8f5","schema_version":"1.0","event_id":"sha256:549e4811013a6f5d3de0b8078762bc84d1a979b99253a69341137a5b3dcfd8f5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:K7YQQSZLSRJLBX35QKKJM43BKP","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The design of efficient algorithms for enumeration","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"math.CO","authors_text":"Andrew R. Conway","submitted_at":"2016-10-31T07:09:34Z","abstract_excerpt":"Many algorithms have been developed for enumerating various combinatorial objects in time exponentially less than the number of objects. Two common classes of algorithms are dynamic programming and the transfer matrix method. This paper covers the design and implementation of such algorithms.\n  A host of general techniques for improving efficiency are described. Three quite different example problems are used for examples: 1324 pattern avoiding permutations, three-dimensional polycubes, and two-dimensional directed animals.\n  For those new to the field, this paper is designed to be an introduc"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.09806","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:44:33Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g8J19w1CJUP3XxRwZRlJNc+mV4IJFY+liFEsoEcSR80HsvCNzs67/woS7WfJp34z14enXVlGagrhA6VFzhtmAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T02:23:44.606640Z"},"content_sha256":"e77c2d1c8d41b3d09cf1171643c5a4a6cd7384cd0b20367046d194099ac265c7","schema_version":"1.0","event_id":"sha256:e77c2d1c8d41b3d09cf1171643c5a4a6cd7384cd0b20367046d194099ac265c7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K7YQQSZLSRJLBX35QKKJM43BKP/bundle.json","state_url":"https://pith.science/pith/K7YQQSZLSRJLBX35QKKJM43BKP/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K7YQQSZLSRJLBX35QKKJM43BKP/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-24T02:23:44Z","links":{"resolver":"https://pith.science/pith/K7YQQSZLSRJLBX35QKKJM43BKP","bundle":"https://pith.science/pith/K7YQQSZLSRJLBX35QKKJM43BKP/bundle.json","state":"https://pith.science/pith/K7YQQSZLSRJLBX35QKKJM43BKP/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K7YQQSZLSRJLBX35QKKJM43BKP/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:K7YQQSZLSRJLBX35QKKJM43BKP","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":"9d96f30d835f8a894dd23399768582698638d16ad6afbce0cbf6fe1fa4bc1e48","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-10-31T07:09:34Z","title_canon_sha256":"a6462584ee2ad77720d7dcbb9871c4a5be73ba62269b3459adc8cda14e368f1a"},"schema_version":"1.0","source":{"id":"1610.09806","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.09806","created_at":"2026-05-18T00:44:33Z"},{"alias_kind":"arxiv_version","alias_value":"1610.09806v2","created_at":"2026-05-18T00:44:33Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.09806","created_at":"2026-05-18T00:44:33Z"},{"alias_kind":"pith_short_12","alias_value":"K7YQQSZLSRJL","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_16","alias_value":"K7YQQSZLSRJLBX35","created_at":"2026-05-18T12:30:25Z"},{"alias_kind":"pith_short_8","alias_value":"K7YQQSZL","created_at":"2026-05-18T12:30:25Z"}],"graph_snapshots":[{"event_id":"sha256:e77c2d1c8d41b3d09cf1171643c5a4a6cd7384cd0b20367046d194099ac265c7","target":"graph","created_at":"2026-05-18T00:44:33Z","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":"Many algorithms have been developed for enumerating various combinatorial objects in time exponentially less than the number of objects. Two common classes of algorithms are dynamic programming and the transfer matrix method. This paper covers the design and implementation of such algorithms.\n  A host of general techniques for improving efficiency are described. Three quite different example problems are used for examples: 1324 pattern avoiding permutations, three-dimensional polycubes, and two-dimensional directed animals.\n  For those new to the field, this paper is designed to be an introduc","authors_text":"Andrew R. Conway","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-10-31T07:09:34Z","title":"The design of efficient algorithms for enumeration"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.09806","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:549e4811013a6f5d3de0b8078762bc84d1a979b99253a69341137a5b3dcfd8f5","target":"record","created_at":"2026-05-18T00:44:33Z","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":"9d96f30d835f8a894dd23399768582698638d16ad6afbce0cbf6fe1fa4bc1e48","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2016-10-31T07:09:34Z","title_canon_sha256":"a6462584ee2ad77720d7dcbb9871c4a5be73ba62269b3459adc8cda14e368f1a"},"schema_version":"1.0","source":{"id":"1610.09806","kind":"arxiv","version":2}},"canonical_sha256":"57f1084b2b9452b0df7d829496736153f763cd465b96598587c97db1e6fae95f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"57f1084b2b9452b0df7d829496736153f763cd465b96598587c97db1e6fae95f","first_computed_at":"2026-05-18T00:44:33.649905Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:44:33.649905Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"IsesLAqUvZ+TFJFSQmjK4fYBIzHRDbU9Eooo/Uuuy65H4a+X6MsCFPZhwW9xOOTCiBNrjBVGG7zgxkUATBwTCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:44:33.650395Z","signed_message":"canonical_sha256_bytes"},"source_id":"1610.09806","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:549e4811013a6f5d3de0b8078762bc84d1a979b99253a69341137a5b3dcfd8f5","sha256:e77c2d1c8d41b3d09cf1171643c5a4a6cd7384cd0b20367046d194099ac265c7"],"state_sha256":"1eae2d04717347ba2d8e8ac1b61594f7cd5df75c5482ccf6d319c086bd143ad9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vXCg16/81Rg3+zhzH9wzbjhw12RTeHBInEc9TcKuf1B4McBK6LyWKCepfdZgJ1oY6k7OR4zvOSMnLaueC8ZNCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T02:23:44.608702Z","bundle_sha256":"35c114d9c487eff3836589d52c8f6a8c18d20d2d5bb797a20aac1510adea3e73"}}