Ciência da Computação Teórica

Ao explorar diferentes técnicas de provar limites inferiores para algoritmos distribuídos, ocorreu-me que a seguinte variante do teorema de Ramsey pode ter aplicações - se isso for verdade. Parâmetros: , K , n são dados e, em seguida, N é escolhido para ser suficientemente grande. Terminologia: um subconjunto m é …

13 reference-request  co.combinatorics  ramsey-theory 

Muitas classes de complexidade definidas com máquinas de Turing têm definições em termos de circuitos uniformes. Por exemplo, P também pode ser definido usando circuitos de tamanho polinomial uniforme, e similarmente BPP, NP, BQP, etc. podem ser definidos com circuitos uniformes. Então, existe uma definição baseada em circuito de L? …

13 cc.complexity-theory  complexity-classes  circuit-complexity 

D L o g o t i m eDeuogTEume\mathsf{DLogTime} e são duas das menores classes de complexidade que temos. (Observe que a hierarquia de tempo logarítmica é igual a e esses são os dois primeiros níveis de ).G H A C 0 L HN L S g o t i …

13 cc.complexity-theory  circuit-complexity 

Eu estava pesquisando sobre multiplicação de matrizes, então eu primeiro visitei algoritmos de multiplicação de matrizes wiki . Nas referências, encontrei um artigo que afirma que usa o algoritmo O ( n2l o g( N ) )O(n2log(n))O(n^2 log(n)) , gostaria de ler o artigo, mas é complicado e leva muito …

13 ds.algorithms  linear-algebra  matrix-product 

Fiz essa pergunta em perguntas e respostas cruzadas validadas, mas parece que ela está relacionada ao CS muito mais que o Statistics. Você pode me dar exemplos de algoritmos de aprendizado de máquina que aprendem com as propriedades estatísticas do conjunto de dados e não com as próprias observações individuais, …

13 lg.learning  machine-learning 

Minha formação é em teoria / lógica da complexidade (onde há apenas um processo na maioria das vezes) e em computação distribuída (onde há processos e um ou mais podem falhar ao longo do tempo). No entanto, agora eu quero poder dizer algo sobre um processo de criação / criação …

13 dc.parallel-comp  process-algebra 

Digamos que temos uma rede neural de avanço de camada única com k entradas e uma saída. Calcula uma função de , é bastante fácil ver que isso tem pelo menos o mesmo poder computacional que . Apenas por diversão, chamaremos o conjunto de funções computável por uma rede neural …

13 cc.complexity-theory  circuit-complexity  machine-learning  ne.neural-evol 

Deixe ser um polinómio de multi-variada com coeficientes de mais de um campo . A multilinearização de , denotada por , é o resultado da substituição repetida de cada x_i ^ d por d> 1 por x_i . O resultado é obviamente um polinômio multilinear.p(x1,…,xn)p(x1,…,xn)p(x_1,\ldots,x_n)FFFp x d i d > …

13 cc.complexity-theory  polynomials 

Existem dois tipos principais de falhas de processador nos modelos de computação distribuída: (1) Falhas de falha: um processador para e nunca inicia novamente. (2) Falhas bizantinas: os processadores se comportam de maneira adversa e maliciosa. Minha pergunta é: Quais são alguns outros tipos de falhas de processador que foram …

13 reference-request  dc.distributed-comp 

O problema da fofoca em sistemas distribuídos é o seguinte. Temos um gráfico com n vértices. Cada vértice v possui uma mensagem m v que deve ser enviada para todos os nós.GGGnnnvvvmvmvm_v Agora, minha pergunta está no contexto do modelo de rede ad-hoc (supomos que um nó não tenha nenhum …

13 reference-request  dc.distributed-comp 

Antecedentes: No aprendizado de máquina, geralmente trabalhamos com modelos gráficos para representar funções de densidade de probabilidade dimensional alta. Se descartamos a restrição de que uma densidade se integra (soma) a 1, obtemos uma função de energia estruturada em gráfico não normalizada . Suponha que tenhamos uma função energética, , …

13 reference-request  machine-learning  lg.learning  boolean-functions 

A pergunta O que há de novo em estruturas de dados puramente funcionais desde Okasaki? , e a resposta épica do jbapple, mencionada usando listas de diferenças na programação funcional (em oposição à programação lógica), algo em que recentemente me interessei. Isso me levou a encontrar a lista de diferenças …

13 reference-request  ds.data-structures  pl.programming-languages  functional-programming  logic-programming 

A pergunta me ocorreu quando recebi Dana Moshkovitz responder a outro tópico . Deixe ser um NP Idioma, e deixá- R L ser o respectivo NP relação. Sabemos que existe algum polinômio p tal que:euLLReuRLR_Lppp ∀ x ∈ L ,, ∃ w ∈0 , 1p ( | x | )( …

13 cc.complexity-theory  np 

Sabe-se que determinar se um determinado coletor triangular 3 é uma esfera tridimensional está em NP, através do trabalho de Saul Schleimer em 2004: "O reconhecimento da esfera está em NP" arXiv: math / 0407047v1 [math.GT] . Gostaria de saber se isso foi estabelecido para ser NP-completo nos últimos cinco …

13 cc.complexity-theory  reference-request  open-problem  topology 

Em um aplicativo que estou considerando, preciso conhecer a complexidade da comunicação do seguinte problema: Dado , seja o conjunto de números inteiros de a . Alice, Bob e Carol recebem um subconjunto de , denotado por , e , respectivamente. Eles querem verificar se , e formam uma partição …

13 cc.complexity-theory  communication-complexity