IDEAS home Printed from https://ideas.repec.org/a/spr/coopap/v57y2014i2p403-415.html
   My bibliography  Save this article

On the computational complexity of membership problems for the completely positive cone and its dual

Author

Listed:
  • Peter Dickinson
  • Luuk Gijben

Abstract

Copositive programming has become a useful tool in dealing with all sorts of optimisation problems. It has however been shown by Murty and Kabadi (Math. Program. 39(2):117–129, 1987 ) that the strong membership problem for the copositive cone, that is deciding whether or not a given matrix is in the copositive cone, is a co-NP-complete problem. From this it has long been assumed that this implies that the question of whether or not the strong membership problem for the dual of the copositive cone, the completely positive cone, is also an NP-hard problem. However, the technical details for this have not previously been looked at to confirm that this is true. In this paper it is proven that the strong membership problem for the completely positive cone is indeed NP-hard. Furthermore, it is shown that even the weak membership problems for both of these cones are NP-hard. We also present an alternative proof of the NP-hardness of the strong membership problem for the copositive cone. Copyright Springer Science+Business Media New York 2014

Suggested Citation

  • Peter Dickinson & Luuk Gijben, 2014. "On the computational complexity of membership problems for the completely positive cone and its dual," Computational Optimization and Applications, Springer, vol. 57(2), pages 403-415, March.
  • Handle: RePEc:spr:coopap:v:57:y:2014:i:2:p:403-415
    DOI: 10.1007/s10589-013-9594-z
    as

    Download full text from publisher

    File URL: http://hdl.handle.net/10.1007/s10589-013-9594-z
    Download Restriction: Access to full text is restricted to subscribers.

    File URL: https://libkey.io/10.1007/s10589-013-9594-z?utm_source=ideas
    LibKey link: if access is restricted and if your library uses this service, LibKey will redirect you to where you can use your library subscription to access this item
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    References listed on IDEAS

    as
    1. Bomze, Immanuel M., 2012. "Copositive optimization – Recent developments and applications," European Journal of Operational Research, Elsevier, vol. 216(3), pages 509-520.
    2. de Klerk, E., 2006. "The Complexity of Optimizing over a Simplex, Hypercube or Sphere : A Short Survey," Discussion Paper 2006-85, Tilburg University, Center for Economic Research.
    3. Etienne Klerk, 2008. "The complexity of optimizing over a simplex, hypercube or sphere: a short survey," Central European Journal of Operations Research, Springer;Slovak Society for Operations Research;Hungarian Operational Research Society;Czech Society for Operations Research;Österr. Gesellschaft für Operations Research (ÖGOR);Slovenian Society Informatika - Section for Operational Research;Croatian Operational Research Society, vol. 16(2), pages 111-125, June.
    4. Immanuel Bomze & Werner Schachinger & Gabriele Uchida, 2012. "Think co(mpletely)positive ! Matrix properties, examples and a clustered bibliography on copositive optimization," Journal of Global Optimization, Springer, vol. 52(3), pages 423-445, March.
    5. de Klerk, E., 2008. "The complexity of optimizing over a simplex, hypercube or sphere : A short survey," Other publications TiSEM 485b6860-cf1d-4cad-97b8-2, Tilburg University, School of Economics and Management.
    Full references (including those not matched with items on IDEAS)

    Citations

    Citations are extracted by the CitEc Project, subscribe to its RSS feed for this item.
    as


    Cited by:

    1. Badenbroek, Riley & de Klerk, Etienne, 2020. "An Analytic Center Cutting Plane Method to Determine Complete Positivity of a Matrix," Other publications TiSEM 876ff1ab-036c-4635-9688-1, Tilburg University, School of Economics and Management.
    2. Akihiro Tanaka & Akiko Yoshise, 2018. "LP-based tractable subcones of the semidefinite plus nonnegative cone," Annals of Operations Research, Springer, vol. 265(1), pages 155-182, June.
    3. Jinyan Fan & Anwa Zhou, 2017. "A semidefinite algorithm for completely positive tensor decomposition," Computational Optimization and Applications, Springer, vol. 66(2), pages 267-283, March.
    4. Chen Chen & Ting Kei Pong & Lulin Tan & Liaoyuan Zeng, 2020. "A difference-of-convex approach for split feasibility with applications to matrix factorizations and outlier detection," Journal of Global Optimization, Springer, vol. 78(1), pages 107-136, September.
    5. Rok Hribar & Timotej Hrga & Gregor Papa & Gašper Petelin & Janez Povh & Nataša Pržulj & Vida Vukašinović, 2022. "Four algorithms to solve symmetric multi-type non-negative matrix tri-factorization problem," Journal of Global Optimization, Springer, vol. 82(2), pages 283-312, February.
    6. Jinyan Fan & Jiawang Nie & Anwa Zhou, 2019. "Completely Positive Binary Tensors," Mathematics of Operations Research, INFORMS, vol. 44(3), pages 1087-1100, August.
    7. Qingxia Kong & Shan Li & Nan Liu & Chung-Piaw Teo & Zhenzhen Yan, 2020. "Appointment Scheduling Under Time-Dependent Patient No-Show Behavior," Management Science, INFORMS, vol. 66(8), pages 3480-3500, August.
    8. Anwa Zhou & Jinyan Fan, 2019. "A hierarchy of semidefinite relaxations for completely positive tensor optimization problems," Journal of Global Optimization, Springer, vol. 75(2), pages 417-437, October.
    9. Jacek Gondzio & E. Alper Yıldırım, 2021. "Global solutions of nonconvex standard quadratic programs via mixed integer linear programming reformulations," Journal of Global Optimization, Springer, vol. 81(2), pages 293-321, October.
    10. Bomze, Immanuel M. & Gabl, Markus, 2023. "Optimization under uncertainty and risk: Quadratic and copositive approaches," European Journal of Operational Research, Elsevier, vol. 310(2), pages 449-476.
    11. Haibin Chen & Zheng-Hai Huang & Liqun Qi, 2017. "Copositivity Detection of Tensors: Theory and Algorithm," Journal of Optimization Theory and Applications, Springer, vol. 174(3), pages 746-761, September.
    12. Badenbroek, Riley & de Klerk, Etienne, 2022. "An analytic center cutting plane method to determine complete positivity of a matrix," Other publications TiSEM 088da653-b943-4ed0-9720-6, Tilburg University, School of Economics and Management.
    13. Zhijian Lai & Akiko Yoshise, 2022. "Completely positive factorization by a Riemannian smoothing method," Computational Optimization and Applications, Springer, vol. 83(3), pages 933-966, December.
    14. Riley Badenbroek & Etienne de Klerk, 2022. "An Analytic Center Cutting Plane Method to Determine Complete Positivity of a Matrix," INFORMS Journal on Computing, INFORMS, vol. 34(2), pages 1115-1125, March.
    15. Haibin Chen & Zheng-Hai Huang & Liqun Qi, 2018. "Copositive tensor detection and its applications in physics and hypergraphs," Computational Optimization and Applications, Springer, vol. 69(1), pages 133-158, January.
    16. Paula Alexandra Amaral & Immanuel M. Bomze, 2019. "Nonconvex min–max fractional quadratic problems under quadratic constraints: copositive relaxations," Journal of Global Optimization, Springer, vol. 75(2), pages 227-245, October.
    17. Anwa Zhou & Jinyan Fan, 2018. "Completely positive tensor recovery with minimal nuclear value," Computational Optimization and Applications, Springer, vol. 70(2), pages 419-441, June.
    18. Gizem Sağol & E. Yıldırım, 2015. "Analysis of copositive optimization based linear programming bounds on standard quadratic optimization," Journal of Global Optimization, Springer, vol. 63(1), pages 37-59, September.
    19. Immanuel M. Bomze & Jianqiang Cheng & Peter J. C. Dickinson & Abdel Lisser & Jia Liu, 2019. "Notoriously hard (mixed-)binary QPs: empirical evidence on new completely positive approaches," Computational Management Science, Springer, vol. 16(4), pages 593-619, October.
    20. Jinyan Fan & Anwa Zhou, 2016. "Computing the distance between the linear matrix pencil and the completely positive cone," Computational Optimization and Applications, Springer, vol. 64(3), pages 647-670, July.
    21. Immanuel M. Bomze & Vaithilingam Jeyakumar & Guoyin Li, 2018. "Extended trust-region problems with one or two balls: exact copositive and Lagrangian relaxations," Journal of Global Optimization, Springer, vol. 71(3), pages 551-569, July.
    22. Yuzhu Wang & Akihiro Tanaka & Akiko Yoshise, 2021. "Polyhedral approximations of the semidefinite cone and their application," Computational Optimization and Applications, Springer, vol. 78(3), pages 893-913, April.
    23. Gabriele Eichfelder & Patrick Groetzner, 2022. "A note on completely positive relaxations of quadratic problems in a multiobjective framework," Journal of Global Optimization, Springer, vol. 82(3), pages 615-626, March.
    24. Anwa Zhou & Jinyan Fan, 2015. "Interiors of completely positive cones," Journal of Global Optimization, Springer, vol. 63(4), pages 653-675, December.

    Most related items

    These are the items that most often cite the same works as this one and are cited by the same works as this one.
    1. Immanuel Bomze & Werner Schachinger & Gabriele Uchida, 2012. "Think co(mpletely)positive ! Matrix properties, examples and a clustered bibliography on copositive optimization," Journal of Global Optimization, Springer, vol. 52(3), pages 423-445, March.
    2. Maziar Salahi, 2010. "Convex optimization approach to a single quadratically constrained quadratic minimization problem," Central European Journal of Operations Research, Springer;Slovak Society for Operations Research;Hungarian Operational Research Society;Czech Society for Operations Research;Österr. Gesellschaft für Operations Research (ÖGOR);Slovenian Society Informatika - Section for Operational Research;Croatian Operational Research Society, vol. 18(2), pages 181-187, June.
    3. Andrea Cristofari & Marianna Santis & Stefano Lucidi & Francesco Rinaldi, 2020. "An active-set algorithmic framework for non-convex optimization problems over the simplex," Computational Optimization and Applications, Springer, vol. 77(1), pages 57-89, September.
    4. Immanuel Bomze & Stefan Gollowitzer & E. Yıldırım, 2014. "Rounding on the standard simplex: regular grids for global optimization," Journal of Global Optimization, Springer, vol. 59(2), pages 243-258, July.
    5. Marco Locatelli, 2013. "Approximation algorithm for a class of global optimization problems," Journal of Global Optimization, Springer, vol. 55(1), pages 13-25, January.
    6. W. Ackooij & A. Frangioni & W. Oliveira, 2016. "Inexact stabilized Benders’ decomposition approaches with application to chance-constrained problems with finite support," Computational Optimization and Applications, Springer, vol. 65(3), pages 637-669, December.
    7. Andrey Afonin & Roland Hildebrand & Peter J. C. Dickinson, 2021. "The extreme rays of the $$6\times 6$$ 6 × 6 copositive cone," Journal of Global Optimization, Springer, vol. 79(1), pages 153-190, January.
    8. de Klerk, E. & Laurent, M., 2010. "Error bounds for some semidefinite programming approaches to polynomial minimization on the hypercube," Other publications TiSEM 619d9658-77df-4b5e-9868-0, Tilburg University, School of Economics and Management.
    9. Immanuel M. Bomze & Bo Peng, 2023. "Conic formulation of QPCCs applied to truly sparse QPs," Computational Optimization and Applications, Springer, vol. 84(3), pages 703-735, April.
    10. Bomze, Immanuel M., 2012. "Copositive optimization – Recent developments and applications," European Journal of Operational Research, Elsevier, vol. 216(3), pages 509-520.
    11. Bomze, Immanuel M. & Gabl, Markus, 2023. "Optimization under uncertainty and risk: Quadratic and copositive approaches," European Journal of Operational Research, Elsevier, vol. 310(2), pages 449-476.
    12. Immanuel M. Bomze & Werner Schachinger & Reinhard Ullrich, 2018. "The Complexity of Simple Models—A Study of Worst and Typical Hard Cases for the Standard Quadratic Optimization Problem," Mathematics of Operations Research, INFORMS, vol. 43(2), pages 651-674, May.
    13. Lek-Heng Lim, 2017. "Self-concordance is NP-hard," Journal of Global Optimization, Springer, vol. 68(2), pages 357-366, June.
    14. de Klerk, Etienne & Laurent, Monique, 2019. "A survey of semidefinite programming approaches to the generalized problem of moments and their error analysis," Other publications TiSEM d956492f-3e25-4dda-a5e2-e, Tilburg University, School of Economics and Management.
    15. Zhijian Lai & Akiko Yoshise, 2022. "Completely positive factorization by a Riemannian smoothing method," Computational Optimization and Applications, Springer, vol. 83(3), pages 933-966, December.
    16. Abdeljelil Baccari & Mourad Naffouti, 2016. "Copositivity and Sparsity Relations Using Spectral Properties," Journal of Optimization Theory and Applications, Springer, vol. 171(3), pages 998-1007, December.
    17. Alexander Engau & Miguel Anjos & Immanuel Bomze, 2013. "Constraint selection in a build-up interior-point cutting-plane method for solving relaxations of the stable-set problem," Mathematical Methods of Operations Research, Springer;Gesellschaft für Operations Research (GOR);Nederlands Genootschap voor Besliskunde (NGB), vol. 78(1), pages 35-59, August.
    18. Carmo Brás & Gabriele Eichfelder & Joaquim Júdice, 2016. "Copositivity tests based on the linear complementarity problem," Computational Optimization and Applications, Springer, vol. 63(2), pages 461-493, March.
    19. Faizan Ahmed & Mirjam Dür & Georg Still, 2013. "Copositive Programming via Semi-Infinite Optimization," Journal of Optimization Theory and Applications, Springer, vol. 159(2), pages 322-340, November.
    20. Deng, Zhibin & Fang, Shu-Cherng & Jin, Qingwei & Xing, Wenxun, 2013. "Detecting copositivity of a symmetric matrix by an adaptive ellipsoid-based approximation scheme," European Journal of Operational Research, Elsevier, vol. 229(1), pages 21-28.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:spr:coopap:v:57:y:2014:i:2:p:403-415. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    If CitEc recognized a bibliographic reference but did not link an item in RePEc to it, you can help with this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sonal Shukla or Springer Nature Abstracting and Indexing (email available below). General contact details of provider: http://www.springer.com .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.