OKlibrary  0.2.1.6
general.hpp File Reference

Plans regarding generators for hypergraphs. More...

Go to the source code of this file.


Detailed Description

Plans regarding generators for hypergraphs.

Todo:
Connections
Todo:
Organisation
  • The current Generators/Generators.mac needs to be split into several files:
    1. Basics.mac
    2. VanderWaerden.mac : DONE
    3. GreenTao.mac : DONE
    4. Schur.mac : DONE
    5. Rado.mac : DONE
    6. Folkman.mac
    7. Hindman.mac : DONE
    8. Ramsey.mac : DONE
Todo:
Statistics
  • For all generated hypergraphs we need accompanying statistic-functions.
  • As for clause-set statistics.
Todo:
Sudoku
  • Create Sudoku-hypergraphs (such that the Sudoku-problems can be expressed as strong colouring problems).
  • For box dimension p the vertex set should be {1,...,p}^2.
  • The 3N hyperedges (N=p^2) just correspond to the rows, columns and boxes (the hypergraph is thus N-uniform).

Definition in file general.hpp.