OKlibrary
0.2.1.6

Plans for Maximagenerators for Ramseyproblems. More...
Go to the source code of this file.
Plans for Maximagenerators for Ramseyproblems.
generalised_ucp1(fcs2cs(apply_pa_fcs(ramsey_symbr1e_pass(3,6), ofcs2fcs(ramsey2_ofcs(3,2,6))))); {{}}
ramsey_symbr3_cs(n) := ramsey_symbr3_cs_m(1,n)$ ramsey_symbr3_cs_m(m,n) := block([mid_p,rs : {},edge_equivs], mid_p : ceiling(((n1)  (m+1)) / 2) + (m + 1), edge_equivs : lunion(map( lambda([x], {{colv(first(x)), colv(second(x))}, {colv(first(x)), colv(second(x))}}), powerset(map(lambda([i],{m,i}),setmn(m+1,mid_p)),2))), if oklib_monitor then print("Length = ", mid_p  m, "Edges = ", m, " to ", setmn(m+1,mid_p)), rs : union(edge_equivs, if (mid_p  (m+1)) > 2 then ramsey_symbr3_cs_m(m+1, mid_p) else {}, if (n  (mid_p+1)) > 2 then ramsey_symbr3_cs_m(mid_p+1, n) else {}), return(rs))$
load("obsubst"); is(opsubst(lambda([x], rank_lex_ksubsets(x,n)), colv, ramsey_symbr2_cs(n)) = ramsey2_sym_break_rec(setn(n), lambda([x], rank_lex_ksubsets(x,n)), lambda([x], unrank_lex_ksubsets(x,n,2)))); true
Definition in file RamseyProblems.hpp.