{"id":487,"date":"2026-06-03T14:51:40","date_gmt":"2026-06-03T12:51:40","guid":{"rendered":"https:\/\/actilud.com\/info\/en\/?p=487"},"modified":"2026-06-03T15:03:14","modified_gmt":"2026-06-03T13:03:14","slug":"parameterization","status":"publish","type":"post","link":"https:\/\/actilud.com\/info\/en\/parameterization\/","title":{"rendered":"Generation of formal proposals: parameterization"},"content":{"rendered":"
\n

Coming soon to Actilud.<\/span><\/strong>\u00a0Once the programming instructions are entered, you must generate the formal propositions, that is, the statements that make up the puzzle. These statements are “formal” because they are written symbolically, using signs, which you will need to translate into everyday language.<\/span><\/p>\n

The generation of formal proposals depends, of course, first and foremost on the programming instructions. But it also depends on how these instructions are organized, which is configured in the Advisor at the time of generation.<\/span><\/p>\n

Difficulty level<\/span><\/h2>\n

Checking one of the two boxes,\u00a0\u00a0<\/span>standard<\/span><\/em>\u00a0or\u00a0<\/span>expert,<\/span><\/em>\u00a0modifies the following fields in the window:<\/span><\/p>\n

    \n
  • square<\/span><\/li>\n
  • invariance, implication<\/span><\/li>\n
  • assessment<\/span><\/li>\n<\/ul>\n

    These fields are reset to their default values, according to the chosen mode. You can then modify them manually.<\/span><\/p>\n

    Maximum number of attempts before resuming<\/span><\/h2>\n

    The designer operates recursively. It can sometimes get stuck in a calculation that leads nowhere. The number shown here is the\u00a0<\/span>maximum number of evaluations that are tolerated\u00a0<\/span><\/em>for a configuration<\/span><\/em>\u00a0before the designer restarts the program \u2013 it makes another attempt and indicates “too many calculations”.<\/span><\/p>\n

    If you set the value too low, the designer won’t be able to perform all the necessary evaluations to find a viable puzzle.<\/p>\n

    So, if you see the number of attempts increasing too quickly, it means the number of evaluations allocated is too low. Stop the process and increase the value.<\/span><\/p>\n

    Conversely, if the value is too high, the designer may get lost in their calculations. Decrease the value.<\/span><\/p>\n

    It all depends on the program, of course.<\/span><\/p>\n

    The\u00a0<\/span>maximum number of attempts<\/span><\/em>\u00a0allows the designer to be adjusted<\/span><\/strong>\u00a0:<\/span><\/p>\n

      \n
    • The value is decreased<\/span><\/strong>\u00a0if the calculations are too long;<\/span><\/li>\n
    • The value is increased<\/span><\/strong>\u00a0if the number of attempts explodes!<\/span><\/li>\n<\/ul>\n<\/blockquote>\n

      Generated statements order<\/h2>\n

      Random order:<\/span><\/strong>\u00a0the statements are out of order.<\/span><\/p>\n

      By descending score:<\/span><\/strong>\u00a0each statement is tested on an empty grid and assigned a score. This score is calculated from the\u00a0<\/span>Evaluation fields.\u00a0<\/span><\/em>\u00a0The statements are then ranked by descending score. Statements that provide the most information on an empty grid are ranked first. Statements with the same score are ranked randomly.<\/span><\/p>\n

      Follow the order of the instructions:<\/span><\/strong>\u00a0the statements are displayed in the order in which they are produced.<\/span><\/p>\n

      Square<\/span><\/h2>\n

      The square is a less common but very interesting puzzle-solving technique. It is always offered in standard or expert mode. However, if you want to create particularly easy puzzles, you can choose “no”.<\/span><\/p>\n

        \n
      • No:<\/span><\/strong>\u00a0the puzzle can be solved without using the square technique. Note that a square can still be formed! But it is not required for the solution.<\/span><\/li>\n
      • Possible:<\/span><\/strong>\u00a0a square doesn’t necessarily form. But if it does, it’s part of the solution and the player must discover it. Note that the square’s appearance depends on the order in which the player processes the information.<\/span><\/li>\n<\/ul>\n

        Invariance, implication<\/span><\/h2>\n

        These two techniques are linked; implication always takes precedence over invariance.<\/span><\/p>\n

          \n
        • No:\u00a0<\/span><\/strong>\u00a0the puzzle can be solved without implication or invariance.<\/span><\/li>\n
        • Possible:\u00a0<\/span><\/strong>\u00a0implication or invariance may be present, but is not required. If it is present, the player must usually discover it.<\/span><\/li>\n
        • Required:<\/span><\/strong> either implication or invariance must be part of the puzzle. If a generated puzzle contains neither of these techniques, it is rejected and the message “puzzle too easy” appears. The puzzle designer then continues its search until it finds a suitable puzzle.<\/span><\/li>\n<\/ul>\n

          Assessment<\/span><\/h2>\n

          Each instruction generates several “moves” which are ranked by score. Each move is evaluated based on the\u00a0<\/span>changes<\/span><\/strong>\u00a0it makes to the grid at the time it is created. The grid may be partially filled at the time a move is created.<\/span><\/p>\n

          The score is calculated based on the changes<\/em>: only the boxes that the statement has changed are taken into account.<\/p>\n

          You can adjust the value of each change, depending on whether it is a \u201cfalse\u201d box, a \u2018true\u2019 box, or a \u201cboo\u00e9en.\u201d<\/p>\n

          There are a number of subtleties that must be mastered before attempting to modify the score.<\/span><\/p>\n

          By default, in\u00a0<\/span>standard mode, a\u00a0<\/span><\/em>true<\/span><\/em>\u00a0sign\u00a0\u00a0has a value of 1, just like a\u00a0\u00a0<\/span>false<\/span><\/em>\u00a0sign , even though one might expect it to be scored higher. However, if a move produces a\u00a0\u00a0<\/span>true sign,<\/span><\/em>\u00a0the rows and columns connected to that\u00a0<\/span>true sign are filled with\u00a0<\/span><\/em>false<\/span><\/em>\u00a0signs ,\u00a0which are therefore also counted. If there are already cells filled with\u00a0<\/span>false signs,\u00a0<\/span><\/em>\u00a0the move will have a lower value. A move with a score that is too low will not be recorded. This prevents trivial or overly simple moves from being recorded.<\/span><\/p>\n

          In\u00a0<\/span>expert<\/span><\/em>\u00a0mode , booleans are favored over true signs, which are assigned a negative value to delay their appearance. This makes the puzzles more difficult because the lifespan of booleans is maintained as long as possible.<\/span><\/p>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

          Coming soon to Actilud.\u00a0Once the programming instructions are entered, you must generate the formal propositions, that is, the statements that make up the puzzle. These statements are “formal” because they are written symbolically, using signs, which you will need to translate into everyday language. The generation of formal proposals depends, of course, first and foremost […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[8],"tags":[],"class_list":["post-487","post","type-post","status-publish","format-standard","hentry","category-zebra-puzzles-glossary-of-programming-instructions"],"_links":{"self":[{"href":"https:\/\/actilud.com\/info\/en\/wp-json\/wp\/v2\/posts\/487","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/actilud.com\/info\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/actilud.com\/info\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/actilud.com\/info\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/actilud.com\/info\/en\/wp-json\/wp\/v2\/comments?post=487"}],"version-history":[{"count":3,"href":"https:\/\/actilud.com\/info\/en\/wp-json\/wp\/v2\/posts\/487\/revisions"}],"predecessor-version":[{"id":490,"href":"https:\/\/actilud.com\/info\/en\/wp-json\/wp\/v2\/posts\/487\/revisions\/490"}],"wp:attachment":[{"href":"https:\/\/actilud.com\/info\/en\/wp-json\/wp\/v2\/media?parent=487"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/actilud.com\/info\/en\/wp-json\/wp\/v2\/categories?post=487"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/actilud.com\/info\/en\/wp-json\/wp\/v2\/tags?post=487"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}