Monomial size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus
In this paper we consider the relationship between monomial-size and bit-complexity in Sums-of-Squares (SOS) in Polynomial Calculus Resolution over rationals ({\text{PCR}}/\mathbb{Q}). We show that there is a set of polynomial constraints Q n over Boolean variables that has both SOS and {\text{PCR}}...
Uloženo v:
| Vydáno v: | Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science s. 1 - 7 |
|---|---|
| Hlavní autor: | |
| Médium: | Konferenční příspěvek |
| Jazyk: | angličtina |
| Vydáno: |
IEEE
29.06.2021
|
| Témata: | |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | In this paper we consider the relationship between monomial-size and bit-complexity in Sums-of-Squares (SOS) in Polynomial Calculus Resolution over rationals ({\text{PCR}}/\mathbb{Q}). We show that there is a set of polynomial constraints Q n over Boolean variables that has both SOS and {\text{PCR}}/\mathbb{Q} refutations of degree 2 and thus with only polynomially many monomials, but for which any SOS or {\text{PCR}}/\mathbb{Q} refutation must have exponential bit-complexity, when the rational coefficients are represented with their reduced fractions written in binary. |
|---|---|
| AbstractList | In this paper we consider the relationship between monomial-size and bit-complexity in Sums-of-Squares (SOS) in Polynomial Calculus Resolution over rationals ({\text{PCR}}/\mathbb{Q}). We show that there is a set of polynomial constraints Q n over Boolean variables that has both SOS and {\text{PCR}}/\mathbb{Q} refutations of degree 2 and thus with only polynomially many monomials, but for which any SOS or {\text{PCR}}/\mathbb{Q} refutation must have exponential bit-complexity, when the rational coefficients are represented with their reduced fractions written in binary. |
| Author | Hakoniemi, Tuomas |
| Author_xml | – sequence: 1 givenname: Tuomas surname: Hakoniemi fullname: Hakoniemi, Tuomas organization: Universitat Politècnica de Catalunya |
| BookMark | eNotj9tKxDAURSMoqGO_QJD8QGtOmqTJoxYvgxWF6vOQ5gKRtB2bVqxfr-A8bViwFuxzdDyMg0PoCkgBQNR1s61bTqlgBSUUCsUqwhk_QpmqJAjBGZOKi1OUpfRBCKGyAsLUGXp6HoexDzriFH4c_koFvg1zbsZ-H913mFccBtwufcpHn7efi55cwnqw-HWM68GsdTRLXNIFOvE6JpcddoPe7-_e6se8eXnY1jdNrqlUcw7UQOest5x3YKwCxb0vO6pNZa1UVSlAU9YxDlZ5Irgg4I3jUhJP_wgtN-jyvxucc7v9FHo9rbvD5fIXTs1PTA |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IH CBEJK RIE RIO |
| DOI | 10.1109/LICS52264.2021.9470545 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Proceedings Order Plan (POP) 1998-present by volume IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP) 1998-present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 9781665448956 1665448954 |
| EndPage | 7 |
| ExternalDocumentID | 9470545 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IH ACM ALMA_UNASSIGNED_HOLDINGS APO CBEJK GUFHI LHSKQ RIE RIO |
| ID | FETCH-LOGICAL-a289t-12c1bedfd55b1cd9195ff3b2ac7dd897361a24b451d9f065601fce5880f2d9f23 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 2 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000947350400019&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Wed Aug 27 02:26:37 EDT 2025 |
| IsPeerReviewed | false |
| IsScholarly | true |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a289t-12c1bedfd55b1cd9195ff3b2ac7dd897361a24b451d9f065601fce5880f2d9f23 |
| PageCount | 7 |
| ParticipantIDs | ieee_primary_9470545 |
| PublicationCentury | 2000 |
| PublicationDate | 2021-June-29 |
| PublicationDateYYYYMMDD | 2021-06-29 |
| PublicationDate_xml | – month: 06 year: 2021 text: 2021-June-29 day: 29 |
| PublicationDecade | 2020 |
| PublicationTitle | Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science |
| PublicationTitleAbbrev | LICS |
| PublicationYear | 2021 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| SSID | ssj0002871049 |
| Score | 2.2046702 |
| Snippet | In this paper we consider the relationship between monomial-size and bit-complexity in Sums-of-Squares (SOS) in Polynomial Calculus Resolution over rationals... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 1 |
| SubjectTerms | Calculus Computer science |
| Title | Monomial size vs. Bit-complexity in Sums-of-Squares and Polynomial Calculus |
| URI | https://ieeexplore.ieee.org/document/9470545 |
| WOSCitedRecordID | wos000947350400019&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3dS8MwED-24YNPUzfxmzz4aLYmbdrl1eFQnGMwhb2NNB9QmO1c26H-9SZdnQi--BYOjsAdx_1yd78cwDUxzMggDrAwTOHAGIYHmhsc2vQTq1hwySqi8DiaTAbzOZ824GbHhdFaV8NnuueOVS9fZbJ0pbI-DyKLMFgTmlEUbrlau3qKQ_4W7dYkYOLx_vhhOHPowlVOKOnVyr-2qFRJZNT-3_UH0P1h46HpLs8cQkOnR9D-XseA6ujswONTxTEWS5Qnnxpt8h66TQpcDY3rd4u2UZKiWfma48zg2VvpmEdIpApNs-VHrTkUS1cPzLvwMrp7Ht7jelcCFvbJVGBCJYm1MoqxmEjFCWfG-DEVMlJqwCM_JIJanzCiuPHcjzvESM1s9BpqJdQ_hlaapfoEkDKe8riMwsA1fkPDBfetQWngC5vcPXIKHWebxWr7HcaiNsvZ3-Jz2Hfmd9NVlF9Aq1iX-hL25KZI8vVV5cMvtI2djg |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3dS8MwEA9zCvo0dRO_zYOPZmvSpl1eHY6NdWOwCXsbaT6gMFtd26H-9SZdnQi--BYODsIdx_1yd78cAPdYUy28yENcU4k8rSnqKqaRb9JPJCPOBC2JwmEwmXQXCzatgYcdF0YpVQ6fqbY9lr18mYrClso6zAsMwqB7YJ96HnG2bK1dRcVif4N3KxowdlgnHPZmFl_Y2gnB7Ur91x6VMo30G_-7wDFo_fDx4HSXaU5ATSWnoPG9kAFW8dkEo3HJMuYrmMWfCm6yNnyMc1SOjat3g7dhnMBZ8ZKhVKPZW2G5R5AnEk7T1Uel2eMrWxHMWuC5_zTvDVC1LQFx82jKESYCR0pqSWmEhWSYUa3diHARSNllgetjToxXKJZMO_bPHayFoiZ-NTES4p6BepIm6hxAqR3pMBH4nm39-ppx5hqDEs_lJr07-AI0rW2Wr9sPMZaVWS7_Ft-Bw8F8HC7D4WR0BY6sK-ysFWHXoJ6vC3UDDsQmj7P1benPLxfCoNU |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+36th+Annual+ACM%2FIEEE+Symposium+on+Logic+in+Computer+Science&rft.atitle=Monomial+size+vs.+Bit-complexity+in+Sums-of-Squares+and+Polynomial+Calculus&rft.au=Hakoniemi%2C+Tuomas&rft.date=2021-06-29&rft.pub=IEEE&rft.spage=1&rft.epage=7&rft_id=info:doi/10.1109%2FLICS52264.2021.9470545&rft.externalDocID=9470545 |