Preguntas etiquetadas con physics

Parece claro que varios subcampos de la informática teórica se han visto significativamente afectados por los resultados de la física teórica. Dos ejemplos de esto son Computación cuántica Resultados de mecánica estadística utilizados en análisis de complejidad / algoritmos heurísticos. Entonces mi pregunta es ¿hay áreas importantes que me estoy …

42 soft-question  quantum-computing  statistical-physics  physics 

La complejidad computacional incluye el estudio de la complejidad temporal o espacial de los problemas computacionales. Desde la perspectiva de la informática móvil, la energía es un recurso informático muy valioso. Entonces, ¿existe una adaptación bien estudiada de las máquinas de Turing que explique la energía consumida durante la ejecución …

35 cc.complexity-theory  physics 

Esta pregunta se le hizo a Jeannette Wing después de su presentación PCAST sobre informática. “Desde una perspectiva física, ¿hay un volumen máximo de información que podamos tener?” (Una buena pregunta desafiante para la comunidad teórica de la informática ya que creo que plantea la pregunta “¿Qué es la información?”) …

33 it.information-theory  physics 

Como aficionado de TCS, estoy leyendo material muy introductorio sobre informática cuántica. Aquí están los pocos datos elementales que he aprendido hasta ahora: No se sabe que las computadoras cuánticas resuelvan problemas NP-completos en tiempo polinómico. "La magia cuántica no será suficiente" (Bennett et al. 1997): si descarta la estructura …

33 cc.complexity-theory  complexity-classes  quantum-computing  conditional-results  physics 

Muchos expertos creen que la conjetura es cierta y la utilizan en sus resultados. Mi preocupación es que la complejidad depende en gran medida de la conjetura P ≠ N P.P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Entonces mi pregunta es: Mientras no se pruebe la conjetura , ¿se puede / se …

30 cc.complexity-theory  soft-question  big-picture  p-vs-np  physics 

He escuchado que existen argumentos heurísticos en física estadística que arrojan resultados en la teoría de probabilidad para la cual se desconocen o son muy difíciles las pruebas rigurosas. ¿Cuál es un ejemplo de juguete simple de tal fenómeno? Sería bueno si la respuesta asumiera pocos antecedentes en física estadística …

29 sat  pr.probability  physics  statistical-physics 

Considere una red eléctrica modelada como un gráfico plano G, donde cada borde representa una resistencia de 1Ω. ¿Qué tan rápido podemos calcular la resistencia efectiva exacta entre dos vértices en G? De manera equivalente, ¿qué tan rápido podemos calcular la corriente exacta que fluye a lo largo de cada …

22 ds.algorithms  graph-theory  planar-graphs  physics 

Esta pregunta es un seguimiento de la pregunta sobre los algoritmos de ADN formulada por Aadita Mehra . En los comentarios allí, Joe Fitzsimmons dijo, en parte: [E] l radio del sistema debe escalar proporcionalmente a la masa para evitar esto. El poder computacional se escala a lo sumo linealmente …

22 cc.complexity-theory  quantum-computing  ne.neural-evol  physics  natural-computing 

Para verificar mi comprensión, me gustaría compartir algunas ideas sobre los requisitos de energía de la computación. Este es un seguimiento de mi pregunta anterior y podría estar relacionado con la pregunta de Vinay sobre las leyes de conservación . Se me ocurrió que, desde un punto de vista termodinámico, …

22 cc.complexity-theory  big-picture  physics 

En la computación cuántica adiabática (AQC), uno codifica la solución a un problema de optimización en el estado fundamental de un [problema] Hamiltoniano . Para llegar a este estado fundamental, comienza en un estado inicial (fundamental) fácilmente refrigerable con Hamiltoniano H i y "recocido" (perturbación adiabática) hacia H p , …

19 reference-request  quantum-computing  physics  topology 

La computación reversible es un modelo computacional que solo permite operaciones termodinámicamente reversibles. De acuerdo con el principio de Landauer, que establece que borrar un poco de información libera julios de calor, esto excluye las funciones de transición que no son uno a uno (por ejemplo, los operadores booleanos AND …

19 cr.crypto-security  quantum-computing  big-picture  physics  quantum-information 

¿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 

Recientemente me topé con una construcción teórica bastante interesante. Una llamada máquina Gödel Es un solucionador de problemas general que es capaz de auto-optimización. Es adecuado para entornos reactivos. Según tengo entendido, se puede implementar como un programa para la máquina universal de Turing, aunque sus requisitos van mucho más …

17 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

Una de las cosas sorprendentes de la informática es que la implementación física es en cierto sentido "irrelevante". La gente ha construido computadoras con éxito a partir de varios sustratos diferentes: relés, tubos de vacío, transistores discretos, etc. La gente puede tener éxito pronto en la construcción de computadoras completas …

16 computability  turing-machines  terminology  physics  natural-computing 

He leído libros, artículos y documentos publicados sobre Quantum-Computing. Descubrí que todos los materiales que he visto son, en lugar de describir la puerta cuántica desde la física básica hasta la abstracción, tratando de evitar hablar sobre los detalles de implementación de las puertas cuánticas . En primer lugar, me …

11 physics  quantum-computing