{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:7IJ2DC6ECHPGBBTNGT2A7TAOGF","short_pith_number":"pith:7IJ2DC6E","schema_version":"1.0","canonical_sha256":"fa13a18bc411de60866d34f40fcc0e314a2fe3567c94eb555ea62f059444a720","source":{"kind":"arxiv","id":"1312.1038","version":3},"attestation_state":"computed","paper":{"title":"Efficient Multi-Robot Motion Planning for Unlabeled Discs in Simple Polygons","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"cs.CG","authors_text":"Aviv Adler, Dan Halperin, Kiril Solovey, Mark de Berg","submitted_at":"2013-12-04T06:25:24Z","abstract_excerpt":"We consider the following motion-planning problem: we are given $m$ unit discs in a simple polygon with $n$ vertices, each at their own start position, and we want to move the discs to a given set of $m$ target positions. Contrary to the standard (labeled) version of the problem, each disc is allowed to be moved to any target position, as long as in the end every target position is occupied. We show that this unlabeled version of the problem can be solved in $O(n\\log n+mn+m^2)$ time, assuming that the start and target positions are at least some minimal distance from each other. This is in sha"},"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":"1312.1038","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.CG","submitted_at":"2013-12-04T06:25:24Z","cross_cats_sorted":["cs.RO"],"title_canon_sha256":"9f20f44586901b0e2f1f745b4992b4791ebbbbffcfffa1787efd3ab08d209d1f","abstract_canon_sha256":"21c300b517315e0e6148cfb464ca4a102fd1de4fb293c22b58ebb606df966332"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:28:48.099130Z","signature_b64":"x7Qqp4CJjEaS6UAjtDiuentt4DkbkvZNCT3h0zlINJdTKQo6v0IOMjzMDBShg3UfJdB/q9ebDw9v9DPwBfOjCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fa13a18bc411de60866d34f40fcc0e314a2fe3567c94eb555ea62f059444a720","last_reissued_at":"2026-05-18T02:28:48.098706Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:28:48.098706Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Efficient Multi-Robot Motion Planning for Unlabeled Discs in Simple Polygons","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.RO"],"primary_cat":"cs.CG","authors_text":"Aviv Adler, Dan Halperin, Kiril Solovey, Mark de Berg","submitted_at":"2013-12-04T06:25:24Z","abstract_excerpt":"We consider the following motion-planning problem: we are given $m$ unit discs in a simple polygon with $n$ vertices, each at their own start position, and we want to move the discs to a given set of $m$ target positions. Contrary to the standard (labeled) version of the problem, each disc is allowed to be moved to any target position, as long as in the end every target position is occupied. We show that this unlabeled version of the problem can be solved in $O(n\\log n+mn+m^2)$ time, assuming that the start and target positions are at least some minimal distance from each other. This is in sha"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1312.1038","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":"1312.1038","created_at":"2026-05-18T02:28:48.098772+00:00"},{"alias_kind":"arxiv_version","alias_value":"1312.1038v3","created_at":"2026-05-18T02:28:48.098772+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1312.1038","created_at":"2026-05-18T02:28:48.098772+00:00"},{"alias_kind":"pith_short_12","alias_value":"7IJ2DC6ECHPG","created_at":"2026-05-18T12:27:36.564083+00:00"},{"alias_kind":"pith_short_16","alias_value":"7IJ2DC6ECHPGBBTN","created_at":"2026-05-18T12:27:36.564083+00:00"},{"alias_kind":"pith_short_8","alias_value":"7IJ2DC6E","created_at":"2026-05-18T12:27:36.564083+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/7IJ2DC6ECHPGBBTNGT2A7TAOGF","json":"https://pith.science/pith/7IJ2DC6ECHPGBBTNGT2A7TAOGF.json","graph_json":"https://pith.science/api/pith-number/7IJ2DC6ECHPGBBTNGT2A7TAOGF/graph.json","events_json":"https://pith.science/api/pith-number/7IJ2DC6ECHPGBBTNGT2A7TAOGF/events.json","paper":"https://pith.science/paper/7IJ2DC6E"},"agent_actions":{"view_html":"https://pith.science/pith/7IJ2DC6ECHPGBBTNGT2A7TAOGF","download_json":"https://pith.science/pith/7IJ2DC6ECHPGBBTNGT2A7TAOGF.json","view_paper":"https://pith.science/paper/7IJ2DC6E","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1312.1038&json=true","fetch_graph":"https://pith.science/api/pith-number/7IJ2DC6ECHPGBBTNGT2A7TAOGF/graph.json","fetch_events":"https://pith.science/api/pith-number/7IJ2DC6ECHPGBBTNGT2A7TAOGF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/7IJ2DC6ECHPGBBTNGT2A7TAOGF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/7IJ2DC6ECHPGBBTNGT2A7TAOGF/action/storage_attestation","attest_author":"https://pith.science/pith/7IJ2DC6ECHPGBBTNGT2A7TAOGF/action/author_attestation","sign_citation":"https://pith.science/pith/7IJ2DC6ECHPGBBTNGT2A7TAOGF/action/citation_signature","submit_replication":"https://pith.science/pith/7IJ2DC6ECHPGBBTNGT2A7TAOGF/action/replication_record"}},"created_at":"2026-05-18T02:28:48.098772+00:00","updated_at":"2026-05-18T02:28:48.098772+00:00"}