From 6b17f27fb3f62c94d6f2717f570c3ad4db2e94e5 Mon Sep 17 00:00:00 2001 From: Joshua Moerman Date: Tue, 26 Mar 2024 16:36:35 +0100 Subject: [PATCH] meer info --- other/decomp-sat.py | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/other/decomp-sat.py b/other/decomp-sat.py index a3b846d..5723aff 100644 --- a/other/decomp-sat.py +++ b/other/decomp-sat.py @@ -23,10 +23,13 @@ rids = [i for i in range(c)] # components # Optimale decompositie met slechts verzamelingen. Zie ook A000792 in de OEIS # (voor de omkering size -> n), dit groeit met de derdemacht. Dus size is # ongeveerde de derdemachts-wortel van n. Ik weet niet hoeveel c moet zijn. -# n = 1 2 3 4 5 6 7-9 10-12 13-18 19-27 28-36 -# ------------------------------------------------------ -# c ≥ 1 1 1 1 1 2 2 2 3 ? ? -# size = 1 2 3 4 5 5 6 7 8 9 10 +# Ook relevant: A007600, Katona's problem en Edmonds' problem. +# n = 1 2 3 4 5 6 7-9 10-12 13-18 19-27 28-36 37-54 55-81 82-108 109-162 +# ------------------------------------------------------------------------ +# c =* 1 1 1 1 1 2 2 2 3 3 3 4 4 4 5 +# size = 1 2 3 4 5 5 6 7 8 9 10 11 12 13 14 +# +# *) de c is voor de grootste in het interval print('Start encoding')