Ciência da Computação Teórica

Recebo um gráfico com largura de árvore ke grau arbitrário, e gostaria de encontrar um subgrafo H de G (não necessariamente um subgrafo induzido), de modo que H tenha um grau constante e sua largura de árvore seja a mais alta possível. Formalmente, meu problema é o seguinte: tendo escolhido …

9 co.combinatorics  treewidth  graph-minor  bounded-degree 

Após os sucessos mais recentes e mais recentes das redes neurais nos jogos de tabuleiro, parece que o próximo objetivo que estabelecemos poderia ser algo mais útil do que derrotar humanos em Starcraft. Mais precisamente, eu me perguntava se As redes neurais podem ser treinadas para resolver problemas algorítmicos clássicos? …

9 cc.complexity-theory  ds.algorithms  machine-learning  ne.neural-evol 

Dada uma função booleana , temos o grupo automorfismo .A u t ( f ) = { σ ∈ S n ∣ ∀ x , f ( σ ( x ) ) = f ( x ) }fffAut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Aut(f)={σ∈Sn ∣∀x,f(σ(x))=f(x)}Aut(f) = \{\sigma \in S_n\ \mid \forall x, f(\sigma(x)) = f(x) …

9 boolean-functions  randomness  gr.group-theory  symmetry 

Existe uma estrutura / formalismo que define modelos computacionais baseados em proteínas que não sejam o modelo de DNA de Adleman ou este trabalho de Cherry e Qian ?

9 reference-request  machine-models 

Qual é o método de aproximação de Razborov? Alguém pode dar uma visão geral de alto nível e a intuição por trás disso?

9 cc.complexity-theory  circuit-complexity 

O tempo quase polinomial, ou QP, é uma classe de complexidade na máquina de Turing determinística. Aqui está a definição precisa: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Enquanto βP é uma classe de complexidade de não determinismo limitado. Aqui está a definição precisa: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap É fácil ver que qualquer máquina de βP pode ser simulada …

9 cc.complexity-theory  complexity-classes 

Dado um DFA completo , podemos definir uma coleção de funções f a para cada a ∈ Γ e com f a : Q → Q , f a ( q ) = δ ( q , a ) . Podemos generalizar este conceito a uma palavra w = a …

9 automata-theory  regular-language  monoid 

Deixe ser uma classe de complexidade e BP- C ser o homólogo randomizado de C definida da mesma maneira como o BPP é definida com relação a P . Mais formalmente, fornecemos polinomialmente muitos bits aleatórios e aceitamos uma entrada se a probabilidade de aceitação for superior a 2CC\mathcal{C}BP- CBP-C\textrm{BP-}\mathcal{C}CC\mathcal{C}BPPBPP\textrm{BPP}PP\textrm{P} …

9 circuit-complexity  randomized-algorithms  derandomization 

Dado geradores fortes para um grupo agindo em bitstrings de comprimento n e um elemento s ∈ { 0 , 1 } n , quão difícil é para calcular o elemento lexicograficamente mínimo de G . s , a órbita de s em G ?( G ≤ Sn, ∗ )(G≤Sn,∗)(G …

9 permutations  gr.group-theory  complexity 

Para um idioma fixo em algum alfabeto , vamos considerar o seguinte problema, que chamo de INTERLEAVING :A LeuLLUMAAAeueuL Entrada: duas palavrasu , v ∈ A∗você,v∈UMA∗u, v \in A^* Saída: se existe uma intercalação de e , que está em .v LvocêvocêuvvveueuL Aqui, uma intercalação de duas palavras e é …

9 cc.complexity-theory  reference-request  regular-language 

Seja um alfabeto finito. Um código sobre é um subconjunto de de tal modo que cada palavra em pode ser representada unicamente como uma concatenação de palavras . Um códigoΣΣ\Sigma XXXΣΣ\SigmaΣ∗Σ∗\Sigma^*X∗X∗X^*XXXXXX éfinitose|X||X||X|é finito. O que se sabe sobre autômatos (mínimos) que reconhecemX∗X∗X^* para um código finitoXXX ? Existe alguma caracterização …

9 automata-theory 

Minha pergunta é sobre os teoremas 4.1 e 4.2 em "Teoria da complexidade geométrica V" . O primeiro teorema afirma que existe um algoritmo EXPSPACE para a construção de hsop para (veja definições no artigo) em C (de fato, em um campo arbitrariamente fechado algebricamente arbitrário da característica zero).Δ[det,m]Δ[det,m]\Delta[\text{det},m]CC\mathbb{C} O …

9 gct 

Existe algum número transcendental computável conhecido tal que o seu º dígito é computável em tempo polinomial, mas não em ?O ( n )nnnO(n)O(n)O(n)

9 cc.complexity-theory  comp-number-theory 

I têm durante algum tempo sido curioso sobre máquinas de Turing com exactamente uma fita e exactamente três estados (ou seja, o estado inicial q0q0q_0 , o estado aceitar qacceptqacceptq_{accept} , e o estado rejeitar qrejectqrejectq_{reject} ). Observe que eu permito alfabetos de fita arbitrários (finitos) (ou seja, o alfabeto …

9 automata-theory  turing-machines  cellular-automata 

Vamos L⊆A∗L⊆A∗L \subseteq A^* seja um idioma, e definir fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\} por fL(x,y)=1fL(x,y)=1f_L(x, y) = 1 sse x⋅y∈Lx⋅y∈Lx\cdot y \in L . Estou procurando uma referência para: Proposição. LLL é regular se a complexidade determinística da comunicação de fLfLf_L é constante. LLLPPPfLfLf_Ln↦max{comm(P,x,y):|x⋅y|=n}n↦max{comm(P,x,y):|x⋅y|=n}n \mapsto \max\{\text{comm}(P, x, …

9 reference-request  communication-complexity  regular-language