For anyone not familiar with the game of Set, I'll refer you to the description on this question.
My question is this: The game ends when there are no more cards remaining in the deck and there are no sets visible on the table. I will define a "Perfect Game" as one in which there are no cards at all on the table at the end, i.e. all 81 cards have been removed as part of a set. Can any ordering of cards result in a Perfect Game?
Now, in practice, this is a fairly rare occurrence. Games typically end with 6, 9, or 12 cards remaining. They can even end with as many as 15 (this seems to be even less common than a 0-card ending, but I have seen it happen). 18+ I believe to be impossible. I think that 16 is the maximum number of cards that can be showing without making a set, and there must always be a multiple of 3, so that rules out anything > 15. (Edit: Apparently up to 18 is possible.) A 3-card ending is also impossible, per the question I linked above. (The last 3 must form a set, so this would result in a Perfect Game.)
Now, in a normal game, there are often times where more than one set is visible, and which one you pick can affect the outcome of the game at the end, and you have no way of knowing what those outcomes would be. But let's say that we are given full knowledge ahead of time about the exact order of cards in the deck. Let's say we also have the ability to perfectly predict the outcomes of each choice, or alternatively to "hit Undo" and backtrack all the way to the beginning as often as needed. Could we with this knowledge ensure that any ordering of cards can result in a Perfect Game?
I suspect that this would be easier to disprove than to prove - Simply find a contrived deck ordering which at no time gives you multiple choices of visible sets or which we can trace the game through to all possible endings if there are choices, and prove that they all must leave some cards on the table. Proving that any deck order can end perfectly would be quite the challenge...
Edit: I just noticed this question, but it is not a duplicate since it does not consider the possibility of knowing the order of cards ahead of time.