Ciência da Computação Teórica

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 Automata? Além disso, você poderia me indicar …

12 reference-request  quantum-computing  automata-theory 

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 ( …

12 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

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, M. Autebert, J. Berstel …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

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−log⁡n) f(n) = f(n-1) + f(n - \log n)

12 recursion 

é 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, cada retângulo existente está contido em …

12 cg.comp-geom 

Dada uma sequência , uma capa do palíndromo é uma sequência de palavras modo que e que cada seja um palíndromo.p 1 p 2 ⋯ p m p i p 1 p 2 ⋯ p m = ww = σ1σ2… Σnw=σ1σ2…σnw=\sigma_1\sigma_2\ldots\sigma_np1p2⋯ pmp1p2⋯pmp_1p_2\cdots p_mpEupip_ip1p2⋯ pm= wp1p2⋯pm=wp_1p_2\cdots p_m = wpipip_i Quão difícil …

12 ds.algorithms  dynamic-programming  string-matching  covering-problems 

Eu sou um estudante de matemática interessado em TCS. Eu quero estudar os algoritmos e a complexidade deles para resolver os problemas teóricos do grupo, como encontrar ordem dos elementos, enumeração de coset, encontrar gerador, testar se um determinado subconjunto gera o grupo. Que livro devo ler?

12 ds.algorithms  reference-request  gr.group-theory  books 

Eu me pergunto, o que aconteceria se, na definição de (Hierarquia Polinomial, veja, por exemplo, aqui ), o papel do fosse substituído pelo ?PHPHPHNPNPNPRPRPRP Parece que ainda podemos construir uma hierarquia, da mesma forma que o é construído, apenas usando todos os lugares, em vez de , e vez de …

12 cc.complexity-theory  randomized-algorithms  randomness 

A redução de Karp é uma redução computável de muitos-um no tempo polinomial entre dois problemas computacionais. Muitas reduções de Karp são na verdade funções individuais. Isso levanta a questão de saber se toda redução de Karp é injetiva (função one-one). Existe um natural de completo que é conhecido por …

12 cc.complexity-theory 

'Dado a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , existe x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by=cax2+by=cax^2+by=c ' é NPNP\mathsf{NP} completo. A qual classe de complexidade 'Dado a,b,c∈Na,b,c∈Na,b,c\in\Bbb N , existe x,y∈Nx,y∈Nx,y\in\Bbb N , ax2+by2=cax2+by2=cax^2+by^2=c ' pertence?

12 ds.algorithms  complexity-classes  reductions  nt.number-theory  np-complete 

em 1979, Hopcroft / Ullman escreveu que o LPSP é conhecido como PSpace, mas o LPSP é a única contenção adequada (e trivial) conhecida, embora todos sejam conjecturados como contenções adequadas e "onde as coisas ainda estão" ~ 4 décadas depois . desde então, existem conexões conhecidas entre L ⊊ …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

Dado um gráfico , precisamos encontrar a cardinalidade do maior conjunto de vértices para que cada um deles esteja presente em todas as correspondências máximas possíveis.GGG Existe uma solução ao lado do óbvio remover cada vértice e encontrar a correspondência máxima para ver que ela reduz?

12 graph-theory  graph-algorithms 

P/poly=NP/polyP/poly=NP/polyP/poly = NP/poly implica , que por sua vez tem conseqüências interessantes como o colapso da hierarquia polinomial.NP⊆P/polyNP⊆P/polyNP \subseteq P/poly Existem implicações interessantes para ?P/poly≠NP/polyP/poly≠NP/polyP/poly \neq NP/poly

12 cc.complexity-theory  conditional-results  advice-and-nonuniformity 

Seja fixo e G seja um gráfico (conectado). Se não me engano, segue-se do trabalho de Bodlaender [1, Teorema 3.11] que, se a largura de árvore de G é aproximadamente pelo menos 2 k 3 , G contém uma estrela K 1 , k como menor.kkkGGGGGG2k32k32k^3GGGK1,kK1,kK_{1,k} Podemos reduzir o termo …

12 graph-theory  treewidth  graph-minor 

É sabido que adicionar aleatoriedade de erro limitado ao PSPACE não adiciona energia. Ou seja, BPPSAPCE = PSPACE. É desconhecido se notoriamente P = BPP, mas sabe-se que .B PP⊆ Σ2∩ Π2BPP⊆Σ2∩Π2BPP\subseteq \Sigma_2\cap \Pi_2 Assim, é possível (embora conjecturado como falso) que adicionar probabilidade a P acrescente poder expressivo. Minha …

12 randomness  derandomization  polynomial-hierarchy