Re: correctness proof for alpha-beta algorithm

2017-12-20 Thread Chris Angelico
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

Re: correctness proof for alpha-beta algorithm

2017-12-20 Thread Bill
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

Re: correctness proof for alpha-beta algorithm

2017-12-20 Thread Steve D'Aprano
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

Re: correctness proof for alpha-beta algorithm

2017-12-20 Thread Bill
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

Re: correctness proof for alpha-beta algorithm

2017-12-20 Thread namenobodywants
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

2017-12-20 Thread namenobodywants
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;

Re: correctness proof for alpha-beta algorithm

2017-12-19 Thread Steve D'Aprano
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

Re: correctness proof for alpha-beta algorithm

2017-12-19 Thread namenobodywants
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

Re: correctness proof for alpha-beta algorithm

2017-12-18 Thread Terry Reedy
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 --