Showing 1 - 20 results of 738 for search '"Approximation algorithm"', query time: 0.21s 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

    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
  6. 6
  7. 7
  8. 8
  9. 9
  10. 10
  11. 11
  12. 12

    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
  13. 13
  14. 14

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

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

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

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

    On Algorithmic Progress in Data Structures and Approximation Algorithms by Li, Jeffery

    Published 2024
    “…This naturally leads to the question, how have approximation algorithms and data structures improved over the years? …”
    Get full text
    Thesis
  19. 19
  20. 20