Now showing items 1-1 of 1

  • Approximation Algorithms using Allegories and Coq 

    Chowdhury, Durjay
    In this thesis, we implement several approximation algorithms for solving optimization problems on graphs. The result computed by the algorithm may or may not be optimal. The approximation factor of an algorithm indicates ...