proof - Upstate NY - Buzzpoints App

Question

Examples of programs that aid in accomplishing this task include Lean and Rocq. For 10 points each:

[10e] Name this mathematical task, which often ends with writing a black square or the initials Q. E. D. Methods of accomplishing this task include induction and contradiction.

ANSWER: proof [accept word forms such as proving]

[10h] This task was the subject of a famous computer-aided proof completed by Appel and Haken in 1976. The minimum number of values used in this task, symbolized chi, is equal to two for bipartite graphs.

ANSWER: coloring [accept graph coloring or map coloring; accept, but DO NOT OTHERWISE REVEAL, four color theorem; prompt on chromatic number]

[10m] In their proof, Appel and Haken proved that any map can be colored with at least this many colors so that no two adjacent regions share the same color. Abel and Ruffini proved that this is the largest degree of a polynomial for which there exists a method to solve using radicals.

ANSWER: four [accept four color theorem]

<Editors, Other Science>

Back to bonuses

Summary


Northern California	Main	Y	4	22.50	100%	75%	50%
Southern California	Main	Y	7	25.71	100%	86%	71%
Eastern Canada (1)	Main	Y	5	20.00	100%	60%	40%
Eastern Canada (2)	Main	Y	9	18.89	89%	78%	22%
Florida	Main	Y	4	22.50	100%	100%	25%
Great Lakes	Main	Y	12	24.17	100%	92%	50%
Lower Mid-Atlantic	Main	Y	9	17.78	78%	78%	22%
Upper Mid-Atlantic	Main	Y	2	20.00	100%	50%	50%
Midwest	Main	Y	9	20.00	78%	78%	44%
North	Main	Y	4	25.00	100%	100%	50%
Northeast	Main	Y	10	25.00	100%	100%	50%
Pacific	Main	Y	8	23.75	88%	88%	63%
South Central	Main	Y	7	18.57	57%	100%	29%
Southeast	Main	Y	13	23.85	92%	92%	54%
UK (North)	UK	Y	5	24.00	100%	100%	40%
UK (South)	UK	Y	8	23.75	100%	100%	38%
Upstate NY	Main	Y	5	22.00	100%	80%	40%

Data


Cornell A	ESF	10	10	0	20
RIT B	Cornell D	10	0	10	20
RIT A	Cornell C	10	10	10	30
Rochester	Binghamton B	10	0	10	20
Cornell B	Binghamton C	10	0	10	20