Ciência da Computação Teórica

Dado um gráfico planar não ponderado e uma coleção de pares de vértices ( k ≥ 2 é uma constante), encontre k caminhos verticais-disjuntos (exceto a origem) de s a t é tal que o comprimento do caminho mais longo é minimizado.(s,t1),…,(s,tk)(s,t1),…,(s,tk)(s,t_1),\dots,(s,t_k)k≥2k≥2k\ge2kkkssstitit_i Pergunta: Existe um algoritmo de tempo polinomial para …

10 ds.algorithms  graph-algorithms 

Considere um gráfico cúbico aleatório conectado devértices, extraídos de reg (como definido aqui , ou seja, é par e quaisquer dois gráficos têm a mesma probabilidade).n = | V | G ( n , 3 ) 3 nG = ( V, E)G=(V,E)G=(V,E)n = | V|n=|V|n =|V|G ( n , 3G(n,3G(n, …

10 graph-theory  co.combinatorics 

Estou bastante familiarizado com a teoria por trás do VC-Dimension, mas agora estou analisando os recentes (últimos 10 anos) avanços na teoria estatística da aprendizagem: médias (locais) de Rademacher, lema de classe finita de Massart, números de cobertura, encadeamento, Dudley's Teorema, Pseudodimensão, Dimensão Fat Shattering, Números de Embalagem, Composição de …

10 reference-request  machine-learning  lg.learning  books  vc-dimension 

Definições Seja e sejam d , r e g inteiros positivos (com g > 2 r + 1 ).ε > 0ϵ>0\epsilon > 0dddrrrgggg> 2 r + 1g>2r+1g > 2r+1 Seja um gráfico finito simples, d- regular, sem direção e finito, com perímetro pelo menos g .G = ( V, E)G=(V,E)G …

10 graph-theory  co.combinatorics  dc.distributed-comp 

Gostaria de saber se o seguinte problema simples foi estudado antes e se alguma solução é conhecida. Seja G uma grade finita (MxN), S um subconjunto das células de G (as "migalhas"). Diz-se que duas migalhas estão conectadas (localmente) se suas coordenadas diferirem em no máximo uma (isto é, se …

10 ds.algorithms  graph-theory  graph-algorithms 

Suponha que eu tenha um polígono simples e um número inteiro . Quais são algumas das abordagens existentes para encontrar o menor raio modo que eu possa cobrir com círculos de raio ? Que tal se for corrigido e eu quero minimizar ?SSSkkkrrrSSSkkkrrrrrrkkk

10 cg.comp-geom  planar-graphs  set-cover 

É extremamente difícil aproximar o número cromático fracionário em gráficos de graus limitados?

10 cc.complexity-theory  graph-theory  approximation-hardness  graph-colouring  bounded-degree 

Durante o meu trabalho, eu vim com o seguinte problema: Estou tentando encontrar uma matriz , para qualquer , com as seguintes propriedades:n×nn×nn \times n (0,1)(0,1)(0,1)MMMn>3n>3n > 3 O determinante de é par.MMM Para qualquer subconjunto não vazio com, A submatriz tem determinante estranho se e somente se i = …

10 graph-theory  co.combinatorics  linear-algebra  matrices  boolean-matrix 

Na minha busca por artigos de pesquisa sobre sistemas de tipos para linguagens imperativas, só encontro soluções para uma linguagem com referências mutáveis, mas sem estruturas de controle imperativas genuínas, como operadores compostos, loops ou condicionais. Portanto, não está claro como uma linguagem imperativa com inferência parcial de tipo, como …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming 

Estou procurando exemplos de problemas difíceis (em NP ou mais difíceis) da ciência da computação que podem ser reduzidos a modelos de processos físicos. Por exemplo, max-2-sat pode ser reduzido à minimização de energia em um modelo Ising. Eu gostaria de encontrar mais exemplos desse tipo de redução.

10 cc.complexity-theory  reductions  physics  formal-modeling 

O algoritmo de Deutsch é uma computação quântica bem conhecida f(0)+f(1)mod2f(0)+f(1)mod2f(0) + f(1)\mod{2} com apenas uma avaliação de fff . Se substituirmos +++ por ⋅⋅\cdot o problema parecerá bastante diferente. Minha pergunta é: existe um algoritmo quântico calculando o valor de f(0)⋅f(1)f(0)⋅f(1)f(0)\cdot f(1) (ou AND, se você preferir) usando apenas …

10 reference-request  quantum-computing 

Não tenho certeza se a área correta, mas aqui vai. Inicio um doutorado em Gerenciamento de Confiança e Reputação em redes de Comunicações (muita teoria de grafos, análise probabilística, etc.) e tenho muita leitura pela frente. Alguém pode aconselhar as melhores maneiras de gerenciar a leitura acadêmica e o que …

10 soft-question  advice-request  research-practice 

Dado um conjunto de pontos em um espaço cartesiano 3D, estou procurando um algoritmo que classifique esses pontos, de modo que a distância euclidiana mínima entre dois pontos consecutivos seja maximizada. Também seria benéfico se o algoritmo tivesse uma tendência a uma distância euclidiana média mais alta entre pontos consecutivos.

10 graph-algorithms  cg.comp-geom  optimization 

Existe um algoritmo de tempo polinomial para encontrar - se houver - uma aranha de abrangência de um determinado gráfico ? Uma aranha é uma árvore com no máximo um nó com grau maior que 2: eu sei que várias condições de grau em G (essencialmente, graus de nó suficientemente …

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

Eu tenho 400 bolas, nas quais 100 são vermelhas, 40 são amarelas, 50 são verdes, 60 são azuis, 70 são roxas, 80 são pretas. (bolas da mesma cor são idênticas) eu preciso de um algoritmo de embaralhamento eficiente, para que, após embaralhar, as bolas estejam em uma lista e Quaisquer …

10 ds.algorithms  randomized-algorithms  permutations