Ciência da Computação Teórica

DLOGTIME é definido em http://en.wikipedia.org/wiki/DLOGTIME é definido em http://en.wikipedia.org/wiki/L_%28complexity%29 NC e NC n são definidos em http: // en .wikipedia.org / wiki / NC_% 28complexidade% 29euL\operatorname{L} NCNC\operatorname{NC}NCnNCn\operatorname{NC}^n DLOGTIME parece ser o menor que pode funcionar. Eu li em vários lugares queL ⊆ NC2L⊆NC2\, \operatorname{L} \subseteq \operatorname{NC}^2 \,, \,embora todos os …

9 cc.complexity-theory  circuit-complexity 

(Desculpas se isso for extraviado ou muito amplo. Estou aberto a sugestões sobre como reformulá-lo.) Estou interessado em rastrear a história "antiga" dos algoritmos de fluxo máximo e algoritmos de otimização discretos em geral. Ford-Fulkerson é meu homem de palha de um ponto de partida. Quais foram os avanços significativos …

9 ds.algorithms  graph-algorithms  ho.history-overview 

Estou lendo um artigo antigo do MC Golumbic sobre gráficos EPT (interseção de arestas de caminhos em uma árvore). No artigo, é mostrado que o número máximo de cliques de uma instância de gráfico EPT é polinomial. Conclui que, se um oracle relatar que um gráfico é um gráfico EPT, …

9 ds.algorithms  graph-algorithms  clique 

No problema Max-Cut , procura-se um subconjunto S de vértices de um dado gráfico simples e não direcionado, de modo que o número de arestas entre S e o complemento de S seja o maior possível. O Max-Cut é completo em APX em gráficos de grau delimitado [PY91] e de …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness  max-cut 

Dada uma função submodular em que e são disjuntos . Aqui e são submodulares em e respectivamente.fffΩ=X1∪X2Ω=X1∪X2\Omega=X_1\cup X_2X1X1X_1X2X2X_2f(S)=f1(S∩X1)+f2(S∩X2)f(S)=f1(S∩X1)+f2(S∩X2)f(S)=f_1(S\cap X_1)+f_2(S\cap X_2)f1f1f_1f2f2f_2X1X1X_1X2X2X_2 Aqui são desconhecidos e apenas um acesso de consulta de valor a é fornecido. Então existe um algoritmo polytime que encontra . Se houver várias opções para qualquer uma delas …

9 ds.algorithms  submodularity 

Assuma uma estrutura na complexidade da comunicação em que temos dois jogadores A (piolhos) e B (ob) e um R (eferee). A e B não se comunicam diretamente entre si. Em cada rodada de comunicação, cada um deles envia uma mensagem ( , m B ) para o R. R …

9 cc.complexity-theory  reference-request  communication-complexity 

As triangulações de Delaunay no plano maximizam o ângulo mínimo em um triângulo. O mesmo vale para a triangulação de pontos de Delaunay na esfera? (aqui o "ângulo" é o ângulo local em uma vizinhança ao redor do vértice no ápice). Inspirado, mas não relacionado a esta pergunta no Math.SE.

9 cg.comp-geom  delaunay-triangulation 

Para um aplicativo de aprendizado de máquina, meu grupo precisa calcular a distância euclidiana do ésimo vizinho mais próximo em um conjunto para cada (para entre 5 e cerca de 100 e algumas centenas até alguns milhões). Atualmente, estamos usando a abordagem de força bruta ou a abordagem óbvia com …

9 reference-request  cg.comp-geom  near-neighbors 

Estou tentando aprender mais sobre a verificação de tipo de programa inteiro e sistemas de inferências de tipo que usam informações de sites de chamada de função para calcular informações de tipo (além da abordagem padrão do uso do corpo da função). Por exemplo, esse algoritmo pode usar uma chamada …

9 pl.programming-languages  type-theory  type-inference  type-systems 

Estou aprendendo a teoria algébrica da análise. Meu primeiro problema é identificar exemplos de semicondutores específicos da teoria formal da linguagem. Aqui está uma tentativa de construir dois exemplos. 1 Dada a gramática CNF, os elementos de semiring são conjuntos de símbolos terminais e não terminais com as operações: i) …

9 fl.formal-languages 

Wikipedia - SHA-2 diz SHA-224 é idêntico a SHA-256, exceto que: os valores variáveis ​​iniciais h0 a h7 são diferentes e a saída é construída omitindo h7. RFC3874 - Função hash unidirecional de 224 bits: diz SHA-224 O uso de um valor inicial diferente garante que um valor de resumo …

9 cr.crypto-security  hash-function 

Eu queria saber sobre quais conjuntos de idiomas são gerados por restrições de expressões regulares. Supondo que todas as restrições tenham um símbolo constante para cada elemento de e concatenação. Então, oito classes podem ser formadas pela presença ou ausência de complemento / negação, alteração / união e a estrela …

9 fl.formal-languages  regular-expressions 

Em todos os lugares que eu li sobre o problema de corte mais escasso, ele diz apenas que o problema é conhecido por ser NP- difícil. Onde posso encontrar uma prova disso? Qual problema NP- duro conhecido reduz ao problema de corte mais esparso? Não encontrei nenhuma prova no livro …

9 cc.complexity-theory  reference-request  np-hardness 

Eu estou tentando mostrar que um determinado problema é incompreensível devido a uma redução da cobertura do conjunto. Minha redução transforma uma instância com o conjunto de aterramento de tamanho e em uma instância do meu problema em que um determinado parâmetro r é do tamanho . Em seguida, posso …

9 cc.complexity-theory  approximation-hardness  set-cover 

(Minha pergunta original ainda não foi respondida. Adicionei mais esclarecimentos.) Ao analisar passeios aleatórios (em gráficos não direcionados), visualizando o passeio aleatório como uma cadeia de Markov, exigimos que o gráfico seja não bipartido, para que o teorema fundamental das cadeias de Markov se aplique. O que acontece se o …

9 pr.probability  random-walks