Perguntas com a marcação «reference-request»

Recentemente, fui lembrado sobre o problema vs. N P, conforme explicado por Stephen A. Cook no Clay Mathematics Institute.PP\mathsf{P}N PNP\mathsf{NP} Isso despertou meu interesse e eu gostaria de aprender mais sobre isso. O primeiro passo seria obter uma compreensão mais profunda do problema e uma compreensão da área em geral. …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Estou procurando um nome ou qualquer referência a esse problema. Dado um gráfico ponderado, G=(V,E,w)G=(V,E,w)G = (V, E, w) encontre uma partição dos vértices em até n=|V|n=|V|n = |V|define S1,…,SnS1,…,SnS_1,\ldots,S_n para maximizar o valor das arestas de corte: c(S1,…,Sn)=∑i≠j⎛⎝∑(u,v)∈E:u∈Si,v∈Sjw(u,v)⎞⎠c(S1,…,Sn)=∑i≠j(∑(u,v)∈E:u∈Si,v∈Sjw(u,v))c(S_1,\ldots,S_n) = \sum_{i \ne j}\left(\sum_{(u,v)\in E : u \in S_i, v \in …

12 ds.algorithms  reference-request  approximation-algorithms  max-cut 

Quais são os problemas com a taxa de aproximação mais conhecida alcançada por um algoritmo retornando uma solução uniformemente aleatória? Conheço um exemplo para o problema de fluxo de permutação : no artigo " Limites apertados para agendamento de lojas de fluxo de permutação " Viswanath Nagarajan e Maxim Sviridenko …

12 ds.algorithms  reference-request  approximation-algorithms 

Estou no meu segundo ano em um mestrado que não se relaciona muito com o TCS, embora eu desejasse. É basicamente sobre teoria de controle, sinais e sistemas e participei de aulas em sistemas avançados (robusto, não linear, ideal, estocástico), processamento avançado de sinais e otimização convexa. Estou tentando descobrir …

12 reference-request  soft-question 

Que outros problemas de linguagem diferentes do isomorfismo de grafos existem em ? Você pode dar algumas referências?NP∩coAMNP∩coAMNP\cap coAM Update: Esqueci de mencionar que eu estou interessado em línguas desconhecidas para a .coNPcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

Qual é a largura mínima da árvore de um circuito acima de para calcular o MAJ?{∧,∨,¬}{∧,∨,¬}\{\wedge,\vee,\neg\} Aqui MAJ gera 1 se pelo menos metade de suas entradas for .1:{0,1}n→{0,1}:{0,1}n→{0,1}:\{0,1\}^n \rightarrow \{0,1\}111 Preocupo-me apenas com o tamanho do circuito (deve ser polinomial) e que uma entrada seja lida apenas uma vez, …

12 reference-request  complexity-classes  circuit-complexity  treewidth 

Portanto, todos sabemos o limite inferior da árvore de comparação de no pior número de comparações feitas por um algoritmo (determinístico) de classificação por comparação. Não se aplica à classificação de comparação aleatória (se medirmos as comparações esperadas para a entrada do pior caso). Por exemplo, para n = 4 …

12 ds.algorithms  reference-request  sorting 

Dado composto peneira campo número geral é melhor conhecido algoritmo fatoração para fatoração número inteiro de . É um algoritmo aleatório e obtemos uma complexidade esperada de para fator . N O ( e √N∈NN∈NN\in\Bbb NNNNNO(e649√(logN)13(loglogN)23)O(e649(log⁡N)13(log⁡log⁡N)23)O\Big(e^{\sqrt{\frac{64}{9}}(\log N)^{\frac 13}(\log\log N)^{\frac 23}}\Big)NNN Procurei informações sobre a pior complexidade possível nesse algoritmo aleatório. …

12 reference-request  derandomization  factoring  average-case-complexity  worst-case 

Um MPA (autômato multipebble) é um 2DFA (autômato finito determinístico de duas vias) que pode usar um número arbitrário de seixos (na verdade, no máximo seixos em uma determinada entrada - a entrada é gravada na fita entre as duas extremidades -markers como ). Durante o cálculo, um MPA pode …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

Eu li sobre a substituição hereditária do Cálculo Lambda Simples e do The Logical Framework com termos e tipos distintos. Gostaria de saber, existem exemplos de substituição hereditária em um sistema tipicamente dependente com uma hierarquia de universo? ou seja, onde etc.Tr u e : Se t0 0: Se t1: …

11 reference-request  lo.logic  pl.programming-languages  type-theory  lambda-calculus 

Estou interessado no problema clássico INCLUSÃO LÍNGUA REGULAR. Dada uma expressão regular , denotamos por L ( E ) a linguagem regular a ela associada. (As expressões regulares estão em um alfabeto fixo Σ , com a união de operações, estrela Kleene e concatenação.)EEEL(E)L(E)L(E)ΣΣ\Sigma Entrada: Duas expressões regulares e E …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

I tem um conjunto de binário vectores S = { s 1 , ... , s n } ⊆ { 0 , 1 } k ∖ { 1 k } e um vector alvo t = 1 k , que é o vector de todos-onas.nnnS={s1,…,sn}⊆{0,1}k∖{1k}S={s1,…,sn}⊆{0,1}k∖{1k}S = \{s_1, \ldots, s_n \} …

11 reference-request  linear-algebra  finite-fields 

A lógica monádica de primeira ordem, também conhecida como classe monádica do problema de decisão, é onde todos os predicados usam um argumento. Foi demonstrado ser decidível por Ackermann e está NEXPTIME-complete . No entanto, problemas como SAT e SMT têm algoritmos rápidos para resolvê-los, apesar dos limites teóricos. Gostaria …

11 reference-request  lo.logic  automated-theorem-proving  program-verification  first-order-logic 

Um antichain em um DAG é um subconjunto Um ⊆ V de vértices que são emparelhados inacessível, ou seja, não há nenhum v ≠ v ' ∈ Um tal que v é acessível a partir de v ' em E . Do teorema de Dilworth na teoria de ordem parcial, …

11 reference-request  graph-theory  directed-acyclic-graph  partial-order 

Seja uma linguagem ef : function ⋆ × Σ ⋆ → Σ ⋆ uma função em dois parâmetros com a propriedade que para todos x e y , f retorna um elemento de L se e somente se x e y forem elementos de L :euLLf: Σ⋆× Σ⋆→ Σ⋆f:Σ⋆×Σ⋆→Σ⋆f\colon {\Sigma^\star}\times\Sigma^\star\to\Sigma^\starxxxyyyfffeuLLxxxyyyLLL …

11 reference-request  fl.formal-languages