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 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

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 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

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 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

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 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

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; 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

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 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

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 
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

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

--
https://mail.python.org/mailman/listinfo/python-list