Ciência da Computação Teórica

A teoria da computação em estado de cluster já está bem estabelecida, mostrando que qualquer circuito BQP pode ser modificado para usar apenas portas quânticas de qubit único, possivelmente controladas classicamente, desde que haja um amplo fornecimento de um estado conhecido como "estado de cluster" - que é um estado …

13 quantum-computing 

Existem vários resultados conhecidos do tamanho do circuito com base em restrições aleatórias e no Switching Lemma .A C0 0AC0\mathsf{AC^0} Podemos desenvolver um resultado do Switching Lemma para provar um tamanho inferior para os circuitos (semelhante às provas do limite inferior para )? A C 0T C0 0TC0\mathsf{TC^0}A C0 0AC0\mathsf{AC^0} …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

A eliminação gaussiana torna determinante do tempo polinomial da matriz computável. A redução da complexidade na computação do determinante, que é a soma dos termos exponenciais, é devida à presença de sinais negativos alternativos (a falta de qual torna a computação permanente é isto é, mais difícil que o problemas …

13 cc.complexity-theory  time-complexity  algebraic-complexity  gr.group-theory  determinant 

Para comemorar o centésimo aniversário de Alan Turing, quero assistir a um documentário sobre sua vida. No entanto, existem vários documentários para escolher. Qual documentário sobre Alan Turing é o seu favorito? Por favor inclua apenas um documentário por resposta.

13 reference-request  soft-question  big-list  ho.history-overview 

Eu tenho uma pergunta sobre polinômios de baixo grau e probabilidade: Qual é a (comportamento assiptótico da) probabilidade de que um polinômio * aleatório, , acima de GF (2), com grau e n variáveis ​​tenha .≤ d b i a s ( p ) ≜ | Pr x ∈ { …

13 randomness  pr.probability  algebra  polynomials 

Em seu trabalho seminal, algoritmos teóricos de grupo para multiplicações de matrizes , Cohn, Kleinberg, Szegedy e Umans introduzem o conceito de quebra-cabeça exclusivamente solucionável (definido abaixo) e a capacidade da USP. Eles afirmam que Coppersmith e Winograd, em seu próprio papel inovador A multiplicação de matrizes através de progressões …

13 ds.algorithms  co.combinatorics  algebraic-complexity  matrix-product 

Alguém pode listar alguns problemas conhecidos que atendem às seguintes condições: 1. has a generalization problem that is known to be NP-complete 2. has not been proved to be NP-complete nor has a known polynomial time solution.

13 cc.complexity-theory  np-hardness 

Eu atribuído meus alunos o problema de encontrar um triângulo consistente com uma coleção de pontos em R 2 , rotulado com ± 1 . (Um triângulo T é consistente com a amostra rotulada se T contém todos os pontos positivos e nenhum dos pontos negativos; por suposição, a amostra …

13 cg.comp-geom  machine-learning  lg.learning  convex-geometry 

Uma função de ajuste é submodular monótono se para todos , A , B f ( A ) + f ( B ) ≥ f ( A ∪ B ) + f ( A ∩ B ) .fffA , BUMA,BA,Bf( A ) + f( B ) ≥ f( A ∪ …

13 ds.algorithms  approximation-algorithms  submodularity 

Alguém formalizou a relação entre técnicas de análise de redução de turnos e continuações delimitadas? Ao construir um analisador de baixo para cima (por exemplo, analisadores LR), pegamos uma gramática e, em seguida, representamos estados de análise como conjuntos de itens : produções aumentadas da forma , onde α e …

13 pl.programming-languages  parsing 

Eu tenho um problema algébrico relacionado a vetores no campo GF (2). Seja v1, v2, … , Vmv1,v2,...,vmv_1, v_2, \ldots, v_m (0,1) - vetores da dimensão e . Encontre um algoritmo de tempo polinomial que encontre um vetor (0,1) da mesma dimensão, de modo que não seja a soma de …

13 ds.algorithms  linear-algebra 

Existe uma prova de que a emulação de uma máquina de Turing em uma máquina de Turing inconsciente não pode ser feita em menos de que é o número de etapas que a máquina de Turing usa ? Ou isso é apenas um limite superior?O ( m logm )O(mlog⁡m)\mathcal{O}\left(m\log m\right)mmm …

13 cc.complexity-theory  turing-machines 

Em 1973, Weiner deu a primeira construção em tempo linear de árvores com sufixo. O algoritmo foi simplificado em 1976 por McCreight e em 1995 por Ukkonen. No entanto, acho o algoritmo de Ukkonen relativamente envolvido conceitualmente. Houve simplificações no algoritmo de Ukkonen desde 1995?

13 ds.algorithms 

Eu gostaria de saber sobre a história desses dois termos: " eficiente ", " viável ". Quem os usou sobre computação / algoritmos pela primeira vez? (no sentido moderno desses termos, ou seja, século 20). Como eles se tornaram mainstream? Como esses dois termos começaram a ser usados ​​como sinônimos? …

13 cc.complexity-theory  ds.algorithms  ho.history-overview 

Um de meus amigos me pergunta o seguinte problema de agendamento na árvore. Eu acho que é muito limpo e interessante. Existe alguma referência para isso? Problema: existe uma árvore , cada aresta tem um custo de deslocamento simétrico de 1 . Para cada vértice , há uma tarefa que …

13 ds.algorithms  graph-algorithms  np-hardness