SoS Certification for Symmetric Quadratic Functions and Its Connection to Constrained Boolean Hypercube Optimization

Συγγραφείς: Adam Kurpisz, Aaron Potechin, Elias Wirth

Συνεισφορές: Adam Kurpisz and Aaron Potechin and Elias Samuel Wirth, Bansal, Nikhil, Merelli, Emanuela, Worrell, James

Πηγή: Leibniz International Proceedings in Informatics (LIPIcs), 198
48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)

Θεματικοί όροι: FOS: Computer and information sciences, Semidefinite Programming, symmetric quadratic functions, 0211 other engineering and technologies, SoS certificate, Symmetric quadratic functions, 0102 computer and information sciences, 02 engineering and technology, Hypercube optimization, semidefinite programming, Computational Complexity (cs.CC), 01 natural sciences, Computer Science - Computational Complexity, hypercube optimization, Computer Science - Data Structures and Algorithms, Data Structures and Algorithms (cs.DS)

Περιγραφή αρχείου: application/pdf; application/application/pdf

Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2107.04100
https://arxiv.org/abs/2107.04100
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.90
http://hdl.handle.net/20.500.11850/507054

Optimization Search Using Hypercubes

Συγγραφείς: Abiyev, Rahib H., Tunay, Mustafa

Πηγή: 2020 4th International Symposium on Multidisciplinary Studies and Innovative Technologies (ISMSIT) Multidisciplinary Studies and Innovative Technologies (ISMSIT), 2020 4th International Symposium on. :1-8 Oct, 2020

Relation: 2020 4th International Symposium on Multidisciplinary Studies and Innovative Technologies (ISMSIT)

Optimization Over the Boolean Hypercube Via Sums of Nonnegative Circuit Polynomials: Optimization over the Boolean hypercube via sums of nonnegative circuit polynomials

Συγγραφείς: Mareike Dressler, Adam Kurpisz, Timo de Wolff

Συνεισφορές: Mareike Dressler and Adam Kurpisz and Timo de Wolff, Potapov, Igor, Spirakis, Paul, Worrell, James

Πηγή: Leibniz International Proceedings in Informatics (LIPIcs), 117
43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)
Foundations of Computational Mathematics, 22 (2)

Θεματικοί όροι: FOS: Computer and information sciences, 90C09, Analysis of algorithms and problem complexity, G.1.6, Sum of nonnegative circuit polynomials, Nonnegativity, nonnegativity, 0102 computer and information sciences, Computational Complexity (cs.CC), 01 natural sciences, Sum of squares Mathematics Subject Classification 14P10, Mathematics - Algebraic Geometry, sum of nonnegative circuit polynomials, Computer Science - Data Structures and Algorithms, FOS: Mathematics, Data Structures and Algorithms (cs.DS), Hypercube optimization, sum of squares, 0101 mathematics, Semialgebraic sets and related spaces, Mathematics - Optimization and Control, Algebraic Geometry (math.AG), Polynomial optimization, 14P10, 68Q25, 90C09, Networks and circuits as models of computation, circuit complexity, nonnegativity certificate, sums of nonnegative circuit polynomials, 68Q25, Certificate, Sum of squares, 16. Peace & justice, sums of squares, Computer Science - Computational Complexity, hypercube optimization, Optimization and Control (math.OC), relative entropy programming, Boolean programming, certificate

Περιγραφή αρχείου: application/xml; application/pdf; application/application/pdf

Σύνδεσμος πρόσβασης: https://link.springer.com/content/pdf/10.1007/s10208-021-09496-x.pdf
http://arxiv.org/abs/1802.10004
https://zbmath.org/7533992
https://doi.org/10.1007/s10208-021-09496-x
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2018.82
http://hdl.handle.net/20.500.11850/295617
http://hdl.handle.net/20.500.11850/495053

SoS Certification for Symmetric Quadratic Functions and Its Connection to Constrained Boolean Hypercube Optimization

Συγγραφείς: Kurpisz, Adam, Potechin, Aaron, Wirth, Elias Samuel

Συνεισφορές: Adam Kurpisz and Aaron Potechin and Elias Samuel Wirth

Θεματικοί όροι: symmetric quadratic functions, SoS certificate, hypercube optimization, semidefinite programming

Περιγραφή αρχείου: application/pdf

Relation: Is Part Of LIPIcs, Volume 198, 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.90

Διαθεσιμότητα: https://doi.org/10.4230/LIPIcs.ICALP.2021.90
https://nbn-resolving.org/urn:nbn:de:0030-drops-141595
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2021.90

A novel hybrid metaheuristic optimization method: hypercube natural aggregation algorithm

Συγγραφείς: Maciel, Oscar^Aff1, Valdivia, Arturo^Aff1, Oliva, Diego^{Aff1, IDs00500019044162_cor3}, Cuevas, Erik^Aff1, Zaldívar, Daniel^Aff1, Pérez-Cisneros, Marco^Aff1

Πηγή: Soft Computing: A Fusion of Foundations, Methodologies and Applications. 24(12):8823-8856

Sum-Of-Squares Bounds via Boolean Function Analysis

Συγγραφείς: Adam Kurpisz

Συνεισφορές: Adam Kurpisz, Baier, Christel, Chatzigiannakis, Ioannis, Flocchini, Paola, Leonardi, Stefano

Πηγή: Leibniz International Proceedings in Informatics (LIPIcs), 132
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP 2019)

Θεματικοί όροι: hypercube optimization, 0211 other engineering and technologies, SoS certificate, Semidefinite programming, SoS rank, Hypercube optimization, 0102 computer and information sciences, 02 engineering and technology, semidefinite programming, 01 natural sciences

Περιγραφή αρχείου: application/pdf; application/application/pdf

Σύνδεσμος πρόσβασης: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2019.79
http://hdl.handle.net/20.500.11850/355047

Optimization over the Boolean Hypercube via Sums of Nonnegative Circuit Polynomials

Συγγραφείς: Dressler, Mareike, Kurpisz, Adam, de Wolff, Timo

Συνεισφορές: Mareike Dressler and Adam Kurpisz and Timo de Wolff

Θεματικοί όροι: nonnegativity certificate, hypercube optimization, sums of nonnegative circuit polynomials, relative entropy programming, sums of squares

Περιγραφή αρχείου: application/pdf

Relation: Is Part Of LIPIcs, Volume 117, 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2018.82

Διαθεσιμότητα: https://doi.org/10.4230/LIPIcs.MFCS.2018.82
https://nbn-resolving.org/urn:nbn:de:0030-drops-96643
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2018.82

Optimization over the Boolean Hypercube via Sums of Nonnegative Circuit Polynomials

Συγγραφείς: Mareike Dressler and Adam Kurpisz and Timo de Wolff, Dressler, Mareike, Kurpisz, Adam, de Wolff, Timo

Όροι ευρετηρίου: nonnegativity certificate, hypercube optimization, sums of nonnegative circuit polynomials, relative entropy programming, sums of squares, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

Σύνδεσμος: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2018.82
Is Part Of LIPIcs, Volume 117, 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)