Try replacing the word ‘formulation’ and ‘solving’ with ‘representation’ and ‘traversal’. If a search space seems intractably large you either
1) haven’t screened off major portions of the search space
2) have a traversal algorithm that takes too long to either generate the next move in the space or to check the node it is on
Changing formulation is usually about bounding the search space by choosing a representation that captures more knowledge about screening off irrelevant solutions. Any time we use metaphors we’re engaged in a sort of hopeful reference class forecast. We artificially bound the search space and hope that the area we’ve bounded has a solution in it. We improve performance by having ‘taste’ in metaphors, ie choosing metaphors that seem to have visible moving parts similar to the moving parts of our problem domain and hoping that these extend to the non visible parts as well.
Try replacing the word ‘formulation’ and ‘solving’ with ‘representation’ and ‘traversal’. If a search space seems intractably large you either
1) haven’t screened off major portions of the search space
2) have a traversal algorithm that takes too long to either generate the next move in the space or to check the node it is on
Changing formulation is usually about bounding the search space by choosing a representation that captures more knowledge about screening off irrelevant solutions. Any time we use metaphors we’re engaged in a sort of hopeful reference class forecast. We artificially bound the search space and hope that the area we’ve bounded has a solution in it. We improve performance by having ‘taste’ in metaphors, ie choosing metaphors that seem to have visible moving parts similar to the moving parts of our problem domain and hoping that these extend to the non visible parts as well.