{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:YNU6A3SDKBMZZXIQXU2YHC3ZMS","short_pith_number":"pith:YNU6A3SD","schema_version":"1.0","canonical_sha256":"c369e06e4350599cdd10bd35838b79648a9b02c10267f8add68977f2c80d061b","source":{"kind":"arxiv","id":"1507.05145","version":1},"attestation_state":"computed","paper":{"title":"Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"math.GR","authors_text":"Daniel K\\\"onig, Georg Zetzsche, Markus Lohrey","submitted_at":"2015-07-18T04:37:09Z","abstract_excerpt":"It is shown that the knapsack problem (introduced by Myasnikov, Nikolaev, and Ushakov) is undecidable in a direct product of sufficiently many copies of the discrete Heisenberg group (which is nilpotent of class 2). Moreover, for the discrete Heisenberg group itself, the knapsack problem is decidable. Hence, decidability of the knapsack problem is not preserved under direct products. It is also shown that for every co-context-free group, the knapsack problem is decidable. For the subset sum problem (also introduced by Myasnikov, Nikolaev, and Ushakov) we show that it belongs to the class NL (n"},"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":"1507.05145","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.GR","submitted_at":"2015-07-18T04:37:09Z","cross_cats_sorted":["cs.FL"],"title_canon_sha256":"40f2a7211d60774944f5cda08e64ec39aecbcea401b424e4513236b21302e2c9","abstract_canon_sha256":"7774d088ec0286d8325002d5ce2fa43abfaa543cad6ca00b8b44ad7e8cd025ec"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:36:41.335194Z","signature_b64":"RpqewCfmH1x/a/AybncUJwGUAj2ed82+3mqEYLVXOPNcDVXBqYeOpmwLAwp3PhapKGmh2+J6wIrhk+qy2dUBAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c369e06e4350599cdd10bd35838b79648a9b02c10267f8add68977f2c80d061b","last_reissued_at":"2026-05-18T01:36:41.334628Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:36:41.334628Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free groups","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.FL"],"primary_cat":"math.GR","authors_text":"Daniel K\\\"onig, Georg Zetzsche, Markus Lohrey","submitted_at":"2015-07-18T04:37:09Z","abstract_excerpt":"It is shown that the knapsack problem (introduced by Myasnikov, Nikolaev, and Ushakov) is undecidable in a direct product of sufficiently many copies of the discrete Heisenberg group (which is nilpotent of class 2). Moreover, for the discrete Heisenberg group itself, the knapsack problem is decidable. Hence, decidability of the knapsack problem is not preserved under direct products. It is also shown that for every co-context-free group, the knapsack problem is decidable. For the subset sum problem (also introduced by Myasnikov, Nikolaev, and Ushakov) we show that it belongs to the class NL (n"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.05145","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1507.05145","created_at":"2026-05-18T01:36:41.334705+00:00"},{"alias_kind":"arxiv_version","alias_value":"1507.05145v1","created_at":"2026-05-18T01:36:41.334705+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.05145","created_at":"2026-05-18T01:36:41.334705+00:00"},{"alias_kind":"pith_short_12","alias_value":"YNU6A3SDKBMZ","created_at":"2026-05-18T12:29:50.041715+00:00"},{"alias_kind":"pith_short_16","alias_value":"YNU6A3SDKBMZZXIQ","created_at":"2026-05-18T12:29:50.041715+00:00"},{"alias_kind":"pith_short_8","alias_value":"YNU6A3SD","created_at":"2026-05-18T12:29:50.041715+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/YNU6A3SDKBMZZXIQXU2YHC3ZMS","json":"https://pith.science/pith/YNU6A3SDKBMZZXIQXU2YHC3ZMS.json","graph_json":"https://pith.science/api/pith-number/YNU6A3SDKBMZZXIQXU2YHC3ZMS/graph.json","events_json":"https://pith.science/api/pith-number/YNU6A3SDKBMZZXIQXU2YHC3ZMS/events.json","paper":"https://pith.science/paper/YNU6A3SD"},"agent_actions":{"view_html":"https://pith.science/pith/YNU6A3SDKBMZZXIQXU2YHC3ZMS","download_json":"https://pith.science/pith/YNU6A3SDKBMZZXIQXU2YHC3ZMS.json","view_paper":"https://pith.science/paper/YNU6A3SD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1507.05145&json=true","fetch_graph":"https://pith.science/api/pith-number/YNU6A3SDKBMZZXIQXU2YHC3ZMS/graph.json","fetch_events":"https://pith.science/api/pith-number/YNU6A3SDKBMZZXIQXU2YHC3ZMS/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/YNU6A3SDKBMZZXIQXU2YHC3ZMS/action/timestamp_anchor","attest_storage":"https://pith.science/pith/YNU6A3SDKBMZZXIQXU2YHC3ZMS/action/storage_attestation","attest_author":"https://pith.science/pith/YNU6A3SDKBMZZXIQXU2YHC3ZMS/action/author_attestation","sign_citation":"https://pith.science/pith/YNU6A3SDKBMZZXIQXU2YHC3ZMS/action/citation_signature","submit_replication":"https://pith.science/pith/YNU6A3SDKBMZZXIQXU2YHC3ZMS/action/replication_record"}},"created_at":"2026-05-18T01:36:41.334705+00:00","updated_at":"2026-05-18T01:36:41.334705+00:00"}