Game uses fun as incentive to solve hard chip-design problems

Discuss

15 Responses to “Game uses fun as incentive to solve hard chip-design problems”

  1. zikzak says:

    @johnofjack: They’re scientists. Scientists use “serious” languages like java because that’s what they learned in CompSci classes. Flash isn’t the kind of thing that you study as an AI researcher, I don’t think.

    I agree Flash would’ve been better though. The java app pegs my CPU at 100%, for one thing.

  2. Anonymous says:

    I’m yet to see why this is something humans are good at but AI would have an issue with. As noted above a fairly generic algorithm leads to the correct result quite quickly and for the early puzzles even a brute force attempt with a decently written application would be able to check every possibility faster than a human could click the buttons to enter in even one possibility.

    If future puzzles took significantly longer to check the states of the bubbles (making brute force take far too long) and standard searching algorithms didn’t work then I suspect the majority or people would find the time taken to work out the right answer frustratingly long and requiring the app to ‘think about’ whether they’d got the correct answer whenever they changed a value would quickly frustrate and cause them to give up.

  3. mdh says:

    So…. now the computers are using us to solve their problems?

  4. zikman says:

    first, we help them. we lend our knowledge in order to increase their capacities.
    then, they begin to help us out. this was already happening, but up until this point nobody noticed just how much…

    now, it’s too late. they’ve already got a foothold. they know.

  5. bjacques says:

    Having that guy in the 1950s do crossword puzzles in the paper that turned out to be game-theory problems relating to missile defense worked out OK for us.

  6. Pantograph says:

    Why they chose sudoku as an example beats me, because it is a game that is eminently suited to be solved by computer.

    BJacques gets props for referencing an obscure PKD book.

  7. LennStar says:

    Sounds like http://fold.it
    there they want you to solve immense complex protein folding puzzles. Computers are very bad at this.

  8. WalterBillington says:

    I think of this a lot – games stimulate the brain in ways that other activities just don’t – accesses more of (the supposed) Einstein’s lost 90% – so much of what we do could be done like this.

    But helping them to learn … helping them to learn … seems foolhardy, no?

    The event horizon will be when they work out what consciousness means to us. Then, they can beguile, fool and hypnotise us.

    They have been practicing, btw, if you care to read the ROTM portion of theregister.co.uk.

  9. johnofjack says:

    They came up with this neat idea, hoped to get a lot of online participation, and implemented it in Java?

    Was there something about this game that made it impossible to implement in Flash?

  10. Anonymous says:

    fun is dangerous
    haven’t you heard?

    leave it to the experts

  11. jeffbell says:

    For those who aren’t familiar with it, 3sat is a product of sums boolean expression where each of the terms is the OR of 3 variables or inverses of the variables.

    For example F(A,B,C,D) = (A+B+C)(!A+C+D)(!B+!C+D)

    Your task is to find an assignment to the variables that makes the whole statement true. To do that each of the parenthesized terms must be true. In this case A=1, D=1 is an assignment that “satisfies” all the terms. There may be others.

    In the funsat game, I assume that each of the blobs in the middle is a term in the overall function. A green ball is one that is satisfied, a red ball is one where all of the variables have been assigned and it is still not true.

    I wish that funsat showed the expressions so that you could have an idea which variables matter to that term. The only way to figure it out is to zoom in on one ball. Then it shows only the inputs that matter for that term.

    -Jeff Bell

  12. Anonymous says:

    #8:
    Based on the description (I don’t have Java installed on this machine) the game could be implemented in JS: no need for fancy-shmancy plugins at all.

  13. Anonymous says:

    FoldIt is a fantastic idea, but the UI is horrible. I’m a full-time 3D graphics guy, but I have a really hard time pulling things the way I want to in their interface.

  14. SamSam says:

    I got up through level five, then started to get bored. So far, the puzzles could have all been done much better by a computer. I’m guessing if I stick with it for a little while, it may get more interesting.

    It’s interesting — I have an MSc in AI, and I’m actually (so far) solving it using a fairly standard AI algorithm: at each step, pick the option that appears to give you the most reward and constrains you the least. In this case, that means starting with the toggles that satisfy the most number of lights for one option and the least number of lights for the other. The reason I’ve found it boring, though, is that I’ve never once been wrong using that algorithm, so have never had to back-track and really think it through.

    It reminds me of fold.it, as LennStar noted above. I really never understood fold.it, though, and just felt like I was guessing.

    @johnofjack: You’re surprised? These people are obviously programmers, not design people. The easiest language to bash it out in and stick it on the web is Java. Most likely, no one in the team knows Flash, or has ever needed to. But if it starts to get some attention, it’s true that they would be advised to get a Flash person.

  15. jeffbell says:

    After playing with it for a while, it turns out I was missing something. If you turn on the checkbox at the bottom you can see which input contribute to that term. Also, the darker the circle, the fewer undecided terms remain.

    For the SAT, remember to do all of the smallest circles first. Thy have only one variable, and there is only on way to go. Then find all the black circles. They have only free variable left, so you don’t have to decide anything yet.

Leave a Reply