Showing 1 - 20 results of 966 for search '"Approximation algorithm"', query time: 0.56s 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
  16. 16
  17. 17

    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
  18. 18

    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
  19. 19

    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
  20. 20

    Approximation Algorithms for Dynamic Assortment Optimization Models by Aouad, Ali, Levi, Retsef, Segev, Danny

    Published 2021
    “…Under general rank-based choice models, our approximation algorithm is best possible with respect to the price parameters, up to lower-order terms. …”
    Get full text
    Article