Ciência da Computação Teórica

Perguntas e respostas para cientistas da computação teóricos e pesquisadores em áreas afins

2
Comparando dois algoritmos para o problema 3SUM sobre números inteiros
O artigo "Algoritmos subquadráticos para 3SUM", de Ilya Baran, Erik D. Demaine, Mihai Patrascu, apresenta a seguinte complexidade para a Problema 3SUM: dada uma lista LLL de nnn números inteiros se houver x,y,z∈Lx,y,z∈Lx,y,z \in L tal que x+y=z.x+y=z.x+y=z. w−w−w-O(n2/max{wlogw,logn(loglogn)2})O(n2/max{wlog⁡w,log⁡n(log⁡log⁡n)2})O(n^2/ \max\{w \log w, \log n (\log \log n)^2 \})AC0AC0AC0O(n2/w2logw)O(n2/w2log⁡w)O(n^2/ w^2 \log …
1
Carreira em Ciência da Computação Teórica
Atualmente, sou estudante do ensino médio, interessado em ciência da computação teórica e matemática aplicada. Eu próprio aprendi álgebra linear, cálculo e matemática concreta. Tenho uma noção ingênua de que para escrevermos algoritmos melhores, é preciso conhecer o máximo de matemática possível, porque você pode aprender sobre novas estruturas e …
2
Problema de Isomorfismo de Gráfico
Estou fazendo uma revisão de literatura sobre o problema de isomorfismo do gráfico. A maioria dos trabalhos que estou lendo são escritos por EM Luks e Laszlo Babai. Estes trabalhos utilizam o conhecimento de alto nível da teoria de grupos e da complexidade. Como sou novo neste campo, muitas das …
1
A complexidade da amostragem (aproximadamente) da transformada de Fourier de uma função booleana
Uma coisa que os computadores quânticos podem fazer (possivelmente apenas com apenas os circuitos quânticos BPP + com profundidade de log) é obter uma amostra aproximada da transformada de Fourier de uma função booleana em P.± 1±1 1\pm 1 Aqui e abaixo, quando falo sobre amostragem da transformada de Fourier, …
1
Qual é a semântica categórica da subtipagem?
A partir de Curry-Howard-Lambek, houve uma boa trindade de teorias de tipos, lógicas e categorias. Estou curioso sobre a semântica categórica que você obtém ao adicionar subtipos (coercitivos) a uma teoria de tipos - parece que isso não foi muito explorado, se é que realmente foi. Em geral, adicionar subtipagem …
5
Por que os economistas devem se preocupar com a complexidade computacional
Ao tentar convencer economistas da relevância da teoria da complexidade impressa, existe uma referência padrão a ser citada? Estou familiarizado com o post de Noam Nisan , a pesquisa de Tim Roughgarden e o capítulo 11 do ensaio de Scott Aaronson . Essas postagens são acessíveis aos cientistas da computação, …
3
Algoritmos construtivamente eficientes, sem correção e prova de eficiência
Estou procurando exemplos naturais de algoritmos eficientes (isto é, em tempo polinomial) st sua correção e eficiência podem ser comprovadas construtivamente (por exemplo, na ou na ), masPR APRUMAPRAHUMAHUMAHA nenhuma prova usando apenas conceitos eficientes é conhecida (ou seja, não sabemos como provar sua correção e eficiência na ou ).S …
1
Assintoticamente, quantas permutações de
Considere uma permutação σσ\sigma de [1..n][1..n][1..n] . Uma inversão é definida como um par (i,j)(i,j)(i, j) de índices tais que i&lt;ji&lt;ji < j e σ(i)&gt;σ(j)σ(i)&gt;σ(j)\sigma(i) > \sigma(j) . Defina AkAkA_k como o número de permutações de [1..n][1..n][1..n] com no máximo kkk inversões. Pergunta: Qual é o forte limite assintótico para …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.