In other words, the theorem does not "require" a pattern for a solution, but if some solutions care to present themselves as a pattern, the theorem takes it as such. Another important function of working patterns is that they are the sole means of proving the theorem in a case of an infinite-sized map. Because patterns can go on infinitely without deviating from the 4-color condition. This makes patterns a valuable tool for predicting a success for any given size of map, and it makes for the recommendability of finding more working patterns, where possible.
Patterns show up occasionally based on what colors have been used in the nearby area thus far. But let's forget patterns for a minute. How does one go about solving a coloring of a map of countries? Just by purely random chance? Purely random luck with no rhyme or logic? Or is there some kind of an order that can and should be applied to the actual coloring of a map of countries? No pattern or rigid algorithm, per se. Just what sort of general strategy should one follow in order to successfully color a map with 4 colors? How were the maps and shapes that were successfully colored, colored just so? Just going by instinct? Pure guess? Pure luck? If a computer cannot figure out the answer by itself without a human intervention, then maybe it is a theorem that cannot be proven by a computer alone, either. Ah, but you say it has been proven. To everyone's satisfaction despite more on-going search. It has been proven, yes, in cases where the proof was obtained. Are there cases to which proof has not been attempted yet? What if they're not provable without human intervention? What if they cannot be proven even with human intervention? If these areas have bene thorougly looked at and found to be satisfactorily answering to the quest, I concede to my scant knowledge on the subject. But, ultimately, one may take a broader view of things, and realize that the 4 color solution may be crucial to some part of math, but not to life itself for life goes on as usual whether the 4 color solution is proven/disproven/left ignored.