OKlibrary  0.2.1.6
Datak10.hpp File Reference

Investigating the transversal hypergraph of Green-Tao hypergraphs for k = 10 (length of arithmetic progressions) More...

Go to the source code of this file.


Detailed Description

Investigating the transversal hypergraph of Green-Tao hypergraphs for k = 10 (length of arithmetic progressions)

Todo:
Elementary statistics
  • Investigating tr_arithprog_hg(10,n).
  • The numbers of minimum hyperedges:
    L10 : [];
    minimum_transversals_decomp_gen(inf,lambda([n],arithprog_primes_hg(10,n)),'L10)$
    
    T : transform_steps_l(map(lambda([d],d[4][1]),reverse(L10)));
     [315,5481,5743,7293,9457,11896,12650,12743,13461,13560,13645,16524,16535,16595,19134,19601,
           21271,23059,23688,24145,24255,24351,25006,25326,25348,25491,27020,27790,29149,29618,30162,
           30700,30833,31088,34889,34940,35244,36443,38331,38791,38930,39009,39275,39676,40148,40504,
           41533,41621,42526,43143]
       
Todo:
Only computing the transversal numbers
  • Just computing the transversal numbers, using minisat2 and the direct translation:
    > GTTransversalsInc 10 1 0 GT_10 GT_10_SAT
    
    L : transform_steps_l(map(third,rest(read_nested_list("GT_10"))));
     [315,5481,5743]
    length(L);
     3
    
    > tail -1 GT10
    
       

Definition in file Datak10.hpp.