41
Computational Complexity / Decision Making (at Chess) Computational Complexity / Decision Making (at Chess) Kenneth W. Regan 1 University at Buffalo (SUNY) 6 September, 2016 1 Recent Students: Robert Sur´ owka, Tamal Biswas, Michael Wehar, James Clay

Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

  • Upload
    others

  • View
    6

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Computational Complexity / Decision Making (atChess)

Kenneth W. Regan1

University at Buffalo (SUNY)

6 September, 2016

1Recent Students: Robert Surowka, Tamal Biswas, Michael Wehar, James Clay

Page 2: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Computational Complexity

The study of the time needed to solve computational problems, andhow much memory and other resources computers require.

Largely independent of the computer model, beyond a fundamentaldivide into serial, parallel, and quantum.

Main technical achievement: the relation of computationalproblems by reducibility.

Main scientific surprise:

The many thousands of computational problems that havebeen studied in many disciplines, some for centuries, cluster intobarely over a dozen equivalence classes under reducibility.

The biggest cluster is the class of NP-complete problems.

Page 3: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Computational Complexity

The study of the time needed to solve computational problems, andhow much memory and other resources computers require.

Largely independent of the computer model,

beyond a fundamentaldivide into serial, parallel, and quantum.

Main technical achievement: the relation of computationalproblems by reducibility.

Main scientific surprise:

The many thousands of computational problems that havebeen studied in many disciplines, some for centuries, cluster intobarely over a dozen equivalence classes under reducibility.

The biggest cluster is the class of NP-complete problems.

Page 4: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Computational Complexity

The study of the time needed to solve computational problems, andhow much memory and other resources computers require.

Largely independent of the computer model, beyond a fundamentaldivide into serial,

parallel, and quantum.

Main technical achievement: the relation of computationalproblems by reducibility.

Main scientific surprise:

The many thousands of computational problems that havebeen studied in many disciplines, some for centuries, cluster intobarely over a dozen equivalence classes under reducibility.

The biggest cluster is the class of NP-complete problems.

Page 5: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Computational Complexity

The study of the time needed to solve computational problems, andhow much memory and other resources computers require.

Largely independent of the computer model, beyond a fundamentaldivide into serial, parallel,

and quantum.

Main technical achievement: the relation of computationalproblems by reducibility.

Main scientific surprise:

The many thousands of computational problems that havebeen studied in many disciplines, some for centuries, cluster intobarely over a dozen equivalence classes under reducibility.

The biggest cluster is the class of NP-complete problems.

Page 6: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Computational Complexity

The study of the time needed to solve computational problems, andhow much memory and other resources computers require.

Largely independent of the computer model, beyond a fundamentaldivide into serial, parallel, and quantum.

Main technical achievement: the relation of computationalproblems by reducibility.

Main scientific surprise:

The many thousands of computational problems that havebeen studied in many disciplines, some for centuries, cluster intobarely over a dozen equivalence classes under reducibility.

The biggest cluster is the class of NP-complete problems.

Page 7: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Computational Complexity

The study of the time needed to solve computational problems, andhow much memory and other resources computers require.

Largely independent of the computer model, beyond a fundamentaldivide into serial, parallel, and quantum.

Main technical achievement: the relation of computationalproblems by reducibility.

Main scientific surprise:

The many thousands of computational problems that havebeen studied in many disciplines, some for centuries, cluster intobarely over a dozen equivalence classes under reducibility.

The biggest cluster is the class of NP-complete problems.

Page 8: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Computational Complexity

The study of the time needed to solve computational problems, andhow much memory and other resources computers require.

Largely independent of the computer model, beyond a fundamentaldivide into serial, parallel, and quantum.

Main technical achievement: the relation of computationalproblems by reducibility.

Main scientific surprise:

The many thousands of computational problems that havebeen studied in many disciplines, some for centuries, cluster intobarely over a dozen equivalence classes under reducibility.

The biggest cluster is the class of NP-complete problems.

Page 9: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Computational Complexity

The study of the time needed to solve computational problems, andhow much memory and other resources computers require.

Largely independent of the computer model, beyond a fundamentaldivide into serial, parallel, and quantum.

Main technical achievement: the relation of computationalproblems by reducibility.

Main scientific surprise:

The many thousands of computational problems that havebeen studied in many disciplines, some for centuries, cluster intobarely over a dozen equivalence classes under reducibility.

The biggest cluster is the class of NP-complete problems.

Page 10: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Computational Complexity

The study of the time needed to solve computational problems, andhow much memory and other resources computers require.

Largely independent of the computer model, beyond a fundamentaldivide into serial, parallel, and quantum.

Main technical achievement: the relation of computationalproblems by reducibility.

Main scientific surprise:

The many thousands of computational problems that havebeen studied in many disciplines, some for centuries, cluster intobarely over a dozen equivalence classes under reducibility.

The biggest cluster is the class of NP-complete problems.

Page 11: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

P=NP and Worse

P: problems with algorithms that solve them in polynomial time:

As the size of the data doubles, the time needed goes up by atmost a linear factor

: t(n) = nk =⇒ t(2n) ≤ Kt(n), K = 2k.

NP: “Nondeterministic” Polynomial Time: If you know a secretfact or guess a good answer, you can verify and teach it tosomeone in polynomial time.

Example: Given a Boolean formula f like

f = (x1 ∨ (¬x2)) ∧ ((¬x1) ∨ x2 ∨ x3) ∧ ((¬x2) ∨ (¬x3)),

is there a way to make f true? Called Satisfiability (SAT).

Equivalent to ¬f not being a tautology.

Is NP-complete, so NP = P ⇐⇒ SAT belongs to P.

We don’t even know whether SAT can be solved in linear time!

Page 12: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

P=NP and Worse

P: problems with algorithms that solve them in polynomial time:

As the size of the data doubles, the time needed goes up by atmost a linear factor: t(n) = nk =⇒ t(2n) ≤ Kt(n),

K = 2k.

NP: “Nondeterministic” Polynomial Time: If you know a secretfact or guess a good answer, you can verify and teach it tosomeone in polynomial time.

Example: Given a Boolean formula f like

f = (x1 ∨ (¬x2)) ∧ ((¬x1) ∨ x2 ∨ x3) ∧ ((¬x2) ∨ (¬x3)),

is there a way to make f true? Called Satisfiability (SAT).

Equivalent to ¬f not being a tautology.

Is NP-complete, so NP = P ⇐⇒ SAT belongs to P.

We don’t even know whether SAT can be solved in linear time!

Page 13: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

P=NP and Worse

P: problems with algorithms that solve them in polynomial time:

As the size of the data doubles, the time needed goes up by atmost a linear factor: t(n) = nk =⇒ t(2n) ≤ Kt(n), K = 2k.

NP: “Nondeterministic” Polynomial Time: If you know a secretfact or guess a good answer, you can verify and teach it tosomeone in polynomial time.

Example: Given a Boolean formula f like

f = (x1 ∨ (¬x2)) ∧ ((¬x1) ∨ x2 ∨ x3) ∧ ((¬x2) ∨ (¬x3)),

is there a way to make f true? Called Satisfiability (SAT).

Equivalent to ¬f not being a tautology.

Is NP-complete, so NP = P ⇐⇒ SAT belongs to P.

We don’t even know whether SAT can be solved in linear time!

Page 14: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

P=NP and Worse

P: problems with algorithms that solve them in polynomial time:

As the size of the data doubles, the time needed goes up by atmost a linear factor: t(n) = nk =⇒ t(2n) ≤ Kt(n), K = 2k.

NP: “Nondeterministic” Polynomial Time

: If you know a secretfact or guess a good answer, you can verify and teach it tosomeone in polynomial time.

Example: Given a Boolean formula f like

f = (x1 ∨ (¬x2)) ∧ ((¬x1) ∨ x2 ∨ x3) ∧ ((¬x2) ∨ (¬x3)),

is there a way to make f true? Called Satisfiability (SAT).

Equivalent to ¬f not being a tautology.

Is NP-complete, so NP = P ⇐⇒ SAT belongs to P.

We don’t even know whether SAT can be solved in linear time!

Page 15: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

P=NP and Worse

P: problems with algorithms that solve them in polynomial time:

As the size of the data doubles, the time needed goes up by atmost a linear factor: t(n) = nk =⇒ t(2n) ≤ Kt(n), K = 2k.

NP: “Nondeterministic” Polynomial Time: If you know a secretfact or guess a good answer, you can verify and teach it tosomeone in polynomial time.

Example: Given a Boolean formula f like

f = (x1 ∨ (¬x2)) ∧ ((¬x1) ∨ x2 ∨ x3) ∧ ((¬x2) ∨ (¬x3)),

is there a way to make f true? Called Satisfiability (SAT).

Equivalent to ¬f not being a tautology.

Is NP-complete, so NP = P ⇐⇒ SAT belongs to P.

We don’t even know whether SAT can be solved in linear time!

Page 16: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

P=NP and Worse

P: problems with algorithms that solve them in polynomial time:

As the size of the data doubles, the time needed goes up by atmost a linear factor: t(n) = nk =⇒ t(2n) ≤ Kt(n), K = 2k.

NP: “Nondeterministic” Polynomial Time: If you know a secretfact or guess a good answer, you can verify and teach it tosomeone in polynomial time.

Example: Given a Boolean formula f like

f = (x1 ∨ (¬x2)) ∧ ((¬x1) ∨ x2 ∨ x3) ∧ ((¬x2) ∨ (¬x3)),

is there a way to make f true?

Called Satisfiability (SAT).

Equivalent to ¬f not being a tautology.

Is NP-complete, so NP = P ⇐⇒ SAT belongs to P.

We don’t even know whether SAT can be solved in linear time!

Page 17: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

P=NP and Worse

P: problems with algorithms that solve them in polynomial time:

As the size of the data doubles, the time needed goes up by atmost a linear factor: t(n) = nk =⇒ t(2n) ≤ Kt(n), K = 2k.

NP: “Nondeterministic” Polynomial Time: If you know a secretfact or guess a good answer, you can verify and teach it tosomeone in polynomial time.

Example: Given a Boolean formula f like

f = (x1 ∨ (¬x2)) ∧ ((¬x1) ∨ x2 ∨ x3) ∧ ((¬x2) ∨ (¬x3)),

is there a way to make f true? Called Satisfiability (SAT).

Equivalent to ¬f not being a tautology.

Is NP-complete, so NP = P ⇐⇒ SAT belongs to P.

We don’t even know whether SAT can be solved in linear time!

Page 18: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

P=NP and Worse

P: problems with algorithms that solve them in polynomial time:

As the size of the data doubles, the time needed goes up by atmost a linear factor: t(n) = nk =⇒ t(2n) ≤ Kt(n), K = 2k.

NP: “Nondeterministic” Polynomial Time: If you know a secretfact or guess a good answer, you can verify and teach it tosomeone in polynomial time.

Example: Given a Boolean formula f like

f = (x1 ∨ (¬x2)) ∧ ((¬x1) ∨ x2 ∨ x3) ∧ ((¬x2) ∨ (¬x3)),

is there a way to make f true? Called Satisfiability (SAT).

Equivalent to ¬f not being a tautology.

Is NP-complete, so NP = P ⇐⇒ SAT belongs to P.

We don’t even know whether SAT can be solved in linear time!

Page 19: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

P=NP and Worse

P: problems with algorithms that solve them in polynomial time:

As the size of the data doubles, the time needed goes up by atmost a linear factor: t(n) = nk =⇒ t(2n) ≤ Kt(n), K = 2k.

NP: “Nondeterministic” Polynomial Time: If you know a secretfact or guess a good answer, you can verify and teach it tosomeone in polynomial time.

Example: Given a Boolean formula f like

f = (x1 ∨ (¬x2)) ∧ ((¬x1) ∨ x2 ∨ x3) ∧ ((¬x2) ∨ (¬x3)),

is there a way to make f true? Called Satisfiability (SAT).

Equivalent to ¬f not being a tautology.

Is NP-complete,

so NP = P ⇐⇒ SAT belongs to P.

We don’t even know whether SAT can be solved in linear time!

Page 20: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

P=NP and Worse

P: problems with algorithms that solve them in polynomial time:

As the size of the data doubles, the time needed goes up by atmost a linear factor: t(n) = nk =⇒ t(2n) ≤ Kt(n), K = 2k.

NP: “Nondeterministic” Polynomial Time: If you know a secretfact or guess a good answer, you can verify and teach it tosomeone in polynomial time.

Example: Given a Boolean formula f like

f = (x1 ∨ (¬x2)) ∧ ((¬x1) ∨ x2 ∨ x3) ∧ ((¬x2) ∨ (¬x3)),

is there a way to make f true? Called Satisfiability (SAT).

Equivalent to ¬f not being a tautology.

Is NP-complete, so NP = P ⇐⇒ SAT belongs to P.

We don’t even know whether SAT can be solved in linear time!

Page 21: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

P=NP and Worse

P: problems with algorithms that solve them in polynomial time:

As the size of the data doubles, the time needed goes up by atmost a linear factor: t(n) = nk =⇒ t(2n) ≤ Kt(n), K = 2k.

NP: “Nondeterministic” Polynomial Time: If you know a secretfact or guess a good answer, you can verify and teach it tosomeone in polynomial time.

Example: Given a Boolean formula f like

f = (x1 ∨ (¬x2)) ∧ ((¬x1) ∨ x2 ∨ x3) ∧ ((¬x2) ∨ (¬x3)),

is there a way to make f true? Called Satisfiability (SAT).

Equivalent to ¬f not being a tautology.

Is NP-complete, so NP = P ⇐⇒ SAT belongs to P.

We don’t even know whether SAT can be solved in linear time!

Page 22: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Other Problems and Models

Factoring is among a handful of problems in NP not known to becomplete or in P.

Among few problems we want to be hard, since RSA securitydepends on it.

But solvable in polynomial time by a quantum computer.

Textbook on quantum algorithms; blog series: Can QCs be Built?

Research on simulating quantum circuits by algebra, for example:

a1 Hx1

• Hx3 b2b3 + x3 − 2b2b3x3

b1

a2 Hb2

• • b2

a3x1b2 + a3 − 2x1b2a3

Hb3

• b3

Page 23: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Other Problems and Models

Factoring is among a handful of problems in NP not known to becomplete or in P.

Among few problems we want to be hard, since RSA securitydepends on it.

But solvable in polynomial time by a quantum computer.

Textbook on quantum algorithms; blog series: Can QCs be Built?

Research on simulating quantum circuits by algebra, for example:

a1 Hx1

• Hx3 b2b3 + x3 − 2b2b3x3

b1

a2 Hb2

• • b2

a3x1b2 + a3 − 2x1b2a3

Hb3

• b3

Page 24: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Other Problems and Models

Factoring is among a handful of problems in NP not known to becomplete or in P.

Among few problems we want to be hard, since RSA securitydepends on it.

But solvable in polynomial time by a quantum computer.

Textbook on quantum algorithms; blog series: Can QCs be Built?

Research on simulating quantum circuits by algebra, for example:

a1 Hx1

• Hx3 b2b3 + x3 − 2b2b3x3

b1

a2 Hb2

• • b2

a3x1b2 + a3 − 2x1b2a3

Hb3

• b3

Page 25: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Other Problems and Models

Factoring is among a handful of problems in NP not known to becomplete or in P.

Among few problems we want to be hard, since RSA securitydepends on it.

But solvable in polynomial time by a quantum computer.

Textbook on quantum algorithms; blog series: Can QCs be Built?

Research on simulating quantum circuits by algebra, for example:

a1 Hx1

• Hx3 b2b3 + x3 − 2b2b3x3

b1

a2 Hb2

• • b2

a3x1b2 + a3 − 2x1b2a3

Hb3

• b3

Page 26: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Other Problems and Models

Factoring is among a handful of problems in NP not known to becomplete or in P.

Among few problems we want to be hard, since RSA securitydepends on it.

But solvable in polynomial time by a quantum computer.

Textbook on quantum algorithms;

blog series: Can QCs be Built?

Research on simulating quantum circuits by algebra, for example:

a1 Hx1

• Hx3 b2b3 + x3 − 2b2b3x3

b1

a2 Hb2

• • b2

a3x1b2 + a3 − 2x1b2a3

Hb3

• b3

Page 27: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Other Problems and Models

Factoring is among a handful of problems in NP not known to becomplete or in P.

Among few problems we want to be hard, since RSA securitydepends on it.

But solvable in polynomial time by a quantum computer.

Textbook on quantum algorithms; blog series: Can QCs be Built?

Research on simulating quantum circuits by algebra, for example:

a1 Hx1

• Hx3 b2b3 + x3 − 2b2b3x3

b1

a2 Hb2

• • b2

a3x1b2 + a3 − 2x1b2a3

Hb3

• b3

Page 28: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Other Problems and Models

Factoring is among a handful of problems in NP not known to becomplete or in P.

Among few problems we want to be hard, since RSA securitydepends on it.

But solvable in polynomial time by a quantum computer.

Textbook on quantum algorithms; blog series: Can QCs be Built?

Research on simulating quantum circuits by algebra,

for example:

a1 Hx1

• Hx3 b2b3 + x3 − 2b2b3x3

b1

a2 Hb2

• • b2

a3x1b2 + a3 − 2x1b2a3

Hb3

• b3

Page 29: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Other Problems and Models

Factoring is among a handful of problems in NP not known to becomplete or in P.

Among few problems we want to be hard, since RSA securitydepends on it.

But solvable in polynomial time by a quantum computer.

Textbook on quantum algorithms; blog series: Can QCs be Built?

Research on simulating quantum circuits by algebra, for example:

a1 Hx1

• Hx3 b2b3 + x3 − 2b2b3x3

b1

a2 Hb2

• • b2

a3x1b2 + a3 − 2x1b2a3

Hb3

• b3

Page 30: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Decision Making in Chess...

and Tests

Page 31: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Decision Making in Chess...

and Tests

Page 32: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Decision Making in Chess... and Tests

Page 33: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Advantages of Chess Model

1 Large data: tens of millions of moves in the public record ofgames.

2 Known and Stable Standards: Quality in chess measured byElo rating scale.

3 Depth and level of thinking natural from structure of game.

4 Intrinsic formulation of difficulty.

5 Tight correspondence to item-response theory and otherpsychometric and decision-making models.

6 Predictive Analytics: can do risk evaluation, fraud detection...

7 Within chess: intrinsic ratings and cheating testing.

8 Discover new scientific regularities of human thoughtprocesses.

Page 34: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Advantages of Chess Model

1 Large data: tens of millions of moves in the public record ofgames.

2 Known and Stable Standards: Quality in chess measured byElo rating scale.

3 Depth and level of thinking natural from structure of game.

4 Intrinsic formulation of difficulty.

5 Tight correspondence to item-response theory and otherpsychometric and decision-making models.

6 Predictive Analytics: can do risk evaluation, fraud detection...

7 Within chess: intrinsic ratings and cheating testing.

8 Discover new scientific regularities of human thoughtprocesses.

Page 35: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Advantages of Chess Model

1 Large data: tens of millions of moves in the public record ofgames.

2 Known and Stable Standards: Quality in chess measured byElo rating scale.

3 Depth and level of thinking natural from structure of game.

4 Intrinsic formulation of difficulty.

5 Tight correspondence to item-response theory and otherpsychometric and decision-making models.

6 Predictive Analytics: can do risk evaluation, fraud detection...

7 Within chess: intrinsic ratings and cheating testing.

8 Discover new scientific regularities of human thoughtprocesses.

Page 36: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Advantages of Chess Model

1 Large data: tens of millions of moves in the public record ofgames.

2 Known and Stable Standards: Quality in chess measured byElo rating scale.

3 Depth and level of thinking natural from structure of game.

4 Intrinsic formulation of difficulty.

5 Tight correspondence to item-response theory and otherpsychometric and decision-making models.

6 Predictive Analytics: can do risk evaluation, fraud detection...

7 Within chess: intrinsic ratings and cheating testing.

8 Discover new scientific regularities of human thoughtprocesses.

Page 37: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Advantages of Chess Model

1 Large data: tens of millions of moves in the public record ofgames.

2 Known and Stable Standards: Quality in chess measured byElo rating scale.

3 Depth and level of thinking natural from structure of game.

4 Intrinsic formulation of difficulty.

5 Tight correspondence to item-response theory and otherpsychometric and decision-making models.

6 Predictive Analytics: can do risk evaluation, fraud detection...

7 Within chess: intrinsic ratings and cheating testing.

8 Discover new scientific regularities of human thoughtprocesses.

Page 38: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Advantages of Chess Model

1 Large data: tens of millions of moves in the public record ofgames.

2 Known and Stable Standards: Quality in chess measured byElo rating scale.

3 Depth and level of thinking natural from structure of game.

4 Intrinsic formulation of difficulty.

5 Tight correspondence to item-response theory and otherpsychometric and decision-making models.

6 Predictive Analytics: can do risk evaluation, fraud detection...

7 Within chess: intrinsic ratings and cheating testing.

8 Discover new scientific regularities of human thoughtprocesses.

Page 39: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Advantages of Chess Model

1 Large data: tens of millions of moves in the public record ofgames.

2 Known and Stable Standards: Quality in chess measured byElo rating scale.

3 Depth and level of thinking natural from structure of game.

4 Intrinsic formulation of difficulty.

5 Tight correspondence to item-response theory and otherpsychometric and decision-making models.

6 Predictive Analytics: can do risk evaluation, fraud detection...

7 Within chess: intrinsic ratings and cheating testing.

8 Discover new scientific regularities of human thoughtprocesses.

Page 40: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Advantages of Chess Model

1 Large data: tens of millions of moves in the public record ofgames.

2 Known and Stable Standards: Quality in chess measured byElo rating scale.

3 Depth and level of thinking natural from structure of game.

4 Intrinsic formulation of difficulty.

5 Tight correspondence to item-response theory and otherpsychometric and decision-making models.

6 Predictive Analytics: can do risk evaluation, fraud detection...

7 Within chess: intrinsic ratings and cheating testing.

8 Discover new scientific regularities of human thoughtprocesses.

Page 41: Computational Complexity / Decision Making (at Chess)regan/Talks/CSE501Sep2016.pdf · Computational Complexity / Decision Making (at Chess) Computational Complexity The study of the

Computational Complexity / Decision Making (at Chess)

Advantages of Chess Model

1 Large data: tens of millions of moves in the public record ofgames.

2 Known and Stable Standards: Quality in chess measured byElo rating scale.

3 Depth and level of thinking natural from structure of game.

4 Intrinsic formulation of difficulty.

5 Tight correspondence to item-response theory and otherpsychometric and decision-making models.

6 Predictive Analytics: can do risk evaluation, fraud detection...

7 Within chess: intrinsic ratings and cheating testing.

8 Discover new scientific regularities of human thoughtprocesses.