Ciência da Computação Teórica

Estou familiarizado com o algoritmo de descida de gradiente, que pode encontrar o mínimo local (máximo) de uma determinada função. Existe alguma modificação na descida do gradiente que permita encontrar o mínimo absoluto (máximo), onde a função possui vários extremos locais? Existem técnicas...

Estou procurando uma técnica geral que possa me ajudar a provar não apenas que os autômatos Buchi são um modelo mais expressivo que o LTL, mas que a fórmula específica pode / não pode ser expressa em LTL. Por exemplo, " ocorre pelo menos em posições pares" pode ser descrito pelos seguintes...

Dana Angluin ( 1987 ; pdf ) define um modelo de aprendizado com perguntas sobre membros e questões teóricas (contra-exemplos a uma função proposta). Ela mostra que uma linguagem regular representada por um DFA mínimo de estados pode ser aprendida em tempo polinomial (onde as funções propostas são...

Deixe uma matriz k×nk×nk\times n ( k≤nk≤nk\le n ) real AA{\bf A} com a propriedade de que qualquer coleção de kkk colunas tenha classificação completa. Q: Existe uma maneira eficiente de deterministically encontrar um vetor aa{\bf a} tal forma que a matriz aumentada A′=[Aa]A′=[Aa]{\bf A}' = [{\bf...

Estou lendo o artigo de Harrow, Hassidim e Lloyd sobre algoritmos quânticos para sistemas lineares de equações . Na terceira página desse artigo, eles escrevem Em seguida, aplicamos a evolução hamiltoniana condicional em | Ψ 0 ⟩ C ⊗ | b ⟩

Um teorema direto do produto, informalmente, diz que computar instâncias de uma função é mais difícil do que computar uma vez.kkkffffff Teoremas típicos de produtos diretos (por exemplo, o XOR Lemma de Yao) analisam a complexidade de casos médios e argumentam (muito grosseiramente) que não pode...

Dado um conjunto finito de portas quânticas , é decidível (no sentido teórico da computação) se G é um conjunto de portas universais? Por um lado, "quase todos" os conjuntos de portas são universais; por outro, os conjuntos de portas não universais ainda não são bem compreendidos (em particular, é...

Nos é dado um matróide. Nosso objetivo é encontrar um conjunto de elementos de tamanho mínimo que possua uma interseção não vazia com todas as bases do matróide. O problema já foi estudado? Está em P? Por exemplo, em um matróide de spanning tree, o conjunto de batidas mínimo deve ser um corte...

Foi mostrado no artigo "Programação inteira com um número fixo de variáveis" que as programações inteiras com número constante de restrições (ou variáveis) são polinomialmente solucionáveis. Isso vale para a programação

Resposta: desconhecido Muito obrigado a todos que ajudaram a refinar esta questão e as definições a ela associadas. As definições deste wiki forneceram o ponto de partida para o wiki mais recente do TCS " P contém idiomas cuja existência é independente do PA ou ZFC? (Wiki da comunidade TCS) "....

De acordo com o livro Topological Graph Theory, de Gross e Tucker, dada a incorporação celular de um gráfico em uma superfície (por 'superfície', quero dizer aqui uma esfera com algumas pegas, e abaixo de S n se refere à esfera com exatamente n identificadores), pode-se definir uma multigraph dupla...

Em um artigo sobre a relativização dos cálculos do espaço de log, Ladner e Lynch constroem um oráculo em relação ao qual . Existem alguns exemplos mais patológicos nessa veia na literatura. Eu tenho lido alguns artigos sobre classes espaciais pequenas relativizadas, e uma das principais ferramentas...

Dado um estado quântico escolhido uniformemente aleatoriamente a partir de um conjunto de estados mistos , qual é a probabilidade média máxima de identificar corretamente ? N ρ 1 . . . ρ N AρUMAρA\rho_ANNNρ1. . . ρNρ1...ρN\rho_1 ... \rho_NUMAAA Esse problema pode ser transformado em um problema de...

Dado um gráfico com arestas ponderadas, como podemos encontrar um ciclo negativo que contenha pelo menos um vértice em um determinado conjunto de vértices ? Obrigado.{V1,V2,…,Vk}{V1,V2,…,Vk}\{V_1, V_2, \ldots,

Considere conjuntos de valores (representados como matrizes classificadas sem duplicatas e com um tamanho conhecido (ou seja, o tamanho pode ser obtido em O (1)) .Os valores podem ser testados quanto à igualdade no tempo O (1). para obter o conjunto de valores presentes em pelo menos conjuntos...

Estou traduzindo um livro sobre LISP e, naturalmente, ele toca alguns elementos do -calculus. Portanto, uma noção de extensionalidade é mencionada ao lado de alguns modelos de -calculus, a saber: e (sim, com o infinito no topo). E é dito que é extensional, enquanto não é.λλ\lambdaP ω D ∞ P ω D...

Isso é semelhante ao SAT, exceto que conhecemos a atribuição de cada variável, mas não sabemos a atribuição de nenhum operador booleano. Nesse caso, encontrar a atribuição de cada operador para que a expressão avalie um determinado valor booleano é um problema do NPC? Na verdade, eu estava...

Estou procurando uma maneira de gerar gráficos para que a cobertura ideal do vértice seja conhecida. Não há restrições quanto ao número de nós ou arestas, apenas que o gráfico esteja completamente conectado. a idéia é gerar um gráfico que não seja fácil de encontrar a cobertura ideal de vértice,...

Existem aplicações da Álgebra Abstrata na Teoria da Linguagem de Programação? Existe algo que seria útil no design de linguagem e na implementação do

Estou tentando cobrir um polígono côncavo simples com um mínimo de retângulos. Meus retângulos podem ter qualquer comprimento, mas têm larguras máximas e o polígono nunca terá um ângulo agudo. Pensei em tentar decompor meu polígono côncavo em triângulos que produzem um conjunto de retângulos...