{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:RRWVGTV6M4C53ZXZ2NMROTE5VI","short_pith_number":"pith:RRWVGTV6","schema_version":"1.0","canonical_sha256":"8c6d534ebe6705dde6f9d359174c9daa2cf262202a4834ab93ba077141f16742","source":{"kind":"arxiv","id":"1502.07467","version":3},"attestation_state":"computed","paper":{"title":"Reachability is in DynFO","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.DS"],"primary_cat":"cs.LO","authors_text":"Anish Mukherjee, Raghav Kulkarni, Samir Datta, Thomas Schwentick, Thomas Zeume","submitted_at":"2015-02-26T08:30:57Z","abstract_excerpt":"Patnaik and Immerman introduced the dynamic complexity class DynFO of database queries that can be maintained by first-order dynamic programs with the help of auxiliary relations under insertions and deletions of edges (Patnaik and Immerman 1997). This article confirms their conjecture that the Reachability query is in DynFO.\n  As a byproduct it is shown that the rank of a matrix with small values can be maintained in DynFO(+,x). It is further shown that the (size of the) maximum matching of a graph can be maintained in non-uniform DynFO, another extension of DynFO, with non-uniform initialisa"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1502.07467","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-02-26T08:30:57Z","cross_cats_sorted":["cs.CC","cs.DS"],"title_canon_sha256":"78320ffc502ad1ea68c503e5de706cef22b00c7804be7db66c47b51da65aea13","abstract_canon_sha256":"eaa156e3c57d4dd09e4c2ff7e2f7be6d242f6daf47dcb55aaaaa8f73e2bd743f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:46:59.920886Z","signature_b64":"lDmNL+y/El0zNLr1ogrG8PyuJPeVgnhrs4RDOj1oAspnMHoCMZSPIL6cbPmTLHR56g8z0dlXMe7+Jg8MT06sAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8c6d534ebe6705dde6f9d359174c9daa2cf262202a4834ab93ba077141f16742","last_reissued_at":"2026-05-18T00:46:59.920371Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:46:59.920371Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Reachability is in DynFO","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CC","cs.DS"],"primary_cat":"cs.LO","authors_text":"Anish Mukherjee, Raghav Kulkarni, Samir Datta, Thomas Schwentick, Thomas Zeume","submitted_at":"2015-02-26T08:30:57Z","abstract_excerpt":"Patnaik and Immerman introduced the dynamic complexity class DynFO of database queries that can be maintained by first-order dynamic programs with the help of auxiliary relations under insertions and deletions of edges (Patnaik and Immerman 1997). This article confirms their conjecture that the Reachability query is in DynFO.\n  As a byproduct it is shown that the rank of a matrix with small values can be maintained in DynFO(+,x). It is further shown that the (size of the) maximum matching of a graph can be maintained in non-uniform DynFO, another extension of DynFO, with non-uniform initialisa"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.07467","kind":"arxiv","version":3},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1502.07467","created_at":"2026-05-18T00:46:59.920437+00:00"},{"alias_kind":"arxiv_version","alias_value":"1502.07467v3","created_at":"2026-05-18T00:46:59.920437+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.07467","created_at":"2026-05-18T00:46:59.920437+00:00"},{"alias_kind":"pith_short_12","alias_value":"RRWVGTV6M4C5","created_at":"2026-05-18T12:29:39.896362+00:00"},{"alias_kind":"pith_short_16","alias_value":"RRWVGTV6M4C53ZXZ","created_at":"2026-05-18T12:29:39.896362+00:00"},{"alias_kind":"pith_short_8","alias_value":"RRWVGTV6","created_at":"2026-05-18T12:29:39.896362+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/RRWVGTV6M4C53ZXZ2NMROTE5VI","json":"https://pith.science/pith/RRWVGTV6M4C53ZXZ2NMROTE5VI.json","graph_json":"https://pith.science/api/pith-number/RRWVGTV6M4C53ZXZ2NMROTE5VI/graph.json","events_json":"https://pith.science/api/pith-number/RRWVGTV6M4C53ZXZ2NMROTE5VI/events.json","paper":"https://pith.science/paper/RRWVGTV6"},"agent_actions":{"view_html":"https://pith.science/pith/RRWVGTV6M4C53ZXZ2NMROTE5VI","download_json":"https://pith.science/pith/RRWVGTV6M4C53ZXZ2NMROTE5VI.json","view_paper":"https://pith.science/paper/RRWVGTV6","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1502.07467&json=true","fetch_graph":"https://pith.science/api/pith-number/RRWVGTV6M4C53ZXZ2NMROTE5VI/graph.json","fetch_events":"https://pith.science/api/pith-number/RRWVGTV6M4C53ZXZ2NMROTE5VI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/RRWVGTV6M4C53ZXZ2NMROTE5VI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/RRWVGTV6M4C53ZXZ2NMROTE5VI/action/storage_attestation","attest_author":"https://pith.science/pith/RRWVGTV6M4C53ZXZ2NMROTE5VI/action/author_attestation","sign_citation":"https://pith.science/pith/RRWVGTV6M4C53ZXZ2NMROTE5VI/action/citation_signature","submit_replication":"https://pith.science/pith/RRWVGTV6M4C53ZXZ2NMROTE5VI/action/replication_record"}},"created_at":"2026-05-18T00:46:59.920437+00:00","updated_at":"2026-05-18T00:46:59.920437+00:00"}