Handoff: the summary

This girl I was kind of interested in, as far as I can tell, is handing me off to her friend (who I am not at all interested in).  I could outline all of the facts here and let you be the judge but I don't really want to get into it.  I already started writing this huge long emo rant, and I was only saved because the quote for it was in some obscure Star Trek episode that I can't remember, and my attempts to google it turned up some kind of Star Trek wiki that distracted me for like 4 hours.  By the time I came to, I wasn't that mad anymore.  The sad thing is I don't even like Star Trek that much.  Anyway, if we are talking face to face, and you're into relationship games, I can give you the facts.  I don't think it matters though.  Unlike computer science, knowing why you failed is not equivalent to knowing how to succeed.  Yeah, that was the theme of my emo rant that I started writing.  Anyway.

I missed a day on this 750 words thing.  Why?  3-sat.  I got another inspiration 2 days ago.  I'm doing a lot better about having a life while working on it.  For example, I went to a work party tonight at the Science Fiction / Music Museum.  My 3-sat algorithm that I came up with this time is a lot simpler.  I will probably have it coded by the end of the weekend.  Then, I'm going to experimentally test if it even looks like polynomial time, because mathematically proving it is going to be a bitch.

Anyway, the Music Muesum thing had a Battlestar Galactica exhibit.  Here are some pics.  I'm not going to label them, because if you don't know what you are looking at, you are probably just going to be bored by them anyway:

Ok I lied about not giving you captions:  the second one is the viper model that gets its ass kicked in the beginning.  The first one is the older viper model that kicks ass.  The third is some uniform, and the fourth is this awesome model of Galactica from the old series.  I really wish they had a model of the one from the new series;  it looks more awesome, and also I want to make a lego model of it....

So...my 3-sat idea is something about solving the dual of the problem by deliberately adding false clauses in a special way that allows you to solve subproblems in such a way as to skip a percentage of the original problem--this is what I remember Ali saying was the key to having an algorithm that is not exponential.  My algorithm, as usual, is an eerie combination of DFS and BFS.  Fun fact:  every time I spell out "BFS" in my head I hear myself saying "breast first search" instead of "breadth first search," not to be confused with "best first search," which, in fact, rhymes with breast.  I'm just waiting for the day that that slips out in a meeting.