Unsolvable games are rather easy to prove. They usually have very small game trees (i.e., you get "stuck" pretty quickly). Many games have extremely large trees, and for those, you need to search a long time to find the solution. All of the original 32000 games have rather small trees, though, and it doesn't take very long to solve them all. But there are some pathological cases (some have been designed by hand) that can cause a given solver to get lost in the weeds. A different solver, or even the same one with a small change in search order, might solve it quickly. These sorts of programs just search the tree in some order. There probably exist some "very high level" theorems that you could use to prune these extremely large trees, and those would make the solvers even faster than they are.
Even Sudoku is a "hard" game in general, although in practice it is mostly trivial for computers; solvers exist that take literally milliseconds to solve a given board.
Those are both solvable. If this is they. The exact implementation for the deal generator might not work the same way for negative numbers. This assumes they are 64 bits.
By the way, Freecell may be NP-hard... If a game is UNSOLVABLE it is probably EASY to show, because typically, unsolvable games have VERY SMALL game trees. But this one, below, is an example of a game that has an ENORMOUS game tree, and in general it is very hard to predict the size of the tree. A program that does brute force search WILL solve even NP-hard problems, if you wait long enough. But long enough could be well over the lifetime of the universe (by many, many orders of magnitude).
A human might be able to solve that game anyway, if they get lucky. It's certainly not easy for my program. This game was artificially constructed, obviously. It may not be solvable, I don't know. Maybe Shlomi's program can do it.
Several people have commented on patsolve (which I wrote) and FreeCellSolver (Shlomi Fish). The "patsolve-3.0" link that was mentioned was broken, I have updated it. You can find it here:
When the IBM PC killed the typewriter dead, did Smith Corona sue? No, they adapted, and now sell printer supplies and specialty paper. Before they made typewriters, they made guns. That is one adaptable company. All companies could learn a lesson here. Be flexible. Adapt. The market changes, that's just a fact of life. Litigation to save a dead product is ultimately just pissing money away. Make something new, better, different. Especially in this climate where a claim like this will get you fried in the hot, boiling oil of public opinion.
The interstate highway system wouldn't have been built without govt money, but I think people find it useful now. Once there are enough turbines generating power people will probably forget who built the farms, like they seem to forget who built the roads, and the sewers, and GPS, and etc., etc. Just because it's costing taxpayer money now doesn't make it bad. Not to mention that apparently the oil industry is still getting handouts from the govt which they don't need.
The people who say wind farms are eyesores are the same people who call CFL bulbs "pigtails". It's just propaganda. The fact is wind farms are much nicer to look at than supertankers leaking crude.
It was pretty clear Stratfor was a bunch of idiots, once you went through the material that was leaked. Now we know the FBI targeted them specifically for the fall because they were a bunch of noobs and nothing of value would be lost. We already knew nothing of value had come from it, except that Stratfor was a ridiculous company.
> He also said that Wikipedia and Google users were duped into thinking SOPA was a bad bill because they assume "if it comes from these sources, it must be true."
That's because, if it comes from those sources, it probably is true. Yes, that's right, we trust Google and Wikipedia more than some record industry executive. Dupe you.
Now that we've gotten that out of the way, why don't you start letting people download music from your website? You know you could be making money right now, doing that, instead of making a fool of yourself, right?
You can't take away the kid's smartphone, or how else could you track him? (There is a tool that allows parents to remotely activate their child's smartphone microphone, so they can not only see where the child is, but what he or she is saying. Children: you need an acoustic foam box in your clubhouse.)
B.S. in C.S., M.S. Psy., Ph.D. in C.S. and B.S.*, and my job is to fix the printer...
* That's Brain Science, you r'tard
In other news, Linus has a child old enough to install printers on Linux... I feel old.
I guess it's reasonable... they use to say, "you're not dating girls until you're 21!" Now it's "You can't have the root password until you're 21!"
By the way, Linus is right, I usually disable selinux... a good firewall is fine..., and also if your child clicks on an attachment from a stranger, that's a grounding.
Hrmm, as a matter of fact discrete systems can have chaos already in just 1 dimension while continuous systems require at least 3 dimensions. Point taken. Some physical systems (e.g. a pendulum swinging in 2D) are simple.
This is the kind of thing that gets published in "peer-reviewed" journals when there are only 2 reviewers who belong to the wrong field. It is an ancient result that given the output of even a finite state machine, you can't figure out which FSM is being used. Determining the exact diff. eqs. used to produce a given continuous system output is so obviously intractable that it's clear the "reviewers" were physicists barking out of the wrong hole.
Can I use mod points to get an article removed entirely?
And to the poster who said "what about F = ma?" I'd like to point out that Newton was WRONG.
---- OP: O day and night, but this is wondrous strange! "And therefore as a stranger give it welcome. There are more things in heaven and earth, OP, Than are dreamt of in your philosophy."
Seriously, people are missing out on the obvious business opportunity here. Shooting at clay pigeons is boring. Why not get a fleet of armored drones and get people to PAY to shoot at them? You could have competitions among pilots to see how long they can last without getting shot, and make people PAY for that as well. I'm sure the hunters in this case were high-fiving each other like crazy. C'mon peeps, if you can't fight 'em, join 'em!
The only thing I want from the TV industry is for them to license their content to internet sites.
Streaming music over "Internet Radio" is very successful because there are licensing agreements in place that allow royalties to be paid back to the content providers.
There is no Internet TV because the dinosaur-brained TV execs don't want to relinquish control of their product (even though it has already been broadcast nationwide).
Hulu and Netflix have pitiful TV content because they simply can't license the content. The TV studios are totally missing out on a huge advertising revenue source, because of their backwards thinking.
Message to TV execs: WAKE UP and smell the internet. You could be making money RIGHT NOW if you licensed your content to websites to stream to millions upon millions of handheld devices. (Don't sweat the format, other people will fix that for you.) Or if you don't we'll just keep torrenting TV shows and you'll get nothing...
Politician storage is complex, expensive, and requires high levels of administratium, the heaviest element known. After long periods of storage politicians also decay into bureaucratium, which has a negative half-life and so becomes more massive over time.
Slashdot Mirror
The tree might be finite, but still have more than 10^10000 nodes, in this case, you will never find the solution (especially if it is unique).
Unsolvable games are rather easy to prove. They usually have very small game trees (i.e., you get "stuck" pretty quickly). Many games have extremely large trees, and for those, you need to search a long time to find the solution. All of the original 32000 games have rather small trees, though, and it doesn't take very long to solve them all. But there are some pathological cases (some have been designed by hand) that can cause a given solver to get lost in the weeds. A different solver, or even the same one with a small change in search order, might solve it quickly. These sorts of programs just search the tree in some order. There probably exist some "very high level" theorems that you could use to prune these extremely large trees, and those would make the solvers even faster than they are.
Even Sudoku is a "hard" game in general, although in practice it is mostly trivial for computers; solvers exist that take literally milliseconds to solve a given board.
Those are both solvable. If this is they. The exact implementation for the deal generator might not work the same way for negative numbers. This assumes they are 64 bits.
9D 9C KC 9H 2S 8H 6H
QD TH 4D 7S 2H 6D 3S
8D QC 3C AD TC 8S TS
AH QS AS KH 7C QH 5C
5S 3H 9S 6C JD 6S
JS 4C AC JH 3D 8C
7D 2C 2D JC 5D 5H
7H 4H 4S KD KS TD
---
#-2: A winner.
99 moves.
TC 8S 8C 6C 5H 5C 9C
2S TD 6D 8D 9H 9S 6S
JS TH 3S JD 4H QC 3D
5S QS KD AH AS JH 4S
4D 4C 7D JC 2D AD
6H KH TS 7H QD QH
3H 2C KC 2H 5D 9D
7C KS 8H 3C AC 7S
---
#-1: A winner.
78 moves.
By the way, Freecell may be NP-hard ... If a game is UNSOLVABLE it is probably EASY to show, because typically, unsolvable games have VERY SMALL game trees. But this one, below, is an example of a game that has an ENORMOUS game tree, and in general it is very hard to predict the size of the tree. A program that does brute force search WILL solve even NP-hard problems, if you wait long enough. But long enough could be well over the lifetime of the universe (by many, many orders of magnitude).
AS AC KS KC 4S 4C QS
AD AH KD KH 4D 4H QD
7S 7C 2S 2C 6S 6C QC
7D 7H 2D 2H 6D 6H QH
5S 5C JS JC 8S 8C
5D 5H JD JH 8D 8H
3S 3C 9S 9C TS TC
3D 3H 9D 9H TD TH
A human might be able to solve that game anyway, if they get lucky. It's certainly not easy for my program.
This game was artificially constructed, obviously. It may not be solvable, I don't know. Maybe Shlomi's program can do it.
Several people have commented on patsolve (which I wrote) and FreeCellSolver (Shlomi Fish).
The "patsolve-3.0" link that was mentioned was broken, I have updated it. You can find it here:
http://kurage.nimh.nih.gov/tomh/public_html/archives/patsolve-3.0.tgz
FYI, searching the entire game tree for game number 11982 takes .7 seconds on a 3 GHz machine.
The article uses a unit called "miles", so it's obviously not real science.
Here's the retraction.
http://www.chessbase.com/newsdetail.asp?newsid=8051
When the IBM PC killed the typewriter dead, did Smith Corona sue? No, they adapted, and now sell printer supplies and specialty paper. Before they made typewriters, they made guns. That is one adaptable company. All companies could learn a lesson here. Be flexible. Adapt. The market changes, that's just a fact of life. Litigation to save a dead product is ultimately just pissing money away. Make something new, better, different. Especially in this climate where a claim like this will get you fried in the hot, boiling oil of public opinion.
The interstate highway system wouldn't have been built without govt money, but I think people find it useful now. Once there are enough turbines generating power people will probably forget who built the farms, like they seem to forget who built the roads, and the sewers, and GPS, and etc., etc.
Just because it's costing taxpayer money now doesn't make it bad. Not to mention that apparently the oil industry is still getting handouts from the govt which they don't need.
The people who say wind farms are eyesores are the same people who call CFL bulbs "pigtails". It's just propaganda. The fact is wind farms are much nicer to look at than supertankers leaking crude.
where are my mod points when I need them ... this sounds like they're downplaying it cuz fbi was a coconspirator here
So if Google implements encrypted mail, would that be a -3 event?
It was pretty clear Stratfor was a bunch of idiots, once you went through the material that was leaked. Now we know the FBI targeted them specifically for the fall because they were a bunch of noobs and nothing of value would be lost. We already knew nothing of value had come from it, except that Stratfor was a ridiculous company.
> He also said that Wikipedia and Google users were duped into thinking SOPA was a bad bill because they assume "if it comes from these sources, it must be true."
That's because, if it comes from those sources, it probably is true. Yes, that's right, we trust Google and Wikipedia more than some record industry executive. Dupe you.
Now that we've gotten that out of the way, why don't you start letting people download music from your website? You know you could be making money right now, doing that, instead of making a fool of yourself, right?
But don't take my word for it. Google it.
Nobody is asking the obvious question, "did the treatments work?"
No internet for a week! I like it.
You can't take away the kid's smartphone, or how else could you track him?
(There is a tool that allows parents to remotely activate their child's smartphone microphone, so they can not only see where the child is, but what he or she is saying. Children: you need an acoustic foam box in your clubhouse.)
B.S. in C.S., M.S. Psy., Ph.D. in C.S. and B.S.*, and my job is to fix the printer ...
* That's Brain Science, you r'tard
In other news, Linus has a child old enough to install printers on Linux ... I feel old.
I guess it's reasonable ... they use to say, "you're not dating girls until you're 21!"
Now it's "You can't have the root password until you're 21!"
By the way, Linus is right, I usually disable selinux ... a good firewall is fine ..., and
also if your child clicks on an attachment from a stranger, that's a grounding.
Hrmm, as a matter of fact discrete systems can have chaos already in just 1 dimension while continuous systems require at least 3 dimensions. Point taken. Some physical systems (e.g. a pendulum swinging in 2D) are simple.
This is the kind of thing that gets published in "peer-reviewed" journals when there are only 2 reviewers who belong to the wrong field. It is an ancient result that given the output of even a finite state machine, you can't figure out which FSM is being used.
Determining the exact diff. eqs. used to produce a given continuous system output is so obviously intractable that it's clear the "reviewers" were physicists barking out of the wrong hole.
Can I use mod points to get an article removed entirely?
And to the poster who said "what about F = ma?" I'd like to point out that Newton was WRONG.
----
OP: O day and night, but this is wondrous strange!
"And therefore as a stranger give it welcome.
There are more things in heaven and earth, OP,
Than are dreamt of in your philosophy."
Um, does waking up at 3 am to pee count?
Seriously, people are missing out on the obvious business opportunity here. Shooting at clay pigeons is boring. Why not get a fleet of armored drones and get people to PAY to shoot at them? You could have competitions among pilots to see how long they can last without getting shot, and make people PAY for that as well. I'm sure the hunters in this case were high-fiving each other like crazy. C'mon peeps, if you can't fight 'em, join 'em!
yeah, you all know they can't use the startrek transporter
this is just a reaction to the approval of several new reactors
yes, they need security, and it sounds like they have pretty damn good security
openness is best; if the enemy have all the information and STILL can't get in, that's pretty safe
graphene bilayers selectively pass only pure water. problem solved.
The only thing I want from the TV industry is for them to license their content to internet sites.
Streaming music over "Internet Radio" is very successful because there are licensing agreements in place that allow royalties to be paid back to the content providers.
There is no Internet TV because the dinosaur-brained TV execs don't want to relinquish control of their product (even though it has already been broadcast nationwide).
Hulu and Netflix have pitiful TV content because they simply can't license the content. The TV studios are totally missing out on a huge advertising revenue source, because of their backwards thinking.
Message to TV execs: WAKE UP and smell the internet. You could be making money RIGHT NOW if you licensed your content to websites to stream to millions upon millions of handheld devices. (Don't sweat the format, other people will fix that for you.) ...
Or if you don't we'll just keep torrenting TV shows and you'll get nothing
Life is self-reproduction with variations
Politician storage is complex, expensive, and requires high levels of administratium, the heaviest element known. After long periods of storage politicians also decay into bureaucratium, which has a negative half-life and so becomes more massive over time.