{ "access": { "embargo": { "active": false, "reason": null }, "files": "public", "record": "public", "status": "open" }, "created": "2019-03-15T04:02:23.522556+00:00", "custom_fields": {}, "deletion_status": { "is_deleted": false, "status": "P" }, "files": { "count": 1, "enabled": true, "entries": { "onpversusnp.pdf": { "checksum": "md5:162ecaaca5bc600feca0cdcc295b4559", "ext": "pdf", "id": "4ed0cd3f-0ff5-4898-95c9-66d558a124ce", "key": "onpversusnp.pdf", "metadata": null, "mimetype": "application/pdf", "size": 198177 } }, "order": [], "total_bytes": 198177 }, "id": "2594093", "is_draft": false, "is_published": true, "links": { "access": "https://zenodo.org/api/records/2594093/access", "access_links": "https://zenodo.org/api/records/2594093/access/links", "access_request": "https://zenodo.org/api/records/2594093/access/request", "access_users": "https://zenodo.org/api/records/2594093/access/users", "archive": "https://zenodo.org/api/records/2594093/files-archive", "archive_media": "https://zenodo.org/api/records/2594093/media-files-archive", "communities": "https://zenodo.org/api/records/2594093/communities", "communities-suggestions": "https://zenodo.org/api/records/2594093/communities-suggestions", "doi": "https://doi.org/10.5281/zenodo.2594093", "draft": "https://zenodo.org/api/records/2594093/draft", "files": "https://zenodo.org/api/records/2594093/files", "latest": "https://zenodo.org/api/records/2594093/versions/latest", "latest_html": "https://zenodo.org/records/2594093/latest", "media_files": "https://zenodo.org/api/records/2594093/media-files", "parent": "https://zenodo.org/api/records/2588891", "parent_doi": "https://zenodo.org/doi/10.5281/zenodo.2588891", "parent_html": "https://zenodo.org/records/2588891", "requests": "https://zenodo.org/api/records/2594093/requests", "reserve_doi": "https://zenodo.org/api/records/2594093/draft/pids/doi", "self": "https://zenodo.org/api/records/2594093", "self_doi": "https://zenodo.org/doi/10.5281/zenodo.2594093", "self_html": "https://zenodo.org/records/2594093", "self_iiif_manifest": "https://zenodo.org/api/iiif/record:2594093/manifest", "self_iiif_sequence": "https://zenodo.org/api/iiif/record:2594093/sequence/default", "versions": "https://zenodo.org/api/records/2594093/versions" }, "media_files": { "count": 0, "enabled": false, "entries": {}, "order": [], "total_bytes": 0 }, "metadata": { "additional_descriptions": [ { "description": "Archived previous version in https://hal.archives-ouvertes.fr/hal-01509423", "type": { "id": "notes", "title": { "de": "Anmerkungen", "en": "Notes" } } } ], "creators": [ { "affiliations": [ { "name": "Joysonic" } ], "person_or_org": { "family_name": "Frank Vega", "identifiers": [ { "identifier": "0000-0001-8210-4126", "scheme": "orcid" } ], "name": "Frank Vega", "type": "personal" } } ], "description": "
P versus NP is considered as one of the great open problems of science. This consists in knowing the answer of the following question: Is P equal to NP? This problem was first mentioned in a letter written by John Nash to the National Security Agency in 1955. However, a precise statement of the P versus NP problem was introduced independently by Stephen Cook and Leonid Levin. Since that date, all efforts to find a proof for this huge problem have failed. Another major complexity class is coNP. Whether NP = coNP is another fundamental question that it is as important as it is unresolved. To attack the P versus NP problem, the concept of coNP-completeness is very useful. We prove there is a problem in coNP-complete that is not in P. In this way, we show that P is not equal to coNP. Since P = NP implies P = coNP, then we also demonstrate that P is not equal to NP.
", "publication_date": "2019-03-15", "publisher": "Zenodo", "resource_type": { "id": "publication-preprint", "title": { "de": "Preprint", "en": "Preprint" } }, "rights": [ { "description": { "en": "The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited." }, "icon": "cc-by-icon", "id": "cc-by-4.0", "props": { "scheme": "spdx", "url": "https://creativecommons.org/licenses/by/4.0/legalcode" }, "title": { "en": "Creative Commons Attribution 4.0 International" } } ], "subjects": [ { "subject": "P" }, { "subject": "NP" }, { "subject": "coNP" }, { "subject": "coNP-complete" }, { "subject": "Minimum" }, { "subject": "Boolean circuit" } ], "title": "On P versus NP" }, "parent": { "access": { "owned_by": { "user": 45971 } }, "communities": {}, "id": "2588891", "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.2588891", "provider": "datacite" } } }, "pids": { "doi": { "client": "datacite", "identifier": "10.5281/zenodo.2594093", "provider": "datacite" }, "oai": { "identifier": "oai:zenodo.org:2594093", "provider": "oai" } }, "revision_id": 13, "stats": { "all_versions": { "data_volume": 152500344.0, "downloads": 806, "unique_downloads": 745, "unique_views": 1908, "views": 2159 }, "this_version": { "data_volume": 9710673.0, "downloads": 49, "unique_downloads": 47, "unique_views": 100, "views": 107 } }, "status": "published", "updated": "2020-01-20T17:22:51.944939+00:00", "versions": { "index": 5, "is_latest": false } }