SAT Has No Wizards
An (encoded) decision problem is a pair (E, F) where E=words that encode instances of the problem, F=words to be accepted. We use "strings" in a technical sense. With an NP problem (E, F) we associate the "logogram" of F relative to E, which conveys structural information on E, F...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | |
| creator | Di Zenzo, Silvano |
| description | An (encoded) decision problem is a pair (E, F) where E=words that encode
instances of the problem, F=words to be accepted. We use "strings" in a
technical sense. With an NP problem (E, F) we associate the "logogram" of F
relative to E, which conveys structural information on E, F, and how F is
embedded in E. The kernel Ker(P) of a program P that solves (E, F) consists of
those strings in the logogram that are used by P. There are relations between
Ker(P) and the complexity of P. We develop an application to SAT that relies
upon a property of internal independence of SAT. We show that SAT cannot have
in its logogram strings serving as collective certificates. As consequence, all
programs that solve SAT have same kernel. |
| doi_str_mv | 10.48550/arxiv.0802.1790 |
| format | Article |
| fullrecord | <record><control><sourceid>arxiv_GOX</sourceid><recordid>TN_cdi_arxiv_primary_0802_1790</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>0802_1790</sourcerecordid><originalsourceid>FETCH-LOGICAL-a650-d9f7ddca470dbb4c19cf53af3148d0fa84cea5ab118bb0c6bae0d79349c2e6903</originalsourceid><addsrcrecordid>eNotzrEKwjAUQNEsDlJdnJykP9D60iRNMpaiVig6WHAsL0kDBUVJQdSvl6rT3S6HkCWFlCshYI3h2T9SUJClVGqYksWpaOIKh_hwi8_9G4MbZmTi8TJ0838j0mw3TVkl9XG3L4s6wVxA4rSXzlnkEpwx3FJtvWDoGeXKgUfFbYcCDaXKGLC5wQ6c1Ixrm3W5BhaR1W_7NbX30F8xvNrR1o429gFo8zJw</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>SAT Has No Wizards</title><source>arXiv.org</source><creator>Di Zenzo, Silvano</creator><creatorcontrib>Di Zenzo, Silvano</creatorcontrib><description>An (encoded) decision problem is a pair (E, F) where E=words that encode
instances of the problem, F=words to be accepted. We use "strings" in a
technical sense. With an NP problem (E, F) we associate the "logogram" of F
relative to E, which conveys structural information on E, F, and how F is
embedded in E. The kernel Ker(P) of a program P that solves (E, F) consists of
those strings in the logogram that are used by P. There are relations between
Ker(P) and the complexity of P. We develop an application to SAT that relies
upon a property of internal independence of SAT. We show that SAT cannot have
in its logogram strings serving as collective certificates. As consequence, all
programs that solve SAT have same kernel.</description><identifier>DOI: 10.48550/arxiv.0802.1790</identifier><language>eng</language><subject>Computer Science - Computational Complexity</subject><creationdate>2008-02</creationdate><rights>http://arxiv.org/licenses/nonexclusive-distrib/1.0</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>228,230,776,881</link.rule.ids><linktorsrc>$$Uhttps://arxiv.org/abs/0802.1790$$EView_record_in_Cornell_University$$FView_record_in_$$GCornell_University$$Hfree_for_read</linktorsrc><backlink>$$Uhttps://doi.org/10.48550/arXiv.0802.1790$$DView paper in arXiv$$Hfree_for_read</backlink></links><search><creatorcontrib>Di Zenzo, Silvano</creatorcontrib><title>SAT Has No Wizards</title><description>An (encoded) decision problem is a pair (E, F) where E=words that encode
instances of the problem, F=words to be accepted. We use "strings" in a
technical sense. With an NP problem (E, F) we associate the "logogram" of F
relative to E, which conveys structural information on E, F, and how F is
embedded in E. The kernel Ker(P) of a program P that solves (E, F) consists of
those strings in the logogram that are used by P. There are relations between
Ker(P) and the complexity of P. We develop an application to SAT that relies
upon a property of internal independence of SAT. We show that SAT cannot have
in its logogram strings serving as collective certificates. As consequence, all
programs that solve SAT have same kernel.</description><subject>Computer Science - Computational Complexity</subject><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2008</creationdate><recordtype>article</recordtype><sourceid>GOX</sourceid><recordid>eNotzrEKwjAUQNEsDlJdnJykP9D60iRNMpaiVig6WHAsL0kDBUVJQdSvl6rT3S6HkCWFlCshYI3h2T9SUJClVGqYksWpaOIKh_hwi8_9G4MbZmTi8TJ0838j0mw3TVkl9XG3L4s6wVxA4rSXzlnkEpwx3FJtvWDoGeXKgUfFbYcCDaXKGLC5wQ6c1Ixrm3W5BhaR1W_7NbX30F8xvNrR1o429gFo8zJw</recordid><startdate>20080213</startdate><enddate>20080213</enddate><creator>Di Zenzo, Silvano</creator><scope>AKY</scope><scope>GOX</scope></search><sort><creationdate>20080213</creationdate><title>SAT Has No Wizards</title><author>Di Zenzo, Silvano</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a650-d9f7ddca470dbb4c19cf53af3148d0fa84cea5ab118bb0c6bae0d79349c2e6903</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2008</creationdate><topic>Computer Science - Computational Complexity</topic><toplevel>online_resources</toplevel><creatorcontrib>Di Zenzo, Silvano</creatorcontrib><collection>arXiv Computer Science</collection><collection>arXiv.org</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Di Zenzo, Silvano</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>SAT Has No Wizards</atitle><date>2008-02-13</date><risdate>2008</risdate><abstract>An (encoded) decision problem is a pair (E, F) where E=words that encode
instances of the problem, F=words to be accepted. We use "strings" in a
technical sense. With an NP problem (E, F) we associate the "logogram" of F
relative to E, which conveys structural information on E, F, and how F is
embedded in E. The kernel Ker(P) of a program P that solves (E, F) consists of
those strings in the logogram that are used by P. There are relations between
Ker(P) and the complexity of P. We develop an application to SAT that relies
upon a property of internal independence of SAT. We show that SAT cannot have
in its logogram strings serving as collective certificates. As consequence, all
programs that solve SAT have same kernel.</abstract><doi>10.48550/arxiv.0802.1790</doi><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | DOI: 10.48550/arxiv.0802.1790 |
| ispartof | |
| issn | |
| language | eng |
| recordid | cdi_arxiv_primary_0802_1790 |
| source | arXiv.org |
| subjects | Computer Science - Computational Complexity |
| title | SAT Has No Wizards |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-21T17%3A57%3A34IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-arxiv_GOX&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=SAT%20Has%20No%20Wizards&rft.au=Di%20Zenzo,%20Silvano&rft.date=2008-02-13&rft_id=info:doi/10.48550/arxiv.0802.1790&rft_dat=%3Carxiv_GOX%3E0802_1790%3C/arxiv_GOX%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |