Ciência da Computação Teórica

Tenho certeza que todo mundo conhece o experimento com agulhas de Buffon no século 18, que é um dos primeiros algoritmos probabilísticos a calcular .ππ\pi A implementação do algoritmo em computadores geralmente exige o uso de , ou uma função trigonométrica, que, mesmo que sejam implementadas como séries truncadas, acaba …

26 ds.algorithms  reference-request  randomized-algorithms  ho.history-overview  monte-carlo 

Ouvi de alguns pesquisadores seniores em ciência da computação teórica que trabalhar em um emprego que não é de pesquisa, mesmo que por alguns anos, acabará com sua carreira como pesquisador da TCS. No entanto, desconfio da alegação de que o caminho de ser um pesquisador do TCS para um …

26 soft-question  advice-request  career 

O estudo da representação sucinta de gráficos foi iniciado por Galperin e Wigderson em um artigo de 1983, onde eles provam que, para muitos problemas simples como encontrar um triângulo em um gráfico, a versão sucinta correspondente no concluída. Papadimitriou e Yanakkakis aprofundam essa linha de pesquisa e provam que, …

26 cc.complexity-theory  reference-request  complexity-classes 

Sobre quais tópicos do TCS ausentes na Wikipedia você mais gostaria de ter um artigo? Podem ser omissões gritantes ou apenas tópicos que você acha que realmente deveriam ter um artigo. Um tópico por resposta, para que os mais procurados possam ser votados. Atualização 5/2/2017 : Shuchi Chawla está liderando …

26 soft-question  big-list  survey 

Shiva Kintali acaba de anunciar um resultado (legal!) De que o isomorfismo do gráfico para gráficos de largura de árvore limitada de largura é hard L- duro≥4≥4\geq 4⊕L⊕L\oplus L . Informalmente, minha pergunta é: "Quão difícil é isso?" Sabemos que não uniforme , veja as respostas para esta pergunta . …

26 cc.complexity-theory  complexity-classes  logspace 

Eu não sou um teórico da ciência da computação, mas acho que esse problema do mundo real pertence aqui. O problema Minha empresa possui várias unidades em todo o país. Oferecemos aos funcionários a possibilidade de trabalhar em outra unidade. Mas há uma condição: o número total de trabalhadores em …

26 ds.algorithms  graph-algorithms  application-of-theory 

Existe algo conhecido sobre a classe de gráficos com a propriedade de que todos os conjuntos independentes máximos têm a mesma cardinalidade e, portanto, são ISs máximos? Por exemplo, pegue um conjunto de pontos no plano e considere o gráfico de interseções entre todos os segmentos entre pares de pontos …

26 graph-theory  co.combinatorics 

Esta é minha primeira pergunta na pilha de histórias, portanto, não seja muito rude se eu estiver violando a etiqueta de alguma forma) Como sabemos, em matemática, mesmo matemáticos, astros e gênios famosos estão cometendo erros sérios de tempos em tempos. Por exemplo, o teorema de quatro cores e o …

26 soft-question  big-list 

Dado um idioma comum (NFA, DFA, gramática ou regex), como pode ser contado o número de palavras aceitantes em um determinado idioma? Tanto "com exatamente n letras" quanto "com no máximo n letras" são de interesse. Margareta Ackerman tem dois trabalhos sobre o assunto relacionado de enumerar palavras aceitas por …

26 ds.algorithms  co.combinatorics  fl.formal-languages  regular-language 

Não consigo pensar em nenhum modelo desse tipo, talvez alguma forma de cálculo lambda digitado? algum autômato celular elementar? Isso quase refutaria o "Princípio da Equivalência Computacional" de Wolfram: Quase todos os processos que não são obviamente simples podem ser vistos como cálculos de sofisticação equivalente

26 automata-theory  computability  turing-machines  lambda-calculus  universal-computation 

Esta questão foi migrada do Stack Overflow porque pode ser respondida no Theoretical Computer Science Stack Exchange. Migrou há 8 anos . Dado que a Correspondência Curry-Howard é tão amplamente difundida / estendida, existe alguma diferença entre provas e programas (ou entre proposições e tipos)? Podemos realmente identificá-los?

26 lo.logic  pl.programming-languages 

Uma máquina PHPHPH recebe acesso Oracle a uma função booleana aleatória f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f:\{0,1\}^n \to \{ -1,1 \} e dois espectros de Fourier ggg e hhh . O espectro de Fourier de uma função fff é definido como F:{0,1}n→RF:{0,1}n→RF:\{0,1\}^n \to R : F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=\sum_{x\in\{0,1\}^n} (-1)^\left( s\cdot x \mod\ 2 \right) f(x) …

26 cc.complexity-theory  lg.learning  boolean-functions  fourier-analysis 

Quais seriam as consequências de #P = FP? Estou interessado em conseqüências práticas e teóricas. Do ponto de vista prático, estou particularmente interessado em consequências na inteligência artificial. Ponteiros para papéis ou livros são mais que bem-vindos. Por favor, não diga que #P = FP implica P = NP, eu …

26 cc.complexity-theory  ds.algorithms  complexity-classes  counting-complexity  ai.artificial-intel 

Você conhece algum wiki atualizado dedicado a problemas de otimização de NP com seus melhores resultados de aproximação e dureza? Com base no feedback, parece seguro presumir que não exista esse recurso (consulte o final desta pergunta para duas opções próximas). - adicionado em 8 de fevereiro. Como existe um …

26 ds.algorithms  reference-request  approximation-algorithms  approximation-hardness 

É sabido que a conectividade st direcionada é completa. Resultado da descoberta de Reingold mostrou que não direcionado conectividade st está em . Sabe -se que a conectividade st direcionada planar está na . Cho e Huynh definiram um problema de mochila parametrizado e exibiram uma hierarquia de problemas entre …

26 cc.complexity-theory  space-bounded