Repository navigation

Find one gridded permutation for Tiling.is_empty by placing the requirements - #539

Open

ulfarsson wants to merge 33 commits into

developfrom

is-empty-depth-first

Open

Find one gridded permutation for Tiling.is_empty by placing the requirements#539
ulfarsson wants to merge 33 commits into
developfrom
is-empty-depth-first

Commits on Nov 3, 2026
- Find a gridded perm depth first in Tiling.is_empty
  
  ulfarsson
  and
  claude
  committed
  41c6c9f
Commits on Nov 4, 2026
- Take is_empty's work packets by a bound on their length
  
  ulfarsson
  and
  claude
  committed
  579ef0a
- Test minimal_gridded_perms against a brute force, and tidy find_gridded_perm
  
  ulfarsson
  and
  claude
  committed
  201657f
- Drop is_empty's packets that can make no gridded perm, and sharpen bounds
  
  ulfarsson
  and
  claude
  committed
  90b7f8a
- Test the packets find_gridded_perm drops or puts back, and its least in a list
  
  ulfarsson
  and
  claude
  committed
  ef45516
- Find a packet's patterns in its cells in one pass
  
  ulfarsson
  and
  claude
  committed
  a8424ce
Commits on Nov 6, 2026
- Find is_empty's gridded perm by placing the requirements
  
  ulfarsson
  and
  claude
  committed
  c76221c
- Group the search's obstructions by the cells each gridded perm keeps
  
  ulfarsson
  and
  claude
  committed
  65d67de
- Say what the search takes in two of its tests' docstrings
  
  ulfarsson
  and
  claude
  committed
  30bc993
- Search lists apart, and restart with the lists that met dead ends first
  
  ulfarsson
  and
  claude
  committed
  ef54457
- Make the search's dead ends and obstruction groups at no extra cost a call
  
  ulfarsson
  and
  claude
  committed
  46c6b09
- Search the groups of lists in rounds, and count look-aheads' states
  
  ulfarsson
  and
  claude
  committed
  d194482
- Search the smallest group of lists first
  
  ulfarsson
  and
  claude
  committed
  c9cf4c8
- Keep the search's count of the states left an int from the start
  
  ulfarsson
  and
  claude
  committed
  81c7630
- Break ties in the rounds' order by the shortest list first
  
  ulfarsson
  and
  claude
  committed
  e853b02
- Give the search examples, and clearer names and docstrings
  
  ulfarsson
  and
  claude
  committed
  9abb9dd
- Name the cells of the search's tests
  
  ulfarsson
  and
  claude
  committed
  cf93682
- Test the tie-break of the rounds and the groups' first passes' order
  
  ulfarsson
  and
  claude
  committed
  babb108
Commits on Nov 7, 2026
- Rename the search's parts and order each round's groups in _find
  
  ulfarsson
  and
  claude
  committed
  28cf515
- Name the searches the tests record, and the one-point lists
  
  ulfarsson
  and
  claude
  committed
  22cf00b
- Order the rounds' lists by joined dead ends and by obstructions too
  
  ulfarsson
  and
  claude
  committed
  5487dca
- Add the review's tests of the rounds' order, duplicates and longer lists
  
  ulfarsson
  and
  claude
  committed
  f156660
- Give the search's docstrings summary lines, and more examples
  
  ulfarsson
  and
  claude
  committed
  24a948b
- Keep the lists' cells and their obstructions in a class of their own
  
  ulfarsson
  and
  claude
  committed
  13b87ff
- Test that each round orders the lists by the dead ends so far
  
  ulfarsson
  and
  claude
  committed
  cde8790
- Name the keys the order loses without in the class docstring
  
  ulfarsson
  and
  claude
  committed
  9aad467
- Move the search's account of how it works into the module docstring
  
  ulfarsson
  and
  claude
  committed
  97ac9ac
- Correct and clarify the search's docstrings
  
  ulfarsson
  and
  claude
  committed
  e572279
- Index the obstructions apart, and keep the lists' cell counts with their cells
  
  ulfarsson
  and
  claude
  committed
  c12ef62
- Test the joined dead ends and the list cells, and share the families' builders
  
  ulfarsson
  and
  claude
  committed
  17e618e
- Say where joined lists and the obstructions' order come in, and why
  
  ulfarsson
  and
  claude
  committed
  bac830b
- Name the empty obstruction, the lists' cells and the tests' parts in full
  
  ulfarsson
  and
  claude
  committed
  f06e7d3
- Test the caches, an empty list, iterators and the lists' first key
  
  ulfarsson
  and
  claude
  committed
  e189506

Commits

Commits on Nov 3, 2026

Commits on Nov 4, 2026

Commits on Nov 6, 2026

Commits on Nov 7, 2026