OKlib::Combinatorics::Hypergraphs::Transversals::Bounded Namespace Reference

Components for handling hypergraph transversals of bounded size. More...

Classes
struct	Wrapper
class	Bounded_transversals_bv
	Functor, which for a given set system G and a bound B computes (essentially) all transversals of G of size at most B. More...
class	TransversalPredicate
	Unary predicate for checking whether a set of vertices is a transversal of a given hypergraph. More...
class	Minimum_transversals_mongen
	Computing all minimum transversals for hypergraphs gen(N0+1), ..., gen(Nmax). More...
class	TrivialOutput
	Functor for just outputting the number of minimum transversals (together with the number of vertices and the minimum size of a transversal) More...
class	DirectStratification
	Transforms a set-system into a standardised stratified set-system according to the order on the vertices. More...
Typedefs
typedef OKlib::Combinatorics::Hypergraphs::Generators::GreenTao < vertex_type >	GT_hypergraph_type
typedef GT_hypergraph_type::set_system_type	set_system_type
typedef OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::DirectStratification < set_system_type, vertex_type >	Strata_t
typedef unsigned int	vertex_type
typedef std::set< vertex_type >	hyperedge_type
typedef std::vector < hyperedge_type >	hyperedge_list_type
typedef std::vector< vertex_type >	parameter_type
Functions
void	initialise (const vertex_type N, const parameter_type &P)
hyperedge_list_type	generator (const vertex_type n)
Variables
Wrapper	prog_gen

---

Detailed Description

Components for handling hypergraph transversals of bounded size.

Alias "Bnd".

---

Typedef Documentation

typedef OKlib::Combinatorics::Hypergraphs::Generators::GreenTao<vertex_type> OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::GT_hypergraph_type

Definition at line 47 of file MinimumTransversals_GreenTao.cpp.

typedef std::vector<hyperedge_type> OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::hyperedge_list_type

Definition at line 28 of file MinimumTransversalsMongen.hpp.

typedef std::set<vertex_type> OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::hyperedge_type

Definition at line 27 of file MinimumTransversalsMongen.hpp.

typedef std::vector<vertex_type> OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::parameter_type

Definition at line 29 of file MinimumTransversalsMongen.hpp.

typedef GT_hypergraph_type::set_system_type OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::set_system_type

Definition at line 48 of file MinimumTransversals_GreenTao.cpp.

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

Definition at line 50 of file MinimumTransversals_GreenTao.cpp.

typedef unsigned int OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::vertex_type

Definition at line 26 of file MinimumTransversalsMongen.hpp.

---

Function Documentation

hyperedge_list_type OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::generator

(

const vertex_type

n

)

Definition at line 80 of file MinimumTransversals_GreenTao.cpp.

References prog_gen.

Referenced by Deskriptorverarbeitung::Verarbeitung().

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

Definition at line 72 of file MinimumTransversals_GreenTao.cpp.

References prog_gen, and OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::Wrapper::set().

Referenced by main().

---

Variable Documentation

OKlib::Combinatorics::Hypergraphs::Generators::Arithprog_finish< hyperedge_type, hyperedge_list_type, vertex_type > OKlib::Combinatorics::Hypergraphs::Transversals::Bounded::prog_gen

Definition at line 69 of file MinimumTransversals_GreenTao.cpp.

Referenced by generator(), and initialise().