Direkte eller log n? Det er spørgsmålet

Så er jeg tilbage i den virkelige verden igen. I dag er det gået op for mig at direkte indkodning af begrænsninger, som jeg havde sat mig for at bevise var ubrugelig, slet ikke er som ringe endda hvis man indkoderden som et 0-undertrykt beslutnings diagram. Faktisk vil den direkte indkodning bruge færre knuder end et log n indkodet beslutningsdiagram til at udtrykke begrænsninger som f.eks. x mindre end eller lig y, x er ikke lig y m.fl. Tilgengæld er knuderne væsentligt dyre da der er eksponentielt flere niveauer end i log n indkodning. Sammen med mine andre observationer er det lige før at jeg har nok til et halvdårligt paper der nok kan snige ind på en workshop eller blive til et short-paper. Det vil jeg i hvert fald snakke med min vejleder om.