## Easy and Hard problems in Mathematics [closed]

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Modified question:

I would like to know some examples of problems in Mathematics, for pedagogical purposes, which do not involve difficult techiques to solve the problem but with a change of context turns them into monstrous-unimaginably difficult to solve problems.

By changing the context I mean, by changing one class of objects in the problem to a related class of objects. For example, from directed graph to undirected graph or Zygmund class to Log-lipshitz class. By changing a 'less-than problem' to 'greater-than problem'. From 2-case problem to 3-case problem. There are plenty of such examples in Theoretical Computer Science or Computational Complexity theory. I need some examples in Mathematics. Lot of examples fall in this category but I am looking for only extreme examples like the ones I stated below. Since, this question is asked for pedagogical purpose it would be interesting if there is a story behind the problem.

Examples of problems:

• Linear Programming to integer linear programming
• 2-coloring to 3-coloring
• Eulerian graph to Hamiltonian graph
• Undirected graph case to directed graph case in Shannon's switching game
• 2-SAT to 3-SAT

One thought which motivated me to pose this question is: what if Konigsberg problem has been formulated as a vertex problem. Would Leonard Euler get inspried to create graph theory? No doubt, history speaks differently as Konigsberg problem is stated in terms of edges. Not only Euler solved this problem but created a branch of mathematics out of it! And I am not sure what turn of events would have taken place had the problem been posed in terms of vertices.

IMHO, there are look-alike easy problems and hard problems coexisting but it is the easy problems which saved mathematicians day and hard ones which gave them incentive to work harder.

Some pointers for hardness of problem: problems which need sophisticated tools, techniques which diverge from the routine ones, radical thinking or bold ideas to solve the them, like Poincare conjecture. Or, those problems which do not have adequate tools yet to attempt them, like (NP=P?).

I would appreciate any answers in this direction. Thank you in advance.

-

3
I'm guessing the words "small change" are I'll defined enough to get this question closed. That being said, when you prove theorems, you have some assumptions on the objects of study, in a huge number of cases removing an assumption makes the theorem not just more difficult, but plain wrong. But it's at a fundamental level. An example of this is Fermat's Last theorem(I went with the most obvious example possible), if you take R or C rather than Z, solutions exist and the proof is fairly straightforward. – B. Bischof Feb 26 2012 at 5:49

1
I just voted to close as "not a real question" but in hindsight I think "subjective and argumentative" is nearer the mark. A lot of these so-called small changes are in fact BIG changes, in my opinion. – Yemon Choi Feb 26 2012 at 7:33

7
If the change from "wanting real solutions" to "wanting integer solutions" seems small, then one may need stronger lenses. – Yemon Choi Feb 26 2012 at 10:27

1
I take it you are hoping to get the question reopened. Perhaps you should start a thread on the meta site where there could be a discussion of how the question might be made more acceptable on MO. I'm not sure that a change in the title suffices. – Gerry Myerson Feb 28 2012 at 22:22

1
Meta discussion - meta.mathoverflow.net/discussion/1314/… – François G. Dorais♦ Feb 29 2012 at 2:53
show 6 more comments

## 5 Answers

Finding the $\ell_p$ operator norm of a matrix is easy for $p=1,2,\infty$, but it is NP-hard for any other $p$ (see this discussion, for example).

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Changing $L^2$ convergence to almost everywhere convergence (of the Fourier series of an $L^2$ function) takes (essentially) the rather easy Riesz-Fischer theorem into the very hard Carleson's theorem.

-
This is very common, for example the mean ergodic theorem (Von-Neumann) vs. the pointwise ergodic theorem (Birkhoff). – Asaf Feb 26 2012 at 7:22

3
Always good to see love for Carleson's theorem, but I would debate that this is a "small change" ... – Yemon Choi Feb 26 2012 at 9:59

Changing the question from "integral quadratic form represents zero" to "real quadratic form almost represents zero", changes the classical theorems (which eventually sum up to the Hasse-Minkowski theorem) to the Oppenheim conjecture, proved by Margulis in the late 80s, by completely different methods (instead of algebraic number theory, one uses Homogeneous Flows).

-

Finding real solutions to an elliptic curve compared to finding integer solutions.

-

1
Not a small change, in my opinion – Yemon Choi Feb 26 2012 at 10:30

Let C be a finite collection of finite sets. Further let C be closed under union. Is it always the case that there is an element x which is in at least half the members of C?

The answer to this question is no. If, however, the union of C is required to be nonempty, then the answer is unknown to me, and I suspect to many others. (Look up union closed sets conjecture.)
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 5, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9437775015830994, "perplexity_flag": "middle"}