Sabe-se que Ford-Fulkerson ou Edmonds-Karp com a heurística do tubo de gordura (dois algoritmos para fluxo máximo) não precisam parar se alguns pesos forem irracionais. De fato, eles podem até convergir para o valor errado ! No entanto, todos os exemplos que pude encontrar na literatura...
Estou curioso sobre as maneiras pelas quais você viu a não uniformidade ser útil na computação. Uma maneira é a aleatoriedade, como em , e outra são as tabelas de consulta que são usadas para mostrar que todos os idiomas têm circuitos não uniformes.BPP⊆P/polyBPP⊆P/polyBPP \subseteq P/poly Em...
Braverman mostrou que distribuições que são -wise independenteε-fool profundidadedAC0circuitos de tamanhompor "colando" a aproximação Smolensky e a aproximação de Fourier deumC0funções booleanas -computable. O autor e aqueles que conjeturaram essa conjetura original de que o expoente lá pode ser...
Estou procurando problemas difíceis de resolver no tempo do FPT, mas que possuem um algoritmo de aproximação. Ou seja, problemas que são: R1. W [1] -hard. R2. Admita um algoritmo de aproximação (de preferência constante) no tempo do FPT. O problema com o qual estou familiarizado é contar o...
Seja um alfabeto finito. Para um determinado idioma L ⊆ A * o monoid sintática M ( L ) é uma noção bem conhecida na teoria da linguagem formal. Além disso, um monóide M reconhece uma linguagem L se existir um morfismo φ : A ∗ → M tal que L = φ - 1 ( φ ( L ) ) ) .AAAL⊆A∗L⊆A∗L \subseteq A^{\ast}...
Somos capazes de provar um teorema de parametridade livre sobre funções como f:∀A.[A]⊸[A]f:∀A.[A]⊸[A]f : \forall A . [A] ⊸ [A] ? Supõe-se que fff pega uma lista e sempre retorna uma permutação dela. Outro exemplo: prove que a função f:∀A.(A⊸(A,A))⊸[A]⊸[A]f:∀A.(A⊸(A,A))⊸[A]⊸[A]f : \forall A . (A ⊸...
Na Teoria Intuicionista de Tipos: Parte Predicativa de Martin-Löf , está provado que a verificação de tipo é decidível, sujeita a um tipo de letra em primeiro lugar, provando um teorema de normalização para termos tipificados fechados. Por outro lado, eu já vi escrito em vários lugares (Wikipedia,...
Quais são os limites superiores assintóticos mais conhecidos em tamanhos de provas probabilisticamente verificáveis? Idealmente, estou procurando uma pesquisa contemporânea sobre essa ampla questão, mas, se não houver, estou especialmente interessado na falta de aproximação do 3-SAT. Seja 7/8 +...
O teorema de Robertson-Seymour diz que qualquer de gráficos de família menos fechada pode ser caracterizado por finitos muitos menores proibidos.GG\mathcal G Existe um algoritmo que para uma entrada gera os menores proibidos ou isso é indecidível?GG\mathcal G Obviamente, a resposta pode...
Tenho dificuldades em entender a prova de forte normalização para o cálculo de construções. Tento seguir a prova no artigo de Herman Geuvers "Uma prova curta e flexível de Normalização Forte para o Cálculo de Construções". Eu posso seguir bem a linha principal de raciocínio. Geuvers constrói para...
Existem vários modelos diferentes para definir transformações entre idiomas. Transdutores de estado finito e transformações de gráficos definíveis pelo MSO sobre gráficos de cadeias de caracteres são as duas com as quais estou melhor familiarizado. Sabemos que os transdutores de estado finito...
Se existem resultados na resolução de problemas de linguagens formais usando análise matemática, matemática contínua. Por exemplo, resolvendo o problema de não vazio de interseção para uma linguagem livre de contexto e uma linguagem
Este resultado de Tavenas, Koiran e outros mostra que qualquer polinômio calculado por um circuito de tamanho sss é calculado por um circuito homogêneo de profundidade 4 do tamanho sd√sds^{\sqrt{d}} . Existem resultados semelhantes para circuitos booleanos ou sabemos por que isso não é possível?...
Eu estou olhando para escrever uma pesquisa sobre o método de representar a dinâmica da computação baseada no estado dentro da estrutura das barras de carvão. Até agora, consegui encontrar documentos sobre representações de coalgebra de DFA, NFA, máquinas Mealy, máquinas Moore, gramáticas livres de...
Duas pilhas podem ser implementadas com eficiência usando uma matriz de tamanho fixo: a pilha nº 1 começa na extremidade esquerda e cresce para a direita e a pilha nº 2 começa na extremidade direita e cresce para a esquerda. O mesmo é possível para três pilhas? Mais especificamente, é possível...
Ultimamente, me interessei por geometria algébrica e comecei a ler sobre ela. Ainda sei muito pouco sobre esse campo, mas quero saber se ele tem alguma conexão com meu campo principal, teoria de tipos e linguagens de programação. Eu sei que a topologia algébrica tem muitas aplicações na teoria dos...
Contexto : Existem vários artigos que estudam as implicações das curvas timelike fechadas (CTCs) na complexidade quântica. Em 2008, Aaronson e Watrous publicaram seu famoso artigo sobre esse tópico, que mostra que certas formas de viagem no tempo podem tornar equivalentes a computação quântica e...
Existe um tipo de resultado no TCS geralmente chamado de resultados de inicialização . Em geral, é da forma Se a proposição AAA mantém, então a proposição A′A′A' mantém. onde AAA e A′A′A' são proposições que parecem semelhantes, e AAA é aparentemente "mais fraco" que A′A′A' , razão pela qual...
Para muitos problemas, o algoritmo com a melhor complexidade assintótica tem um fator constante muito grande, oculto pela grande notação O. Isso ocorre na multiplicação de matrizes, multiplicação de números inteiros (especificamente, o recente algoritmo de multiplicação de números inteiros O (n log...
Em [1], Garey et al. identificar o que mais tarde seria conhecido como o Problema da Soma das Raízes Quadradas no decurso da conclusão da PN do Euclidean TSP. Dados os números inteiros e , determine sea1,a2,…,ana1,a2,…,ana_1, a_2, \ldots, a_nLLLa1−−√+a2−−√+⋯+an−−√<La1+a2+⋯+an<L\sqrt{a_1} +...