Perguntas com a marcação «soft-question»

É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis ​​fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado ao fato de que não é possível …

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 

Estou revisando o Manual de computação inovadora e inspirada na natureza para o SIGACT News. É uma leitura muito interessante. Cada capítulo, no entanto, tem o sabor: "Esta é a minha área de pesquisa e, caramba, é incrível!" Portanto, parte do que estou tentando fazer é separar o hype e …

18 soft-question 

É sabido que existem muitos amadores - inclusive eu - que estão interessados ​​no problema P vs. NP. Também existem muitos especialistas - inclusive eu - que tentaram resolver o problema. Um problema que eu acho que a comunidade do TCS sofre é uma proporção relativamente alta de amador-especialista / …

18 soft-question 

Muitas vezes, se o tempo de execução de um algoritmo for uma expressão complicada, o próprio algoritmo também será complicado e impraticável. Cada uma das raízes do cubo e fatores no tempo de execução assintótico tende a adicionar complexidade ao algoritmo e também ocultar fatores constantes no tempo de execução.loglognlog⁡log⁡n\log …

18 ds.algorithms  soft-question  recreational 

A teoria da complexidade parece capturar algo fundamental sobre a estrutura do universo, na medida em que formaliza a noção intuitiva de que alguns problemas são mais difíceis do que outros. Scott Aaronson previu : "A NP Hardness Assumption será vista como análoga à Segunda Lei da Termodinâmica ou à …

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

Quais universidades têm um currículo sólido de computação quântica e oferecem algum tipo de computação quântica / cursos de informação / pesquisa? O objetivo aqui é coletar uma lista útil para alguém que pensa em estudar nesses campos, e não discutir qual é o "melhor". Para tornar essa lista útil, …

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

Peço desculpas se isso estiver fora de tópico. Parece que o nome do domínio expirou. Espero que alguns membros da comunidade aqui (eu não sou um) possam saber quem foi o administrador / proprietário desse site. Foi um recurso bastante útil.

17 soft-question 

Eu sou um matemático que trabalha principalmente na teoria espectral de operadores autônomos e unitários. Algumas de minhas pesquisas são relevantes em caminhadas quânticas, e eu tenho um artigo em particular que gostaria de apresentar na conferência Quantum Information Processing em janeiro deste ano em Seattle. A cultura da comunidade …

17 soft-question  conferences 

Eu sou um estudante de graduação em matemática com uma sólida formação em lógica. Eu fiz um curso de graduação de um ano em lógica, juntamente com cursos de teoria dos modelos finitos e outro sobre forçar e definir teoria. A maioria dos textos de CS parece assumir apenas um …

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

Recentemente, participei de uma conferência apoiada pela ACM. Durante o banquete, os organizadores da conferência nos falaram sobre o futuro e o passado da conferência. Eles nos disseram que durante a edição de 2010 da conferência houve uma perda de 5000 $. Eles nos mostraram o orçamento da conferência anterior, …

17 soft-question  conferences 

Minha idéia de uma carreira de sonho é uma carreira em pesquisa industrial, onde se consegue lidar com problemas desafiadores e também de uso prático. Para isso, é ruim fazer um doutorado em TCS (estou interessado em tópicos como algoritmos distribuídos / paralelos, algoritmos on-line)? Tenho a noção de que …

17 soft-question  advice-request  career 

Muitas publicações de ciência da computação das décadas de 1950 e 1960 contêm especulações filosóficas fascinantes sobre a natureza da mente e o significado da informação em relação ao mundo físico. Exemplos famosos são o "Teste de Turing", o "Calculating Space" de Zuse, o Wheeler "from bit" etc. Hoje, esses …

16 reference-request  soft-question  philosophy 

Desculpas se essa for uma pergunta muito ampla para este fórum, mas estou interessado em táticas e dicas específicas que os pesquisadores (no TCS) usam para escrever a introdução de um artigo de pesquisa.

16 soft-question  advice-request  research-practice  writing 

Dado que a maioria das universidades americanas aceita apenas solicitações em apenas um campo, estou tentando descobrir quais são as vantagens / desvantagens de aplicar a um programa de teoria de CS versus um programa de matemática aplicada, dado que o interesse está em algum lugar dos dois departamentos. Para …

16 soft-question  advice-request  career 

Existem casos em que publicações extras podem prejudicar seu registro? Isso evita os casos óbvios em que você publica resultados incorretos ou controversos. Evitando também o caso do tempo finito: você só tem muito tempo para pensar e escrever; portanto, escrever um artigo pode fazer com que você perca tempo …

16 soft-question  advice-request  career