Showing 1 - 20 results of 995 for search '"approximation algorithms"', query time: 0.64s Refine Results
  1. 1

    Verified Approximation Algorithms by Robin Eßmann, Tobias Nipkow, Simon Robillard, Ujkan Sulejmani

    Published 2022-03-01
    “…We present the first formal verification of approximation algorithms for NP-complete optimization problems: vertex cover, independent set, set cover, center selection, load balancing, and bin packing. …”
    Get full text
    Article
  2. 2
  3. 3

    An Approximation Algorithm for Manhattan Routing by Baker, Brenda S., Bhatt, Sandeep N., Leighton, Frank Thomson

    Published 2023
    “…Thus we show that Manhattan routing is one of the NP-complete problems for which there is a provably good approximation algorithm.…”
    Get full text
  4. 4
  5. 5
  6. 6
  7. 7

    Improved Approximation Algorithms for Projection Games by Manurangsi, Pasin, Moshkovitz Aaronson, Dana Hadar

    Published 2017
    “…In this paper we design several approximation algorithms for projection games: (1) A polynomial-time approximation algorithm that improves on the previous best approximation by Charikar et al. …”
    Get full text
    Get full text
    Article
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12
  13. 13
  14. 14

    Improved Approximation Algorithms for Projection Games by Manurangsi, Pasin, Moshkovitz Aaronson, Dana Hadar

    Published 2014
    “…In this paper we design several approximation algorithms for projection games: 1. A polynomial-time approximation algorithm that improves on the previous best approximation by Charikar, Hajiaghayi and Karloff [7]. 2. …”
    Get full text
    Get full text
    Article
  15. 15

    Approximation algorithms and inapproximability of partition functions of spin systems by Yang, K

    Published 2019
    Subjects: “…Approximation algorithms…”
    Thesis
  16. 16
  17. 17
  18. 18

    Approximation Algorithm-Based Prosumer Scheduling for Microgrids by Incheol Shin

    Published 2020-11-01
    “…To investigate the operational challenges associated with the costs and prosumers in the Microgrid, we focus on formulating the problem mathematically and designing approximation algorithms to solve the problem of how to optimally identify suppliers to minimize the total operational costs associated with providing electricity. …”
    Get full text
    Article
  19. 19

    An approximation algorithm for querying inconsistent knowledge bases by Gianvincenzo Alfano, Sergio Greco, Cristian Molinaro, Irina Trubitsyna

    Published 2023-02-01
    “…We present a sound and polynomial-time approximation algorithm for solving the coNP-complete problem of consistent query answering. …”
    Get full text
    Article
  20. 20

    Approximation Algorithms for Model-Based Compressive Sensing by Hegde, Chinmay, Indyk, Piotr, Schmidt, Ludwig

    Published 2018
    “…Moreover, an approximation algorithm is not sufficient for this optimization to provably succeed. …”
    Get full text
    Get full text
    Get full text
    Article