OKlibrary  0.2.1.6
MinimumTransversals_GreenTao.cpp File Reference

Application for computing minimum transversal of hypergraphs of arithmetic progressions in the primes. More...

Go to the source code of this file.

Classes

struct  OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Wrapper

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::Combinatorics
 

The part of the OKlibrary for general combinatorics.


namespace  OKlib::Combinatorics::Hypergraphs
 

Supermodule for dedicated hypergraph algorithms.


namespace  OKlib::Combinatorics::Hypergraphs::Transversals
 

Components for handling hypergraph transversals.


namespace  OKlib::Combinatorics::Hypergraphs::Transversals::Bounded
 

Components for handling hypergraph transversals of bounded size.


Typedefs

typedef
OKlib::Combinatorics::Hypergraphs::Generators::GreenTao
< vertex_type > 
OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::GT_hypergraph_type
typedef
GT_hypergraph_type::set_system_type 
OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::set_system_type
typedef
OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::DirectStratification
< set_system_type, vertex_type > 
OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Strata_t

Functions

void OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::initialise (const vertex_type N, const parameter_type &P)
hyperedge_list_type OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::generator (const vertex_type n)

Variables

Wrapper OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::prog_gen

Detailed Description

Application for computing minimum transversal of hypergraphs of arithmetic progressions in the primes.

  • The two command line parameters are N and k, where k is the progression-length, while N is the maximal number of vertices (i.e., prime numbers).
  • Provides the generator for Combinatorics/Hypergraphs/Transversals/Bounded/MinimumTransversalsMongen.cpp (there the "main"-function is to be found), and thus that library-file has to be compiled before creating the full application here.
  • Since currently this dependency can not be expressed by our build system, this application is not compiled automatically, but has to be be compiled on demand by using
    RamseyTheory> oklib all programs=MinimumTransversals_GreenTao
       

Definition in file MinimumTransversals_GreenTao.cpp.