I've solved it so I can vouch for the existance of a solution. I'm pretty sure the solution is unique as I arrived at the solution without guessing, but that doesn't mean that I didn't make an unfounded "logical" step along the way (though the fact that I arrived at any solution makes that unlikely).
It's a neat puzzle. I kept messing up the diagonal attacks of the queens, or I would have solved it more quickly... It's hard to get used to the multiople lighting schemes in an Atari puzzle.
I used the fact that there was only 1 knight extensively. I'd like to see an instance of this puzzle with more (or even unlimited) knights. With, say, 3 or 4 knights, you'd at least have to do some work to place a couple of knights before several useful theorems become applicable. By the same token, it would be cool to see some bishops mixed in as well.
Re: contradiction?
It's a neat puzzle. I kept messing up the diagonal attacks of the queens, or I would have solved it more quickly... It's hard to get used to the multiople lighting schemes in an Atari puzzle.
I used the fact that there was only 1 knight extensively. I'd like to see an instance of this puzzle with more (or even unlimited) knights. With, say, 3 or 4 knights, you'd at least have to do some work to place a couple of knights before several useful theorems become applicable. By the same token, it would be cool to see some bishops mixed in as well.