correctness proof for alpha-beta algorithm

[namenobodywants at gmail.com]

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