Ciência da Computação Teórica

Existem vagas para recém-formados ou mestres com um histórico de pesquisa para trabalhar como pesquisador antes de se comprometerem com o doutorado? O TCS tem uma cultura de cargos de pós-doutorado para que os recém-formados em doutorado façam pesquisas antes de tentar se candidatar a uma vaga na faculdade. Existe …

10 soft-question  advice-request  career 

Existe uma estrutura de dados RAM de palavras de w bits com tempo O (1) por operação para o seguinte problema ?: Manter um conjunto de números inteiros não negativos de w bits que ofereça suporte às operações add (x): adiciona x ao conjunto remove (x): remove x do conjunto …

10 ds.data-structures 

Estou lendo o excelente artigo de Watrous sobre a teoria da complexidade quântica. Nele, ele afirma que seria surpreendente se um problema completo de QMA tivesse uma promessa vazia (ou seja, um idioma). Porque isto é assim? Isso tem a ver com o fato de que o problema hamiltoniano k-local …

10 cc.complexity-theory  quantum-computing 

Aqui está uma pergunta da "faixa B", se é que alguma vez houve. Resumo: a primeira coisa que penso quando tento dar uma semântica a programas não determinísticos resulta em uma semântica em que não posso provar coisas sobre loops que terminam apenas de forma não determinística. Certamente alguém descobriu …

10 reference-request  denotational-semantics 

Uma fórmula CNF monótona com m termos em n variáveis ​​( ) é uma fórmula da forma , em que cada é um OR de algum subconjunto das variáveis e varia de a . f ( x 1 , … , x n ) = ⋀ C i C i …

10 cc.complexity-theory  circuit-complexity  formulas 

Estou curioso para saber se alguém poderia recomendar algum material suplementar para obter uma compreensão mais profunda do artigo: " Alguns Resultados e Problemas em Desigualdades Quânticas do Tipo Sino - Tsirelson ". Especificamente, algo que pode elaborar um pouco mais sobre a interpretação geométrica das desigualdades do tipo Bell. …

10 reference-request  quantum-computing  quantum-information 

Houve uma quantidade considerável de trabalho em problemas computacionais para pedidos parciais (por exemplo, reconhecimento, número de salto, reconhecimento de gráfico de comparabilidade, etc ...). Estou curioso sobre o trabalho específico para as treliças. Eu procurei e não encontrei muito trabalho semelhante para treliças. Em particular, estou interessado em saber …

10 ds.algorithms  reference-request  graph-algorithms  partial-order  order-theory 

É sabido que, para a aprendizagem clássica do PAC, exemplos de são necessários para obter um erro vinculado a whp, onde é a dimensão VC da classe conceitual.ε dΩ ( d/ ε)Ω(d/ε)\Omega(d/\varepsilon)εε\varepsilonddd Sabe-se que exemplos de são necessários no caso agnóstico?Ω ( d/ ε2)Ω(d/ε2)\Omega(d/\varepsilon^2)

10 lg.learning  machine-learning 

No artigo com o mesmo título que o desta pergunta, os autores descrevem como construir uma operação CAS linearizável de múltiplas palavras sem bloqueio usando apenas um CAS de uma única palavra. Eles primeiro introduzem a operação de dupla comparação, troca única - RDCSS, da seguinte maneira: word_t RDCSS(RDCSSDescriptor_t *d) …

10 dc.parallel-comp  concurrency 

Dado um gráfico dirigido e dois vértices . Um par de caminhos simples de a é separado da aresta se eles não compartilharem uma aresta.s , t ∈ V p 1 , p 2 s tG = ( V, E)G=(V,E)G = (V,E)s , t ∈ Vs,t∈Vs,t \in Vp1 1, p2p1,p2p_1,p_2sssttt …

10 cc.complexity-theory  graph-algorithms 

Sabemos que encontrar o casco convexo de pontos em um avião tem um limite inferior de em seu tempo de execução. No entanto, se os pontos são dados na ordem em que ocorrem ao longo de algum polígono simples que possui esses pontos como seus vértices, seu casco convexo pode …

10 cg.comp-geom 

NOTA : A pergunta foi reafirmada em minhas respostas: Supondo que agora possamos encontrar os ancestrais de irmãos mais baixos no tempo , a RNA pode realmente ser executada em O ( log n ) ?O ( 1 )O(1)O(1)O ( logn )O(log⁡n)O(\log n) Quadtrees são índices espaciais eficientes. Eu tenho …

10 ds.algorithms  ds.data-structures  range-searching  near-neighbors 

No papel seminal de Bernstein e Vazirani "Quantum Teoria da Complexidade", eles mostram que um transformação unitária dimensional pode ser eficientemente aproximada por um produto do que eles chamam de "rotações quase trivial" e "mudanças de fase quase trivial".ddd "Perto trivial rotações" são -dimensional unitária matrizes que actuam como a …

10 quantum-computing  linear-algebra  universal-computation 

Sabemos que o log da classificação de uma matriz 0-1 é o limite inferior da complexidade da comunicação determinística, e o log da classificação aproximada é o limite inferior da complexidade da comunicação aleatória. A maior lacuna entre a complexidade determinística da comunicação e a complexidade aleatória da comunicação é …

10 co.combinatorics  linear-algebra  matrices  communication-complexity  boolean-matrix 

Sou um estudante de mestrado focado em sistemas distribuídos, mas também interessado em ciência da computação teórica. Eu queria saber se existe uma representação formal de um sistema distribuído em cima de uma máquina de turing? Ou seja, é possível estender (criar uma variante) o conceito de uma máquina de …

10 turing-machines  dc.distributed-comp