EDITAR EL 10/12/08:
Trataré de modificar la pregunta para que pueda interesar a más personas compartir sus opiniones. ¡NECESITAMOS sus contribuciones!
Esta publicación está inspirada en la de MO: ejemplos de creencias falsas comunes en matemáticas . Las listas grandes a veces generan una gran cantidad de respuestas cuyas cualidades son difíciles de controlar, pero después del éxito de la publicación relacionada en MO, estoy convencido de que sería útil enumerar un grupo de creencias falsas comunes en TCS.
Aún así, dado que el sitio está diseñado para responder preguntas de nivel de investigación, ejemplos como significa tiempo no polinómico no deberían estar en la lista. Mientras tanto, queremos algunos ejemplos que pueden no ser difíciles, pero sin pensar en detalles también parece razonable. Queremos que los ejemplos sean educativos, y generalmente aparecen cuando se estudia el tema por primera vez.
¿Cuáles son algunos ejemplos (no triviales) de creencias falsas comunes en informática teórica que les parecen a las personas que estudian en esta área?
Para ser precisos, queremos ejemplos diferentes de resultados sorprendentes y resultados contraintuitivos en TCS; Este tipo de resultados hace que las personas sean difíciles de creer, pero son VERDADEROS. Aquí estamos pidiendo ejemplos sorprendentes de que las personas puedan pensar que es cierto a primera vista, pero después de un pensamiento más profundo, la falla interna queda expuesta.
Como ejemplo de respuestas adecuadas en la lista, esta proviene del campo de los algoritmos y la teoría de gráficos:
Para un gráfico de nodos , un separador de bordes es un subconjunto de bordes de tamaño , donde los nodos de pueden dividirse en dos partes no adyacentes, cada una de las cuales consta de nodos como máximo . Tenemos el siguiente lema":G k S k G ∖ S 3 n / 4
Un árbol tiene un separador de 1 borde.
¿Derecho?