olymmath

SCHWEITZER 2002 Problem 3

    Put A={yes,no}\mathbb{A}=\{ \mathrm{yes}, \mathrm{no} \} . A function f ⁣:An→Af\colon \mathbb{A}^n\rightarrow \mathbb{A} is called a decision function if (a) the value of the function changes if we change all of its arguments; and (b) the values does not change if we replace any of the arguments by the function value. A function d ⁣:An→Ad\colon \mathbb{A}^n \rightarrow \mathbb{A} is called a dictatoric function, if there is an index ii such that the value of the function equals its ii th argument. The democratic function is the function m ⁣:A3→Am\colon \mathbb{A}^3 \rightarrow \mathbb{A} that outputs the majority of its arguments. Prove that any decision function is a composition of dictatoric and democratic functions.

    Dataset text AI-MO AoPS. Quoted with source.

    Solutions

    No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator schweitzer/2002/p3 · Tag HVB5KQCSQ9 · Edit this page on GitHub · Keys: j next, k previous