Ciência da Computação Teórica

Sabe-se se a classificação tensorial dos tensores tridimensionais se encontra no VNP (classe valente não determinística)? Se sim, o que se sabe sobre a classificação tensorial de alta dimensão? Na verdade, estou interessado em um problema muito mais simples. Gostaria de saber se é possível construir polinômios diferentes de zero …

8 cc.complexity-theory  algebraic-complexity 

Eu conheço as seguintes variantes de problemas do SUBSETSUM: ( Elberfeld at. Al., 2010 ), NP-complete e NEXP-complete ( link ).S U B S E T S U M S U C C I N C T - S U B S E T S U MvocêN A R Y …

8 cc.complexity-theory  reference-request  np-hardness  polynomial-hierarchy  subset-sum 

Existe algum limite inferior não trivial no tempo de execução dos algoritmos de gráfico na RAM / PRAM / modelos de computação? Não estou procurando os resultados da dureza NP aqui. A seguir está um resultado que eu pude encontrar [veja ref L92]: 3-A coloração de um ciclo n requer …

8 cc.complexity-theory  reference-request  graph-algorithms  lower-bounds 

Deixe que e Y ser conjuntos, e B ser uma partição de X x Y . Gostaria de provar que não existe uma distribuição de D ao longo X x Y cuja marginal é uniforme ao longo de X , e de tal modo que a distribuição ao longo B …

8 cc.complexity-theory  co.combinatorics  communication-complexity 

Estou procurando uma solução para o seguinte problema e me pergunto se alguém poderia me indicar alguma pesquisa existente sobre esse tópico. Como venho de uma aplicação de gráfico no mundo real, tenha paciência comigo se minha terminologia não estiver exatamente correta. Eu tenho um sistema de banco de dados …

8 ds.algorithms  graph-theory  dynamic-algorithms 

Ao aprender problemas de otimização, geralmente consideramos a programação linear (ou mais geralmente: otimização convexa) como o exemplo mais simples. É solucionável em tempo polinomial e possui algoritmos relativamente fáceis de entender. No entanto, a versão de decisão do LP é concluída. Isso sugere que este é um dos problemas …

8 cc.complexity-theory  optimization  linear-programming 

Estou interessado em ponteiros para algoritmos (algoritmos de aproximação são bons) que tentam particionar um gráfico em dois subconjuntos, de modo que a soma dos pesos das arestas em cada subconjunto seja (aproximadamente) igual e a soma dos pesos das arestas entre os dois subconjuntos é (aproximadamente) mínimo. Qualquer ponteiro …

8 ds.algorithms  reference-request  graph-theory  graph-algorithms 

A classificação usando comparações de dois elementos tem uma complexidade assintótica de pior caso de (alcançada por mergesort, heapsort, inserção binária, ford-johnson, pelo menos), o que é ideal.nlog2(n)nlog2⁡(n)n \log_2(n) Se classificarmos usando comparações que classificam k elementos como blocos de construção, o limite inferior da teoria da informação é . …

8 cc.complexity-theory  ds.algorithms  reference-request  sorting 

Por que precisamos de avaliações para definir a semântica da lógica de primeira ordem? Por que não apenas defini-lo para sentenças e também definir substituições de fórmulas (da maneira esperada). Isso deve ser o suficiente: M⊨∀x.ϕ⟺for all d∈dom(M), M⊨ϕ[x↦d]M⊨∀x.ϕ⟺for all d∈dom(M), M⊨ϕ[x↦d]M \models \forall x. \phi \iff \text{for all }d\in …

8 lo.logic 

A suposição decisória de Diffie-Hellman , ou DDH, em resumo, é um problema famoso na criptografia. A suposição DDH se aplica a um grupo cíclico (G,∗)(G,∗)(G,*) de ordem (principal) , se for para um gerador e escolhido aleatoriamente \ mathbb {Z} _q $$, o os seguintes pares são indistinguíveis (para …

8 cr.crypto-security  randomized-algorithms 

Um problema de decisão tem boa caracterização se estiver em . Muitos problemas gráficos naturais têm boas caracterizações. Por exemplo, o Teorema de Kuratuwski fornece uma boa caracterização de gráficos planares. O Teorema de Konig fornece uma boa caracterização de gráficos bipartidos. O Teorema de Tutte fornece uma boa caracterização …

8 cc.complexity-theory  graph-theory  proof-complexity 

O teorema do ponto de fixação de Tarski afirma que os pontos de fixação de um operador monótono em uma rede completa são uma rede completa. Por conseqüência, temos um ponto de correção maior e menos único para um operador monótono em uma rede completa. Os pontos de correção podem …

8 algebra  lattice  order-theory 

Estou procurando no ML a geração de código mais eficiente (ou seja, heurísticas de tempo de compilação e tempo de execução). Eu tenho um phd (compiladores, hpc), mas muito pouca experiência em ML. Eu apreciaria todas as referências ao trabalho existente. Mais importante, quais técnicas de aprendizado de máquina devo …

8 reference-request  optimization  machine-learning  compilers 

Quais algoritmos / técnicas matemáticas estão disponíveis para contar exatamente / aproximadamente o número de conjuntos independentes? Existe / há uma boa referência / boas referências sobre este tópico? Estou interessado em gráficos regulares.

8 ds.algorithms  reference-request  graph-theory  approximation-algorithms  counting-complexity 

Por "bom", quero dizer, ou o algoritmo fornece um limite relativamente apertado ou possui um tempo de execução relativamente rápido. Qualquer referência é bem vinda.

8 ds.algorithms  np-hardness  approximation-algorithms  approximation-hardness  subset-sum