{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:EMIR3A3HFAEUS2EOYZN6L7IFRP","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":"4faa641342a6af602ed8af45adee62a6f2cc14ef19c43d3848f250b8ef0e991d","cross_cats_sorted":["cs.CC","cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-04-17T23:07:08Z","title_canon_sha256":"eb041c4a2c4fb40824b952a553fe351017114ebbe26663db741f38e3130302d0"},"schema_version":"1.0","source":{"id":"1304.4986","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1304.4986","created_at":"2026-05-18T01:10:43Z"},{"alias_kind":"arxiv_version","alias_value":"1304.4986v3","created_at":"2026-05-18T01:10:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1304.4986","created_at":"2026-05-18T01:10:43Z"},{"alias_kind":"pith_short_12","alias_value":"EMIR3A3HFAEU","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_16","alias_value":"EMIR3A3HFAEUS2EO","created_at":"2026-05-18T12:27:43Z"},{"alias_kind":"pith_short_8","alias_value":"EMIR3A3H","created_at":"2026-05-18T12:27:43Z"}],"graph_snapshots":[{"event_id":"sha256:7d90524e6139c1bf42285c633b1fb6391c3279a26bd7b6f481bcc0934ecb0bb7","target":"graph","created_at":"2026-05-18T01:10:43Z","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 role of polymorphisms in determining the complexity of constraint satisfaction problems is well established.\n  In this context we study the stability of CSP complexity and polymorphism properties under some basic graph theoretic constructions. As applications we observe a collapse in the applicability of algorithms for CSPs over directed graphs with both a total source and a total sink: the corresponding CSP is solvable by the \"few subpowers algorithm\" if and only if it is solvable by a local consistency check algorithm. Moreover, we find that the property of \"strict width\" and solvability","authors_text":"Marcel Jackson, Todd Niven, Tomasz Kowalski","cross_cats":["cs.CC","cs.DM"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-04-17T23:07:08Z","title":"Complexity and polymorphisms for digraph constraint problems under some basic constructions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1304.4986","kind":"arxiv","version":3},"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:ba419a281ee56e17e7bbe881376f476fe2f30d521160d5b2d6f6e73c76bb582c","target":"record","created_at":"2026-05-18T01:10:43Z","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":"4faa641342a6af602ed8af45adee62a6f2cc14ef19c43d3848f250b8ef0e991d","cross_cats_sorted":["cs.CC","cs.DM"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2013-04-17T23:07:08Z","title_canon_sha256":"eb041c4a2c4fb40824b952a553fe351017114ebbe26663db741f38e3130302d0"},"schema_version":"1.0","source":{"id":"1304.4986","kind":"arxiv","version":3}},"canonical_sha256":"23111d8367280949688ec65be5fd058bc63b22cef55fe5558e5da35b99ec49dc","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"23111d8367280949688ec65be5fd058bc63b22cef55fe5558e5da35b99ec49dc","first_computed_at":"2026-05-18T01:10:43.291203Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:10:43.291203Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"OnlEosncCdEtteIdUMYQUX6cM3cFxvc3JuaQ7mQVsA9EaJ6d60SLqgNdW8q6oODtS2HyoazjsHIuD/1ZQPW9Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:10:43.291634Z","signed_message":"canonical_sha256_bytes"},"source_id":"1304.4986","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ba419a281ee56e17e7bbe881376f476fe2f30d521160d5b2d6f6e73c76bb582c","sha256:7d90524e6139c1bf42285c633b1fb6391c3279a26bd7b6f481bcc0934ecb0bb7"],"state_sha256":"2a818e92084503958b66f91252b1d23da83dffc9102cdcc212f9bcd07d47018f"}