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...
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 \leq S_n, *)nnns ∈ { 0 , 1 }ns∈{0,1}ns \in \{0, 1\}^nG ....
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-...
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...
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...
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 1 , ⋯ , um m e f wA=(Q,Γ,δ,F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta, F)fafaf_aa∈Γa∈Γa\in \Gammafa:Q→Qfa:Q→Qf_a:Q\rightarrow...
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:...
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
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
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...
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
Estou procurando uma lista de problemas de otimização NP-hard, onde há pesquisas ativas em heurística prática para resolvê-los e há benchmarks comuns que as pessoas tentam superar. Os exemplos incluem: Reconstrução de árvores filogenéticas (heurística, por exemplo, aqui ) Vendedor ambulante (não...
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 um grau...
Os solucionadores SMT como Z3 ou Boolector usam um conjunto complexo de heurísticas para resolver problemas. No entanto, isso também dificulta muito a previsão do desempenho de um solucionador para um determinado problema. Minha pergunta é assim: Questão Existe uma maneira de entender ou obter...
a,ba,ba, bminx,y>0|ax−by|minx,y>0|ax−by| \min_{x, y > 0} |a^x - b^y| Aqui são inteiros. Obviamente, tomar dá uma resposta desinteressante; em geral, quão próximos esses poderes podem chegar? Além disso, como calculamos rapidamente o minimizador ?x = y = 0 x , yx,yx,yx, yx=y=0x=y=0x = y =...
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...
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) \} Existem limites conhecidos no ? Existe algo conhecido por...
O teorema de Cantor afirma que Para qualquer conjunto A, o conjunto de todos os subconjuntos de A tem uma cardinalidade estritamente maior que o próprio A. É possível codificar algo assim usando apenas tipos / proposições sem se referir a conjuntos ZFC? O código ou pseudocódigo para codificar...
Eu sou um pesquisador que trabalha na teoria de algoritmos e complexidade, eu uso a complexidade parametrizada até certo ponto. Para mim, parece que os pesquisadores com complexidade parametrizada são muito ativos (não quero dizer que outros não sejam) em termos de número de trabalhos de pesquisa....
Alguém sabe de onde vêm os nomes Sistema "F" e Sistema "T"? Não estou perguntando quem apresentou esses nomes (Sistema Girard F e Sistema Gödel T), mas o que significa "F" e