Reductions and Jokes

Cropped from Maths History source

Emil Post was the first to use the formal notion of reduction between problems. We discussed Post’s wonderful work and its relevance to complexity earlier here.

Today Ken and I want to discuss the notion of reduction, and also perhaps some jokes for your amusement.

Reductions are used throughout mathematics. We regard Post’s definition from 1944 as quintessential. His are called many-one reductions. Here is the definition in a functional style that we’ve tried to promote in other cases: A problem reduces to a problem if there is a computable function such that for any instance of problem ,

If and are languages then this gives the familiar condition . But the idea can be more general: and can be functions.

Alan Turing had earlier defined an even more general kind of reduction, in which given one computes multiple , gets the answer for each of them, and finally pieces together the answers to obtain . But this feels more like “expanding” than “reducing.” We want it to be: one , one . That was Post’s notion.

Dating Reductions and Jokes

The idea of reduction is simple: When confronted with some problem, be lazy: Instead of solving the problem, show that it can be changed and then solved by some previously known method. That is, show that your problem is reduced to someone’s already solved problem. Be lazy.

In this form, we can think of two mathematical examples that are much older than Post’s:

• Logarithms. Multiplying two numbers and with many digits or decimals can be cumbersome. If you can compute and its inverse such that

  

  then your multiplication is reduced to a much easier addition. John Napier gave the name “logarithm” in 1614 and soon William Oughtred built a physical device to automate this reduction. If you are over 40, perhaps you have seen one.

• Integration. Do you have a hard integral ? Often tricks of defining , so , and/or integrating by parts, yields an integral that is easier to solve, and whose solution completes your answer.

The latter example is in Wikipedia’s article on reduction. The former, however, has the signature idea of reduction between problems, more than massaging instances of the same problem. What we really want to know is:

When was the process of transforming between problems first known by the term reduction?

We wonder if tracing an old kind of joke can help. The point is that reductions are a neat source of jokes. Here is a classic one, taken from a big list of math jokes. The list gives a second form of the joke based on reductions and there are many others. More on the jokes later.

A physicist and a mathematician are sitting in a faculty lounge. Suddenly, the coffee machine catches on fire. The physicist grabs a waste basket, empties the basket, leaps towards the sink, fills the basket with water, and puts out the fire. As this coffee machine has done this before they agree to keep a waste basket next to the coffee machine filled with water.

The next day, the same two are sitting in the same lounge. Again, the coffee machine catches on fire. This time, the mathematician stands up, grabs the waste basket that is filled with water. Empties it, places some trash in the basket, and hands it to the physicist. Thus reducing the problem to a previously solved one.

Instead of putting out a fire, the following video is about retrieving a shoe that is floating away.

Another Example

Here is an example of reductions that are not so silly and a little less simple.

Imagine that Alice and Bob are at it again. Bob wants to be able to multiply integers fast and he plans on building a hardware system that stores the answers in a table. Then his hardware system will be able to compute the product of two integers by just looking up the answers. Okay, there are really better ways to do this, but just play along for the moment.

Bob’s table is big and he is troubled. The above table has entries just to multiply numbers less than . Clearly for a more extensive table the cost grows fast. He asks his friend Alice for some help. She says:”Just store the diagonal values and I can show you how to handle the general case.” Here is her old trick.

Using this allows Bob to just store the diagonal of the multiplication table, and forget all the rest. It is a powerful reduction that shows:

One can reduce integer multiplication to addition and taking the square of a number.

For example,

Complexity Reductions: No Joke?

Wikipedia actually gives the above as the first example in its article on the complexity kind of reduction. These kind of reductions not only define NP hardness and completeness, they are really needed to understand what the problem is really about.

For example, once one accepts that a language in can be represented by a uniform family of Boolean circuits , one for each length of instances for , the reduction to SAT is quickly defined: The have auxiliary inputs , where is polynomial in , such that there is a making if and only if . The circuit can consist of binary NAND gates , each with input wires (which may be inputs or ) and one or more output wires (which may be the overall output ). The reduction first constructs the Boolean formula

To apply to a given , simply substitute the bits of for the variables and simplify to make the formula . Then is satisfiable if and only if . The reduction not only proves the -completeness of SAT (indeed, 3SAT) instantly, it conveys the character both of SAT and what is all about.

This leads us to wonder something about teaching complexity theory. Maybe reductions, not languages, should be the principal objects of study.

This may seem like a joke but there are benefits. The reductions are composable in ways that languages are not. They carry the source and target problems with them, at least in the form of the function’s arguments and values. Emphasizing reductions highlights the greatest success of complexity theory to date, which is proving relations between problems, rather than its failure to classify languages via lower bounds.

More Jokes

Here are a selection from a big list of math jokes that speak most to computing, plus one from here. We have embellished a few of them:

• A theory professor is one who talks in someone else’s sleep.

• Two is the oddest prime of all, because it’s the only one that’s even.

• A student comes to the department with a shiny new coffee cup, the sort of which you get when having won something. They explain: I won it in my Programming Class contest. They asked what is. I said and got 3rd place.

• There are 10 types of people in the world, those who see it in binary and those who don’t.

• An engineer thinks that his equations are an approximation to reality. A physicist thinks reality is an approximation to his equations. A mathematician doesn’t care. A computer scientist makes reality equal the equations.

• There is no logical foundation for mathematical proof, and Gödel proved it!

• Mathematics is like checkers in being suitable for the young, not too difficult, amusing, and
  without peril to the state. [Plato wrote that 2,400 years ago; they did have checkers.]
  Coding, on the other hand…

Open Problems

How should the concept of reduction be taught and emphasized? Can you trace the age of the classic reduction joke?

There is a setting for multiplication where our Alice and Bob reduction example fails. Two of our latter list of jokes might suggest it to you. What is the issue?