Completely inapproximable monotone and antimonotone parameterized problems
We prove that weighted circuit satisfiability for monotone or antimonotone circuits has no fixed-parameter tractable approximation algorithm with any approximation ratio function ρ, unless FPT≠W[1]. In particular, not having such an fpt-approximation algorithm implies that these problems have no pol...
Saved in:
| Published in: | Journal of computer and system sciences Vol. 79; no. 1; pp. 144 - 151 |
|---|---|
| Main Author: | |
| Format: | Journal Article |
| Language: | English |
| Published: |
Elsevier Inc
01.02.2013
|
| Subjects: | |
| ISSN: | 0022-0000, 1090-2724 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | We prove that weighted circuit satisfiability for monotone or antimonotone circuits has no fixed-parameter tractable approximation algorithm with any approximation ratio function ρ, unless FPT≠W[1]. In particular, not having such an fpt-approximation algorithm implies that these problems have no polynomial-time approximation algorithms with ratio ρ(OPT) for any nontrivial function ρ.
► We show fpt-inapproximability results for natural problems. ► Results are under the standard complexity assumption that FPT is different from W[1]. ► Weighted Monotone Circuit Satisfiability has no fpt-approximation for any ratio. ► Weighted Antimonotone Circuit Satisfiability has no fpt-approximation for any ratio. |
|---|---|
| AbstractList | We prove that weighted circuit satisfiability for monotone or antimonotone circuits has no fixed-parameter tractable approximation algorithm with any approximation ratio function ρ, unless FPT≠W[1]. In particular, not having such an fpt-approximation algorithm implies that these problems have no polynomial-time approximation algorithms with ratio ρ(OPT) for any nontrivial function ρ.
► We show fpt-inapproximability results for natural problems. ► Results are under the standard complexity assumption that FPT is different from W[1]. ► Weighted Monotone Circuit Satisfiability has no fpt-approximation for any ratio. ► Weighted Antimonotone Circuit Satisfiability has no fpt-approximation for any ratio. We prove that weighted circuit satisfiability for monotone or antimonotone circuits has no fixed-parameter tractable approximation algorithm with any approximation ratio function I, unless FPT aNB W [ 1 ] . In particular, not having such an fpt-approximation algorithm implies that these problems have no polynomial-time approximation algorithms with ratio I (OPT) for any nontrivial function I. |
| Author | Marx, Dániel |
| Author_xml | – sequence: 1 givenname: Dániel surname: Marx fullname: Marx, Dániel email: dmarx@cs.bme.hu organization: Computer and Automation Research Institute, Hungarian Academy of Sciences (MTA SZTAKI), Budapest, Hungary |
| BookMark | eNp9kE1LxDAURYMoODP6B1x16aY1H23aghsZ_GTAja5Dkr5CSpvUJCOOv94MIy5czIPwINyTS84SnVpnAaErgguCCb8ZikGHUFBMaIHbAmNyghYEtzinNS1P0QJjSnOc5hwtQxhSgFScLdDL2k3zCBHGXWasnGfvvswk1QjZ5KyLqSaTtksnmr-LWXo5Jcabb-iyhKT4FC7QWS_HAJe_e4XeH-7f1k_55vXxeX23yTXjPOaEUigrrXTf1jVhqsas4o1SpJMtUCa15JI2UBOQTd8yxbpalarqcM81SE3ZCl0f3k3FH1sIUUwmaBhHacFtgyC0YbzCvGxStDlEtXcheOiFNlFG42z00oyCYLHXJwax1yf2-gRuRbKTUPoPnX0S43fHodsDBOn_nwa8CNqA1dAZDzqKzplj-A_L9o3j |
| CitedBy_id | crossref_primary_10_1145_3396573 crossref_primary_10_1137_18M1166869 crossref_primary_10_1016_j_comgeo_2024_102148 crossref_primary_10_1137_17M1127211 crossref_primary_10_3390_a13060146 crossref_primary_10_1007_s10878_017_0238_6 crossref_primary_10_1016_j_ic_2017_11_002 crossref_primary_10_1016_j_tcs_2021_07_032 |
| Cites_doi | 10.1007/BF01271272 10.1145/1993636.1993699 10.1137/06066850X 10.1145/1993636.1993698 10.1137/05064299X 10.1093/comjnl/bxm048 10.1145/210332.210337 10.1016/j.ipl.2008.09.017 10.1016/j.tcs.2008.09.065 10.1007/s00453-008-9223-x 10.1016/j.ipl.2009.07.016 10.1007/978-1-4612-0515-9 10.1007/978-3-540-73420-8_33 10.1109/CCC.2008.24 |
| ContentType | Journal Article |
| Copyright | 2012 Elsevier Inc. |
| Copyright_xml | – notice: 2012 Elsevier Inc. |
| DBID | 6I. AAFTH AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.1016/j.jcss.2012.09.001 |
| DatabaseName | ScienceDirect Open Access Titles Elsevier:ScienceDirect:Open Access CrossRef Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Computer and Information Systems Abstracts |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science |
| EISSN | 1090-2724 |
| EndPage | 151 |
| ExternalDocumentID | 10_1016_j_jcss_2012_09_001 S0022000012001365 |
| GrantInformation_xml | – fundername: European Research Council (ERC) grantid: 280152 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1OL 1~. 1~5 29K 4.4 457 4G. 5GY 5VS 6I. 6TJ 7-5 71M 8P~ 9JN AACTN AAEDT AAEDW AAFTH AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AAXUO AAYFN AAYJJ ABBOA ABEFU ABJNI ABMAC ABTAH ABVKL ABXDB ABYKQ ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADFGL ADMUD AEBSH AEKER AENEX AETEA AEXQZ AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD ASPBG AVWKF AXJTR AZFZN BKOJK BLXMC CAG COF CS3 D-I DM4 DU5 EBS EFBJH EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q G8K GBLVA GBOLZ HVGLF HZ~ IHE IXB J1W KOM LG5 LG9 LY7 M41 MO0 MVM N9A NCXOZ O-L O9- OAUVE OHT OK1 OZT P-8 P-9 P2P PC. Q38 R2- RIG RNS ROL RPZ SDF SDG SDP SES SEW SPC SPCBC SSV SSZ T5K TN5 TWZ UPT WH7 WUQ XJT XOL XPP YQT ZCG ZMT ZU3 ZY4 ~G- 9DU AATTM AAXKI AAYWO AAYXX ABDPE ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD 7SC 8FD JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c366t-122e45cbcf97713b703568bb1da9e23aca6a28e71ea8f93b3d7b4b5d0f6ceac23 |
| ISICitedReferencesCount | 15 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000311978600012&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0022-0000 |
| IngestDate | Mon Sep 29 03:58:55 EDT 2025 Sat Nov 29 04:16:27 EST 2025 Tue Nov 18 21:47:21 EST 2025 Fri Feb 23 02:19:40 EST 2024 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1 |
| Keywords | Circuit satisfiability Circuits Fixed-parameter tractability Inapproximability |
| Language | English |
| License | http://www.elsevier.com/open-access/userlicense/1.0 https://www.elsevier.com/tdm/userlicense/1.0 https://www.elsevier.com/open-access/userlicense/1.0 |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c366t-122e45cbcf97713b703568bb1da9e23aca6a28e71ea8f93b3d7b4b5d0f6ceac23 |
| Notes | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
| OpenAccessLink | https://dx.doi.org/10.1016/j.jcss.2012.09.001 |
| PQID | 1283650648 |
| PQPubID | 23500 |
| PageCount | 8 |
| ParticipantIDs | proquest_miscellaneous_1283650648 crossref_citationtrail_10_1016_j_jcss_2012_09_001 crossref_primary_10_1016_j_jcss_2012_09_001 elsevier_sciencedirect_doi_10_1016_j_jcss_2012_09_001 |
| PublicationCentury | 2000 |
| PublicationDate | 2013-02-01 |
| PublicationDateYYYYMMDD | 2013-02-01 |
| PublicationDate_xml | – month: 02 year: 2013 text: 2013-02-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationTitle | Journal of computer and system sciences |
| PublicationYear | 2013 |
| Publisher | Elsevier Inc |
| Publisher_xml | – name: Elsevier Inc |
| References | Gupta (br0140) 2003 Reed, Robertson, Seymour, Thomas (br0180) 1996; 16 Downey, Fellows, McCartin (br0060) 2006; vol. 4169 Downey, Fellows, McCartin, Rosamond (br0080) 2008; 109 Downey, Fellows (br0070) 1999 Alon, Yuster, Zwick (br0020) 1995; 42 N. Bousquet, J. Daligault, S. Thomassé, Multicut is FPT, in: Proceedings of the 43rd ACM Symposium on Theory of Computing, 2011, pp. 459–468. Chen, Grohe, Grüber (br0050) 2006; vol. 4169 Cai, Huang (br0040) 2010; 57 Marx, Razgon (br0160) 2009; 109 D. Marx, I. Razgon, Fixed-parameter tractability of multicut parameterized by the size of the cutset, in: Proceedings of the 43rd ACM Symposium on Theory of Computing, 2011, pp. 469–478. Feige, Hajiaghayi, Lee (br0100) 2008; 38 Flum, Grohe (br0120) 2006 K. Eickmeyer, M. Grohe, M. Grüber, Approximation of natural W[P]-complete minimisation problems is hard, in: IEEE Conference on Computational Complexity, 2008, pp. 8–18. M. Grohe, M. Grüber, Parameterized approximability of the disjoint cycle problem, in: ICALP, 2007, pp. 363–374. Fellows, Hermelin, Rosamond, Vialette (br0110) 2009; 410 Alekhnovich, Razborov (br0010) 2008; 38 Marx (br0150) 2008; 51 Fellows (10.1016/j.jcss.2012.09.001_br0110) 2009; 410 Marx (10.1016/j.jcss.2012.09.001_br0160) 2009; 109 Alekhnovich (10.1016/j.jcss.2012.09.001_br0010) 2008; 38 Downey (10.1016/j.jcss.2012.09.001_br0060) 2006; vol. 4169 10.1016/j.jcss.2012.09.001_br0130 Gupta (10.1016/j.jcss.2012.09.001_br0140) 2003 10.1016/j.jcss.2012.09.001_br0030 Marx (10.1016/j.jcss.2012.09.001_br0150) 2008; 51 Reed (10.1016/j.jcss.2012.09.001_br0180) 1996; 16 10.1016/j.jcss.2012.09.001_br0170 10.1016/j.jcss.2012.09.001_br0090 Downey (10.1016/j.jcss.2012.09.001_br0080) 2008; 109 Feige (10.1016/j.jcss.2012.09.001_br0100) 2008; 38 Alon (10.1016/j.jcss.2012.09.001_br0020) 1995; 42 Flum (10.1016/j.jcss.2012.09.001_br0120) 2006 Cai (10.1016/j.jcss.2012.09.001_br0040) 2010; 57 Chen (10.1016/j.jcss.2012.09.001_br0050) 2006; vol. 4169 Downey (10.1016/j.jcss.2012.09.001_br0070) 1999 |
| References_xml | – year: 1999 ident: br0070 article-title: Parameterized Complexity publication-title: Monogr. Comput. Sci. – start-page: 454 year: 2003 end-page: 455 ident: br0140 article-title: Improved results for directed multicut publication-title: Proceedings of the Fourteenth Annual ACM–SIAM Symposium on Discrete Algorithms – reference: D. Marx, I. Razgon, Fixed-parameter tractability of multicut parameterized by the size of the cutset, in: Proceedings of the 43rd ACM Symposium on Theory of Computing, 2011, pp. 469–478. – volume: 109 start-page: 68 year: 2008 end-page: 70 ident: br0080 article-title: Parameterized approximation of dominating set problems publication-title: Inform. Process. Lett. – reference: K. Eickmeyer, M. Grohe, M. Grüber, Approximation of natural W[P]-complete minimisation problems is hard, in: IEEE Conference on Computational Complexity, 2008, pp. 8–18. – year: 2006 ident: br0120 article-title: Parameterized Complexity Theory – volume: 38 start-page: 1347 year: 2008 end-page: 1363 ident: br0010 article-title: Resolution is not automatizable unless W[P] is tractable publication-title: SIAM J. Comput. – volume: 410 start-page: 53 year: 2009 end-page: 61 ident: br0110 article-title: On the parameterized complexity of multiple-interval graph problems publication-title: Theoret. Comput. Sci. – volume: 16 start-page: 535 year: 1996 end-page: 554 ident: br0180 article-title: Packing directed circuits publication-title: Combinatorica – volume: 51 start-page: 60 year: 2008 end-page: 78 ident: br0150 article-title: Parameterized complexity and approximation algorithms publication-title: Comput. J. – volume: 57 start-page: 398 year: 2010 end-page: 412 ident: br0040 article-title: Fixed-parameter approximation: Conceptual framework and approximability results publication-title: Algorithmica – volume: vol. 4169 start-page: 121 year: 2006 end-page: 129 ident: br0060 article-title: Parameterized approximation algorithms publication-title: Proceedings of the International Workshop on Parameterized and Exact Computation (IWPEC 2006) – volume: 109 start-page: 1161 year: 2009 end-page: 1166 ident: br0160 article-title: Constant ratio fixed-parameter approximation of the edge multicut problem publication-title: Inform. Process. Lett. – reference: M. Grohe, M. Grüber, Parameterized approximability of the disjoint cycle problem, in: ICALP, 2007, pp. 363–374. – reference: N. Bousquet, J. Daligault, S. Thomassé, Multicut is FPT, in: Proceedings of the 43rd ACM Symposium on Theory of Computing, 2011, pp. 459–468. – volume: vol. 4169 start-page: 109 year: 2006 end-page: 120 ident: br0050 article-title: On parameterized approximability publication-title: Proceedings of the International Workshop on Parameterized and Exact Computation (IWPEC 2006) – volume: 38 start-page: 629 year: 2008 end-page: 657 ident: br0100 article-title: Improved approximation algorithms for minimum weight vertex separators publication-title: SIAM J. Comput. – volume: 42 start-page: 844 year: 1995 end-page: 856 ident: br0020 article-title: Color-coding publication-title: J. Assoc. Comput. Mach. – volume: 16 start-page: 535 issue: 4 year: 1996 ident: 10.1016/j.jcss.2012.09.001_br0180 article-title: Packing directed circuits publication-title: Combinatorica doi: 10.1007/BF01271272 – ident: 10.1016/j.jcss.2012.09.001_br0170 doi: 10.1145/1993636.1993699 – volume: 38 start-page: 1347 issue: 4 year: 2008 ident: 10.1016/j.jcss.2012.09.001_br0010 article-title: Resolution is not automatizable unless W[P] is tractable publication-title: SIAM J. Comput. doi: 10.1137/06066850X – ident: 10.1016/j.jcss.2012.09.001_br0030 doi: 10.1145/1993636.1993698 – volume: 38 start-page: 629 issue: 2 year: 2008 ident: 10.1016/j.jcss.2012.09.001_br0100 article-title: Improved approximation algorithms for minimum weight vertex separators publication-title: SIAM J. Comput. doi: 10.1137/05064299X – volume: 51 start-page: 60 issue: 1 year: 2008 ident: 10.1016/j.jcss.2012.09.001_br0150 article-title: Parameterized complexity and approximation algorithms publication-title: Comput. J. doi: 10.1093/comjnl/bxm048 – volume: 42 start-page: 844 issue: 4 year: 1995 ident: 10.1016/j.jcss.2012.09.001_br0020 article-title: Color-coding publication-title: J. Assoc. Comput. Mach. doi: 10.1145/210332.210337 – volume: 109 start-page: 68 issue: 1 year: 2008 ident: 10.1016/j.jcss.2012.09.001_br0080 article-title: Parameterized approximation of dominating set problems publication-title: Inform. Process. Lett. doi: 10.1016/j.ipl.2008.09.017 – volume: 410 start-page: 53 issue: 1 year: 2009 ident: 10.1016/j.jcss.2012.09.001_br0110 article-title: On the parameterized complexity of multiple-interval graph problems publication-title: Theoret. Comput. Sci. doi: 10.1016/j.tcs.2008.09.065 – volume: 57 start-page: 398 issue: 2 year: 2010 ident: 10.1016/j.jcss.2012.09.001_br0040 article-title: Fixed-parameter approximation: Conceptual framework and approximability results publication-title: Algorithmica doi: 10.1007/s00453-008-9223-x – year: 2006 ident: 10.1016/j.jcss.2012.09.001_br0120 – volume: 109 start-page: 1161 issue: 20 year: 2009 ident: 10.1016/j.jcss.2012.09.001_br0160 article-title: Constant ratio fixed-parameter approximation of the edge multicut problem publication-title: Inform. Process. Lett. doi: 10.1016/j.ipl.2009.07.016 – year: 1999 ident: 10.1016/j.jcss.2012.09.001_br0070 article-title: Parameterized Complexity doi: 10.1007/978-1-4612-0515-9 – ident: 10.1016/j.jcss.2012.09.001_br0130 doi: 10.1007/978-3-540-73420-8_33 – start-page: 454 year: 2003 ident: 10.1016/j.jcss.2012.09.001_br0140 article-title: Improved results for directed multicut – volume: vol. 4169 start-page: 109 year: 2006 ident: 10.1016/j.jcss.2012.09.001_br0050 article-title: On parameterized approximability – volume: vol. 4169 start-page: 121 year: 2006 ident: 10.1016/j.jcss.2012.09.001_br0060 article-title: Parameterized approximation algorithms – ident: 10.1016/j.jcss.2012.09.001_br0090 doi: 10.1109/CCC.2008.24 |
| SSID | ssj0011563 |
| Score | 2.133533 |
| Snippet | We prove that weighted circuit satisfiability for monotone or antimonotone circuits has no fixed-parameter tractable approximation algorithm with any... |
| SourceID | proquest crossref elsevier |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 144 |
| SubjectTerms | Algorithms Approximation Circuit satisfiability Circuits Fixed-parameter tractability Inapproximability Mathematical analysis Mathematical models |
| Title | Completely inapproximable monotone and antimonotone parameterized problems |
| URI | https://dx.doi.org/10.1016/j.jcss.2012.09.001 https://www.proquest.com/docview/1283650648 |
| Volume | 79 |
| WOSCitedRecordID | wos000311978600012&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 | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1090-2724 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0011563 issn: 0022-0000 databaseCode: AIEXJ dateStart: 19950201 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3da9swEBdZuoftYR_dxtp94MHeioctWbb0WLaOrbAyWAd5M5IsQ0LqliQtYX997_ThxB0t22AvJpjIDrqf7n6R7n5HyHvDmBUyN6nWgGBgxOAHmVSp0trC4jO0aDLXbKI6ORGTifw-Gv2ItTBX86rrxHotL_6rqeEeGBtLZ__C3P1D4QZ8BqPDFcwO1z8yPK5wMIadY0WfkwxfT89cgRT8hHPU3g4CratpfwMFwM8wMWb6y6JugGsys7yFuJrQCMI9xitBH4RA2hP0b2rhotondxCfYxn79v4C9noY5Gr0hS-DvExXBICxzocR7zszmaW08iXR0bn6TjEDEHlPmXvZxxB0c686-5s_91sLsw8zs0Rtddy4dfqim-jV5xTisTN1hxXUCdHxe2SHVlyKMdk5_Ho0Oe4Pl-AvK4si8jgg1FL5tL-bb7qNr9yI3I6OnD4hj4I5kkNv_6dkZLtd8jj26EiCy94lD7cEJ5-R4w04kiE4koiFBKyabIMjGYAjieB4Tn5-Pjr9-CUN3TRSw8pyleaU2oIbbVqg_DnT4Op5KbTOGyUtZcqoUlFhq9wq0UqmWVPpQvMma0sD0ZmyF2TcwVtfkoRntgQa20jT6qKlUhXAg4G5Kiu41prvkTzOWW2C1Dx2PJnXMadwVuM81zjPdSYxsXKPHPRjLrzQyp3f5tEUdUC4p4A1IOfOce-i3Wrwo3g4pjp7frmsgacBZoCgi_1_fPYr8mCzfl6T8Wpxad-Q--ZqNV0u3gYQXgMiiZzk |
| linkProvider | Elsevier |
| 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%3Ajournal&rft.genre=article&rft.atitle=Completely+inapproximable+monotone+and+antimonotone+parameterized+problems&rft.jtitle=Journal+of+computer+and+system+sciences&rft.au=Marx%2C+D%C3%A1niel&rft.date=2013-02-01&rft.pub=Elsevier+Inc&rft.issn=0022-0000&rft.eissn=1090-2724&rft.volume=79&rft.issue=1&rft.spage=144&rft.epage=151&rft_id=info:doi/10.1016%2Fj.jcss.2012.09.001&rft.externalDocID=S0022000012001365 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0022-0000&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0022-0000&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0022-0000&client=summon |