Algorítmica y complejidad computacional. Un nuevo estilo / problema en matemáticas.

Lo hemos comentado muy recientemente en una entrada anterior (perdón por la autocita).

Es el nuevo estilo de publicación: sin estar seguro de que lo que se tiene entre manos y publica es 100% correcto. Al igual que los problemas que se intentan resolver, las demostraciones son cada vez más complejas y necesitan múltiples mentes para la comprobación de su corrección.

Se ha publicado una interesante entrada en el blog GLL en la que hablan sobre este  mismo tema

The issue is simple:

Someone writes up a paper that “proves” that X is true, where X is some hard open problem. How do we check that X is proved?

The proof in question is almost always long and complex. So the checking is not a simple matter. In some cases the proof might even use nonstandard methods and make it even harder to understand.

y comentan sobre las posibles reacciones a este nuevo estilo de matemáticas.  Recomendamos su lectura.

P.s. En otro orden de cosas, los lectores interesados en nuestro resultado (que obviamente no es comparable a los resultados sobre los que hablan en las entradas citadas), concretamente en como están relacionadas las propiedades de IAS regularity, entanglement, twistedness y cycle-entanglement con las propiedades de hamiltonicidad de los dígrafos de Cayley bigenerados, (con demostraciones, si no completas, mostrando los mecanismos que subyacen a una demostración) pueden consultar múltiples entradas en este mismo blog (por ejemplo del año pasado), con importante aparato gráfico, lo cual facilitará la comprensión de los mecanismos. En ellas mostramos como utilizar las propiedades señaladas para determinar si existen o no recorridos hamiltonianos en un caso dado.

Anuncios

Terms and conditions: 1. Any commenter of this blog agrees to transfer the copy right of his comments to the blogger. 2. RSS readers and / or aggregators that captures the content of this blog (posts or comments) are forbidden. These actions will be subject to the DMCA notice-and-takedown rules and will be legally pursued by the proprietor of the blog.

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s


A %d blogueros les gusta esto: