Preguntas etiquetadas con soft-question

A lo largo de los años, me he acostumbrado a ver muchos teoremas de TCS probados mediante análisis discreto de Fourier. La transformación de Walsh-Fourier (Hadamard) es útil en prácticamente todos los subcampos de TCS, incluidas las pruebas de propiedad, pseudoaleatoriedad, complejidad de comunicación y computación cuántica. Si bien me …

60 soft-question  boolean-functions  fourier-analysis 

Después de estudiar autómatas deterministas de estado finito (DFA) en pregrado, sentí que se los comprende muy bien. Mi pregunta es si hay algo que todavía no entendemos acerca de ellos. No me refiero a generalizaciones de DFA, sino a los DFA originales no modificados que estudiamos en pregrado. Esta …

59 soft-question  open-problem  dfa 

¿Cuáles son las pautas generales para verificar sus pruebas? Creo que esto es importante para los estudiantes graduados como yo. Ya sé lo que tenemos que hacer para probar algo, pero siempre debes verificar todo antes de enviarlo. Incluso a tu propio asesor. Desarrollé algunas estrategias por prueba y error, …

59 soft-question  research-practice  writing 

Esta pregunta es algo que me he preguntado por un tiempo. Cuando las personas describen el problema P vs. NP, a menudo comparan la clase NP con la creatividad. Señalan que componer una sinfonía de calidad de Mozart (análoga a una tarea de NP) parece mucho más difícil que verificar …

59 cc.complexity-theory  complexity-classes  soft-question 

Soy nuevo en el sitio. En Mathoverflow, esto sería wiki comunitario, pero no veo cómo configurarlo aquí. No es una pregunta de investigación, pero espero sea de interés para los científicos teóricos profesionales en informática. Soy un estudiante graduado de segundo año en teoría, y me preguntaba qué consejo tenía …

59 soft-question  career  advice-request 

Con el advenimiento de internet (y el sentido común) hay una demanda cada vez mayor de investigación de acceso abierto. Varios investigadores (incluyéndome a mí) encuentran frustrante que los artículos de investigación publicados revisados ​​por expertos estén detrás de los muros de pago. Estoy buscando revistas y conferencias (relacionadas con …

58 soft-question  conferences  journals 

¿Qué herramientas utilizas para escribir artículos? Por la poca experiencia que tengo, los teóricos pasan una gran cantidad de tiempo escribiendo y refinando artículos, además de ser creativos. Es decir, comunicar su trabajo a otras personas. Tal vez los documentos no son la forma correcta de hacerlo, pero eso debería …

55 soft-question  big-list  research-practice  writing 

Es mi primera pregunta en este sitio. Estoy tomando un curso de maestría en teoría de la computación. ¿Cómo explicarías el problema P = NP a un niño de 10 años y por qué tiene una recompensa monetaria? Su toma? Actualizaré la pregunta a medida que mi cabeza se aclare …

54 cc.complexity-theory  soft-question  teaching  p-vs-np 

Muchos investigadores y grupos de investigación de primer nivel en informática) mantienen blogs activos que nos mantienen actualizados sobre las últimas investigaciones en los campos de interés de los autores. En la mayoría de los casos, las publicaciones de blog son más fáciles de entender que los documentos formales, porque …

53 soft-question 

A menudo me preguntan qué hace un informático teórico. Sería genial tener algunas buenas respuestas a esta pregunta. Tiendo a recurrir a la jerga técnica y los ojos de las personas generalmente se vuelven vidriosos en este punto. ¿Qué hace un informático teórico, en términos que pueden ser entendidos por …

51 big-list  soft-question 

Después de una fructífera pregunta en MO , pensé que valdría la pena discutir algunos nombres notables en papel en CS. Está bastante claro que la mayoría de nosotros podría sentirse atraída por leer (o al menos mirar) un artículo con un título interesante (al menos lo hago cada vez …

50 soft-question  big-list 

Recuerdo que podría haber encontrado referencias a problemas que han demostrado ser solucionables con una complejidad particular, pero sin un algoritmo conocido para alcanzar esta complejidad. Me cuesta entender cómo puede ser este el caso; cómo se vería una prueba no constructiva de la existencia de un algoritmo. ¿Existen realmente …

47 ds.algorithms  soft-question  lo.logic  proofs 

La teoría de la complejidad es un gran interés secundario mío, pero no es mi interés principal de investigación, por lo que no tengo esperanzas de asistir a todas las conferencias, leer todos los blogs y asegurarme de que la multitud "en" noticias de ultimo momento. Trato de hacer algo …

47 cc.complexity-theory  soft-question  research-practice 

Estaba editando un manuscrito estudiantil. El estudiante comentó que sería bueno ver ejemplos de escritura de calidad en trabajos publicados, y me di cuenta de que realmente no podía sacar buenos ejemplos de mi cabeza. ¿Cuáles son los mejores ejemplos de escritura matemática de calidad que has visto? Reglas: Prefiero …

46 soft-question  writing 

Hoy Ryan Williams publicó un artículo en arXiv (aparecido anteriormente en SIGACT News) que contiene una versión menos técnica de su reciente técnica ACC de límite inferior. Mi pregunta no es sobre la técnica en sí misma (por supuesto digna de elogios inmensos), sino sobre el estilo del artículo. En …

44 soft-question  big-list