Re: correctness proof for alpha-beta algorithm
On Thu, Dec 21, 2017 at 3:40 PM, Bill wrote: > Steve D'Aprano wrote: >> >> On Thu, 21 Dec 2017 08:37 am, Bill wrote: >> >>> namenobodywa...@gmail.com wrote: On Tuesday, December 19, 2017 at 3:28:39 PM UTC-8, Steve D'Aprano wrote: > Does this have anything specifically to do with Python programming? i'm working on a game-playing script (ie: in python), i want to incorporate pruning into my search algorithm, and i'd like to understand why it works; i'm not sure if that counts >>> >>> Based upon your posts, I think you should just write your own. Then you >>> can be sure that it will work. >> >> How long did you say you've been programming? Perhaps you've heard of >> something we in the programming world call "bugs". > > > You're supposed to get rid those those. Use Raid! : ) I tried using software RAID once, but my code was still buggy... ChrisA -- https://mail.python.org/mailman/listinfo/python-list
Re: correctness proof for alpha-beta algorithm
Steve D'Aprano wrote: On Thu, 21 Dec 2017 08:37 am, Bill wrote: namenobodywa...@gmail.com wrote: On Tuesday, December 19, 2017 at 3:28:39 PM UTC-8, Steve D'Aprano wrote: Does this have anything specifically to do with Python programming? i'm working on a game-playing script (ie: in python), i want to incorporate pruning into my search algorithm, and i'd like to understand why it works; i'm not sure if that counts Based upon your posts, I think you should just write your own. Then you can be sure that it will work. How long did you say you've been programming? Perhaps you've heard of something we in the programming world call "bugs". You're supposed to get rid those those. Use Raid! : ) -- https://mail.python.org/mailman/listinfo/python-list
Re: correctness proof for alpha-beta algorithm
On Thu, 21 Dec 2017 08:37 am, Bill wrote: > namenobodywa...@gmail.com wrote: >> On Tuesday, December 19, 2017 at 3:28:39 PM UTC-8, Steve D'Aprano wrote: >> >>> Does this have anything specifically to do with Python programming? >> i'm working on a game-playing script (ie: in python), i want to incorporate >> pruning into my search algorithm, and i'd like to understand why it works; >> i'm not sure if that counts > > Based upon your posts, I think you should just write your own. Then you > can be sure that it will work. How long did you say you've been programming? Perhaps you've heard of something we in the programming world call "bugs". -- Steve “Cheer up,” they said, “things could be worse.” So I cheered up, and sure enough, things got worse. -- https://mail.python.org/mailman/listinfo/python-list
Re: correctness proof for alpha-beta algorithm
namenobodywa...@gmail.com wrote: On Tuesday, December 19, 2017 at 3:28:39 PM UTC-8, Steve D'Aprano wrote: Does this have anything specifically to do with Python programming? i'm working on a game-playing script (ie: in python), i want to incorporate pruning into my search algorithm, and i'd like to understand why it works; i'm not sure if that counts Based upon your posts, I think you should just write your own. Then you can be sure that it will work. That's better than working with something that you don't understand. -- https://mail.python.org/mailman/listinfo/python-list
Re: correctness proof for alpha-beta algorithm
On Tuesday, December 19, 2017 at 5:34:17 PM UTC-8, Paul Rubin wrote: > It frankly sounds like homework. https://en.wikipedia.org/wiki/Theorem -- https://mail.python.org/mailman/listinfo/python-list
Re: correctness proof for alpha-beta algorithm
On Tuesday, December 19, 2017 at 3:28:39 PM UTC-8, Steve D'Aprano wrote: > Does this have anything specifically to do with Python programming? i'm working on a game-playing script (ie: in python), i want to incorporate pruning into my search algorithm, and i'd like to understand why it works; i'm not sure if that counts > If not, why are you asking here? Do you think that Python programmers are > especially well-known for their hard-core formal academic methodology? maybe i just think python programmers are smart or well-informed or something like that > We're pretty accepting of off-topic posts here, especially when they evolve > naturally from an on-topic post. But in future, if you're going to *start* an > off-topic thread from the first post, it would be polite to label it such > with an "[OT]" or "Off-topic" prefix to the subject line. can do -- https://mail.python.org/mailman/listinfo/python-list
Re: correctness proof for alpha-beta algorithm
On Wed, 20 Dec 2017 07:23 am, namenobodywa...@gmail.com wrote: > On Monday, December 18, 2017 at 10:16:07 PM UTC-8, Terry Reedy wrote: > >> Where or how have you looked so far? How formal do you want? > > i want full-on formal with lots of rigor and every possible detail spelled > out; i've looked in a couple of books but my best lead so far is a paper by > knuth called "an analysis of alpha-beta pruning" - what i need is along > those lines but with just a few more of the details spelled out Does this have anything specifically to do with Python programming? If not, why are you asking here? Do you think that Python programmers are especially well-known for their hard-core formal academic methodology? Have you tried searching on Google Scholar? We're pretty accepting of off-topic posts here, especially when they evolve naturally from an on-topic post. But in future, if you're going to *start* an off-topic thread from the first post, it would be polite to label it such with an "[OT]" or "Off-topic" prefix to the subject line. -- Steve “Cheer up,” they said, “things could be worse.” So I cheered up, and sure enough, things got worse. -- https://mail.python.org/mailman/listinfo/python-list
Re: correctness proof for alpha-beta algorithm
On Monday, December 18, 2017 at 10:16:07 PM UTC-8, Terry Reedy wrote: > Where or how have you looked so far? How formal do you want? i want full-on formal with lots of rigor and every possible detail spelled out; i've looked in a couple of books but my best lead so far is a paper by knuth called "an analysis of alpha-beta pruning" - what i need is along those lines but with just a few more of the details spelled out peace stm -- https://mail.python.org/mailman/listinfo/python-list
Re: correctness proof for alpha-beta algorithm
On 12/19/2017 1:01 AM, namenobodywa...@gmail.com wrote: can anybody tell me where to look for a proof of the correctness of a minimax/negamax algorithm with alpha-beta pruning? thanks if you can help Where or how have you looked so far? How formal do you want? -- Terry Jan Reedy -- https://mail.python.org/mailman/listinfo/python-list
correctness proof for alpha-beta algorithm
hi all can anybody tell me where to look for a proof of the correctness of a minimax/negamax algorithm with alpha-beta pruning? thanks if you can help peace stm -- https://mail.python.org/mailman/listinfo/python-list