Preguntas etiquetadas con soft-question

¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el hecho de que no es posible …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Estoy revisando el Manual de Computación Inspirado en la Naturaleza e Innovador para SIGACT News. Es una lectura muy interesante. Sin embargo, cada capítulo tiene el sabor: "Esta es mi área de investigación, ¡y maldita sea, es increíble!" Entonces, parte de lo que estoy tratando de hacer es separar el …

18 soft-question 

Es bien sabido que hay toneladas de aficionados, incluido yo mismo, que están interesados ​​en el problema P vs. NP. También hay muchos aficionados, incluido yo mismo, que han intentado resolver el problema. Un problema que creo que sufre la comunidad TCS es una relación relativamente alta de interés-aficionado-experto; Esto …

18 soft-question 

La teoría de la complejidad parece capturar algo fundamental sobre la estructura del universo, ya que formaliza la noción intuitiva de que algunos problemas son más difíciles que otros. Scott Aaronson predijo : "El supuesto de dureza NP eventualmente será visto como análogo a la segunda ley de la termodinámica …

18 cc.complexity-theory  soft-question  big-picture 

Muy a menudo, si el tiempo de ejecución de un algoritmo es una expresión complicada, el algoritmo en sí también es complicado y poco práctico. Cada una de las raíces cúbicas y los factores en el tiempo de ejecución asintótico tienden a agregar complejidad al algoritmo y también a factores …

18 ds.algorithms  soft-question  recreational 

¿Qué universidades tienen un sólido plan de estudios de computación cuántica y ofrecen algún tipo de computación cuántica / cursos de información / investigación? El objetivo aquí es recopilar una lista útil para alguien que esté considerando estudiar un posgrado en estos campos, no discutir cuál es el "mejor". Para …

18 soft-question  quantum-computing  big-list  quantum-information 

Pido disculpas si esto está fuera de tema. Parece que el nombre de dominio ha expirado. Espero que algunos miembros de la comunidad aquí (no soy uno) puedan saber quién era el administrador / propietario de ese sitio. Fue un recurso bastante útil.

17 soft-question 

Soy un matemático que trabaja principalmente en la teoría espectral de operadores unitarios y autoadjuntos. Parte de mi investigación es relevante en caminatas cuánticas, y tengo un artículo en particular que me gustaría presentar en la conferencia de Procesamiento de Información Cuántica este enero en Seattle. La cultura de la …

17 soft-question  conferences 

Soy un estudiante graduado en matemáticas con una sólida formación en lógica. He tomado un curso de posgrado en lógica junto con cursos de posgrado sobre teoría de modelos finitos y otro sobre forzado y teoría de conjuntos. La mayoría de los textos de CS parecen asumir solo un trasfondo …

17 lo.logic  soft-question  big-list  books  formal-methods 

Recientemente estuve en una conferencia apoyada por ACM. Durante el banquete, los organizadores de la conferencia nos contaron sobre el futuro y el pasado de la conferencia. Nos dijeron que durante la edición 2010 de la conferencia hubo una pérdida de 5000 $. Nos mostraron el presupuesto de la conferencia …

17 soft-question  conferences 

Mi idea de una carrera de ensueño es una carrera en investigación industrial, donde uno puede abordar problemas que son desafiantes y también tienen un uso práctico. Con ese fin, ¿es una mala idea buscar un doctorado en TCS (estoy interesado en temas como algoritmos distribuidos / paralelos, algoritmos en …

17 soft-question  advice-request  career 

Muchas publicaciones de ciencias de la computación de las décadas de 1950 y 1960 contienen especulaciones filosóficas fascinantes sobre la naturaleza de la mente y el significado de la información en relación con el mundo físico. Ejemplos famosos son la "Prueba de Turing", el "Espacio de cálculo" de Zuse, "It …

16 reference-request  soft-question  philosophy 

Disculpas si esta es una pregunta demasiado amplia para este foro, pero estoy interesado en tácticas y consejos específicos que los investigadores (en TCS) usan para escribir la introducción de un trabajo de investigación.

16 soft-question  advice-request  research-practice  writing 

Dado que la mayoría de las universidades estadounidenses solo aceptan solicitudes en un solo campo, estoy tratando de descubrir cuáles son las ventajas / desventajas de postularse a un programa de teoría de CS versus un programa de matemática aplicada dado que el interés de uno se encuentra en algún …

16 soft-question  advice-request  career 

¿Hay casos en los que publicaciones adicionales pueden dañar su registro? Esto evita los casos obvios en los que publica resultados incorrectos o controvertidos. También evite el caso del tiempo finito: solo tiene tanto tiempo para pensar y escribir, por lo que escribir un artículo puede hacer que pierda tiempo …

16 soft-question  advice-request  career