Ciência da Computação Teórica

Atualmente, essa questão não se encaixa no nosso formato de perguntas e respostas. Esperamos que as respostas sejam apoiadas por fatos, referências ou conhecimentos, mas essa pergunta provavelmente solicitará debates, argumentos, pesquisas ou discussões prolongadas. Se você acha que essa pergunta pode ser melhorada e possivelmente reaberta, visite o centro …

23 soft-question  big-list  paper-review 

Sabe-se que o ciclo hamiltoniano (presunto abreviado) é NP-completo e que o ciclo planar de presunto é NP-completo. A prova para o Ciclo de Presunto Planar não é do Ciclo de Presunto. Existe um gadget legal que, dado um gráfico G, substitua todos os cruzamentos por algum gadget planar, para …

23 cc.complexity-theory  np-hardness  planar-graphs  hamiltonian-paths 

Alguém pode sugerir uma pesquisa boa e recente sobre a contagem de problemas e / ou problemas que são #P.

23 cc.complexity-theory  reference-request  counting-complexity 

Considere um corpo convexo centrado na origem e simétrico (ou seja, se então ). Desejo encontrar um corpo convexo diferente tal que e a seguinte medida seja minimizada:KKKx∈Kx∈Kx\in K−x∈K−x∈K-x\in KLLLK⊆LK⊆LK\subseteq L xf(L)=E(xT⋅x−−−−−√)f(L)=E(xT⋅x)f(L)=\mathbb{E}(\sqrt{x^T \cdot x}) , onde é um ponto escolhido uniformemente aleatoriamente em L.xxx Eu estou bem com a aproximação …

23 cg.comp-geom  approximation  convex-geometry 

Esta questão foi migrada da Cross Validated porque pode ser respondida no Theoretical Computer Science Stack Exchange. Migrou há 8 anos . Tenho um problema bastante único para resolver e espero que alguém aqui possa me dar algumas dicas sobre a melhor forma de enfrentá-lo. Problema: Suponha que uma lista …

23 cr.crypto-security  dc.distributed-comp  st.statistics  privacy 

Inspirado pelas extensas hierarquias presentes na teoria da complexidade, perguntei-me se essas hierarquias também estavam presentes nos sistemas de tipos. No entanto, os dois exemplos que encontrei até agora são mais como listas de verificação (com recursos ortogonais) do que hierarquias (com sistemas de tipos sucessivamente cada vez mais expressivos). …

23 pl.programming-languages  type-theory 

Na prática, para uma linguagem que possa eventualmente ser compilada / transformada em instruções no nível do sistema, é necessário que seja uma gramática livre de contexto? ex: todas as linguagens de programação / script possuem gramática livre de contexto? Java é baseado em CFGs, mas será que todas as …

23 pl.programming-languages  context-free 

Computadores quânticos são muito bons para distribuições de amostragem que não sabemos como amostrar usando computadores clássicos. Por exemplo, se f é uma função booleana (de a - 1 , 1 ) que pode ser calculada em tempo polinomial, então com computadores quânticos, podemos amostrar eficientemente de acordo com a …

23 quantum-computing  cg.comp-geom  optimization 

Provavelmente, a aplicação mais comum de tipos lineares no PL é usá-los para fornecer linguagens que controlam o aliasing (ou seja, um valor linear tem um único ponteiro para ele, mais ou menos). Mas há uma pequena incompatibilidade entre esse uso e os modelos denotacionais típicos da lógica linear. IIRC, …

23 pl.programming-languages  ct.category-theory  imperative-programming  denotational-semantics  linear-logic 

Onde posso encontrar gráficos relevantes para problemas da vida real? Dois repositórios que eu conheço são: Coleção Sparse Matrix da Universidade da Flórida Largura da Árvore de Bodlaender

23 graph-theory  big-list  co.combinatorics  data-sets 

Esta pergunta está relacionada a uma resposta que eu postei em resposta a outra pergunta. O problema de 3 partições é o seguinte: Instância : números inteiros positivos a 1 ,…, a n , em que n = 3m e a soma dos n números inteiros é igual a mB, …

23 cc.complexity-theory  np-hardness 

A largura da árvore mede a distância entre um gráfico e uma árvore. É NP-difícil calcular a largura da árvore. O algoritmo de aproximação mais conhecido atinge fator.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) O teorema de Courcelle afirma que qualquer propriedade dos gráficos definíveis na lógica monádica de segunda ordem (MSO2) pode ser decidida em …

23 cc.complexity-theory  ds.algorithms  graph-theory  space-bounded  treewidth 

Na computação quântica, estamos frequentemente interessados ​​nos casos em que o grupo de operadores unitários especiais, G, para algum sistema d-dimensional fornece ao grupo todo SU (d) exatamente ou mesmo apenas uma aproximação fornecida por uma cobertura densa de SU (d). Um grupo de ordem finita, como o grupo Clifford …

23 quantum-computing 

Fiquei imaginando quais ferramentas as pessoas desse campo (ciência da computação teórica) usam para criar apresentações. Como grande parte da ciência da computação não está apenas escrevendo artigos, mas também fazendo apresentações, pensei que essa seria uma questão importante e delicada. Isso é inspirado na pergunta anterior, que ferramentas você …

23 soft-question  research-practice  writing 

O que se sabe sobre a complexidade de encontrar circuitos mínimos que calculam SAT até o comprimento ? nnn Mais formalmente: qual é a complexidade de uma função que, dada como entrada, gera um circuito C mínimo, de modo que, para qualquer fórmula φ com | & Phi; | ≤ …

23 cc.complexity-theory  sat