Como posso resolver a seguinte relação de recorrência? f( n ) = f( n - 1 ) + f( n - logn )f(n)=f(n−1)+f(n−logn) f(n) = f(n-1) + f(n - \log
é um retângulo paralelo ao eixo.CCC C1,…,CnC1,…,CnC_1,\dots,C_nC1∪⋯∪Cn⊊CC1∪⋯∪Cn⊊CC_1\cup\dots\cup C_n \subsetneq C Uma partição de preservação de retângulo de é uma partição , de modo que , são retângulos paralelos ao eixo separados por pares e disjuntos no interior, e para cada : , ou seja,...
Greibach notoriamente definida uma linguagem de , o chamado versão não-determinístico de D 2 , de tal modo que qualquer CFL é uma imagem inversa de mórfica H . Existe uma afirmação semelhante com o DCFL, possivelmente com alguma restrição nos morfismos permitidos?HHHD2D2D_2HHH (Ver, por exemplo,...
Seja o tamanho mínimo de um circuito aritmético (não monótono) ( + , × , - ) que computa um dado polinômio multilinear f ( x 1 , … , x n ) = ∑ e ∈ E c e n ∏ i = 1 x e i iA ( f)A(f)A(f)( + , × , - )(+,×,−)(+,\times,-) e B ( f ) denotam o tamanho mínimo de umcircuitobooleano(não monótono) ( ∨ , ∧...
Estou procurando um documento de pesquisa dos conceitos importantes no campo do Quantum Automata. Encontrei a Teoria dos Autômatos Quânticos - Uma Revisão por Hirvensalo, mas parece sucinta demais para entender o tópico. Existe uma pesquisa bastante abrangente sobre o tema do Quantum...
Digamos que um gráfico tenha a propriedade M se seus vértices puderem ser ordenados v 1 , v 2 , … v n de maneira que o gráfico H i induzido pelos vértices { v 1 , … , v i } tenha d i s t H i ( v j , v k ) = d i s t G ( v j , vGGGMMMv1,v2,…vnv1,v2,…vnv_1, v_2, \ldots
Suponha que desejamos multiplicar matrizes. O algoritmo de multiplicação de matriz lenta é executado no tempo O ( n 3 ) e usa memória O ( n 2 ) . A multiplicação mais rápida da matriz ocorre no tempo n ω + o ( 1 ) , onde ω é a álgebra linear constante, mas o que se sabe sobre sua complexidade de...
Nas notas de aula de Ola Svensson: http://theory.epfl.ch/osven/courses/Approx13/Notes/lecture4-5.pdf , diz-se que não sabemos se o TSP euclidiano está em NP: A razão é que não sabemos como calcular raízes quadradas com eficiência. Por outro lado, há este artigo de Papadimitriou:...
Estou considerando a linguagem de todas as fórmulas lógicas proposicionais satisfatórias, SAT (para garantir que esse alfabeto seja finito, codificaríamos letras proposicionais de alguma maneira adequada [editar: as respostas apontaram que a resposta à pergunta pode não ser robusta em codificações...
Uma observação fácil é que, se um problema é determinável por um programa não-determinístico de tempo polinomial usando S ( log n ) bits de nondeterministic (isto é, todas as testemunhas são logarítmicas em comprimento), em seguida, uma ∈ P .AAAO(logn)O(logn)O(\log n)A∈PA∈PA \in \mathsf{P} Se...
A densidade de uma linguagem é uma função definida como Suponha que e são linguagens mais algum alfabeto finito, muitos e um logspace reduz a e não está na . Funções são polinomialmente relacionada se existem polinómios e tais que, para todos os , ed X : N → N d X ( n ) = | { X ∈ X | | x | ≤ n } |...
O teorema da hierarquia de tempo afirma que as máquinas de turing podem resolver mais problemas se tiverem (bastante) mais tempo. Isso vale de alguma forma se o espaço é limitado assintoticamente? Como relaciona com se cresce rápido o
É sabido que o problema da parada é incontestável. No entanto, é possível compactar exponencialmente as informações sobre o problema de parada, para que a descompactação seja computável. Mais precisamente, é possível calcular a partir de uma descrição de máquinas de Turing e de um conselho de n...
Klop, van Oostrom e de Vrijer têm um artigo sobre o cálculo lambda com padrões. http://www.sciencedirect.com/science/article/pii/S0304397508000571 Em certo sentido, um padrão é uma árvore de variáveis - embora eu esteja pensando nele como uma tupla aninhada de variáveis, por exemplo, ((x, y),...
No Apêndice B de Boosting and Differential Privacy, de Dwork et al., Os autores declaram o seguinte resultado sem prova e se referem a ele como a desigualdade de Azuma: Sejam C1,…,CkC1,…,CkC_1, \dots, C_k variáveis aleatórias com valor real, de modo que para cada i∈[k]i∈[k]i \in [k] ,...
Quem foi a primeira pessoa a mostrar que um idioma está no NP se um certificado para o idioma puder ser verificado em tempo polinomial? Temos um artigo que prova isso formalmente? Quando a comunidade do TCS começou a enfatizar o não determinismo em favor da verificabilidade? Pela minha vida, não...
Eu quero ser muito específico. Alguém sabe de uma reprovação ou de uma prova da seguinte proposição: ∃p∈Z[x],n,k,C∈N,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),\forall G, H \in...
Pedimos desculpas antecipadamente por isso, uma pergunta suave que não tem resposta correta e fechada. Este é provavelmente o melhor fórum para fazer minha pergunta. Eu sou um estudante de terceiro ano do grupo de teoria de uma das 15 melhores escolas dos EUA. Até agora, tenho feito decentemente...
Suponha que você está dado dois determinista empurrar para baixo autômatos que reconhecem idiomas e B , e desejo para determinar se existe uma linguagem regular R tal que A ⊆ R e R ∩ B = ∅ . Basicamente, o desafio é determinar se existe um DFA que reconheça de qual dos dois idiomas uma determinada...
Na recente pré-impressão https://arxiv.org/abs/1801.00776 , afirma-se que números reais podem ser classificados no tempo O ( n √nnn e no espaço linear. O artigo parece razoável, embora eu não seja especialista em algoritmos de classificação.O(nlogn−−−−√),O(nlogn),O(n \sqrt{\log n}), Se...