A "otimização convexa on-line" de Zinkevich ( http://www.cs.cmu.edu/~maz/publications/ICML03.pdf ) generaliza os algoritmos de aprendizado de "minimização de arrependimento", de configurações lineares a convexas e fornece bom "arrependimento externo" . Existe uma generalização semelhante para...
Na seção "Introdução às linguagens de programação" de Anthony Aaby , sobre Semântica , ele faz a seguinte observação: Grande parte do trabalho na semântica das linguagens de programação é motivada pelos problemas encontrados na tentativa de construir e entender programas imperativos - programas...
Existe alguma pesquisa de algoritmos para computar interpolantes? E os trabalhos em apenas um algoritmo? O caso em que estou mais interessado é em e C = q , além da restrição de que o interpolante seja o menor possível. (Conheço o artigo de McMillan de 2005 , que descreve como obter interpolantes,...
Seja um gráfico simples em vértices sem vértice do grau . Suponha que, para quaisquer dois vértices de , exista um vértice exclusivo adjacente a ambos. É um exercício de A Course in Combinatorics , van Lint e Wilson, para provar que esse gráfico é regular.GGGnnn(n>3)(n>3)(n > 3)n - 1n-1 1n −...
Bloqueado . Esta pergunta e suas respostas estão bloqueadas porque a questão está fora do tópico, mas tem um significado histórico. No momento, não está aceitando novas respostas ou interações. Quais algoritmos são usados com mais frequência? Escreva um único...
As implementações mais modernas de expressões regulares, como as em perl ou .NET, vão além da definição clássica de ciência da computação dos REGEXes com recursos como lookahead e lookbehind. Esses recursos permitem analisar instruções que não podem ser descritas com um autômato finito e não...
Como você projetaria uma imagem para ilustrar a conjectura exclusiva dos jogos? Isto é para uma apresentação dos "Eventos Atuais" sobre jogos exclusivos na próxima Reunião Conjunta da AMS e para o livreto que será produzido. Exemplos do tipo de ilustrações produzidas no passado estão...
Eu tenho procurado pelo algoritmo (streaming ??) mais eficiente que me diz os 'k' elementos que ocorrem com mais frequência em um fluxo de dados a qualquer momento. Este post: "Divida e conquiste" algoritmos de fluxo de dados me interessaram. Por exemplo, suponha que haja números:...
Considere , uma função que retorna 1 se n zeros aparecerem consecutivamente em π . Agora alguém me deu uma prova de que f ( n ) é computável:f( N )f(n)f(n)nnnππ\pif( N )f(n)f(n) Ou para todo n, aparece em π , ou existe am r 0 m aparece em π e 0 m + 1 não. Para a primeira possibilidade f ( n ) :...
Para concretização, considere o LP para resolver um jogo de soma zero para dois jogadores em que cada jogador tem ações. Suponha que cada entrada da matriz de pagamento tenha no máximo 1 em valor absoluto. Para simplificar, não vamos fazer suposições de escassez.AnnnUMAUMAA Suponha que o tempo de...
Aqui está uma abstração de um problema de aprendizado / bandido on-line em que estive trabalhando no verão. Eu nunca vi um problema como esse antes e parece bastante interessante. Se você conhece algum trabalho relacionado, eu gostaria de receber referências. O problema A configuração é a de...
Essa recente questão da teoria dos jogos me fez pensar (isso é tangente, é claro): É possível otimizar eficientemente uma estratégia pessoal para escolher questões de pesquisa para trabalhar no uso da teoria dos jogos? Para avançar para uma formalização da pergunta, farei as seguintes suposições...
Paridade e são como gêmeos inseparáveis. Ou assim parece nos últimos 30 anos. À luz do resultado de Ryan, haverá um interesse renovado nas turmas pequenas.A C0 0AC0AC^0 Furst Saxe Sipser de Yao a Hastad são todas paridade e restrições aleatórias. Razborov / Smolensky é um polinômio aproximado com...
Um DFA possui uma palavra de sincronização se houver uma sequência que envie qualquer estado do DFA para um único estado. Em 'The Cerny Conjecture for Aperiodic Automata ”de AN Trahtman (Matemática Discreta e Ciência da Computação Teórica, vol. 9: 2, 2007, pp.3-10), ele escreveu: Cerny...
Estou procurando maneiras de manter uma árvore de abrangência relativamente equilibrada de um gráfico, à medida que adiciono novos nós / arestas ao gráfico. Eu tenho um gráfico não direcionado que começa como um único nó, a "raiz". Em cada etapa, adiciono ao gráfico um novo nó e uma aresta...
EDIT em 08/02/2011: Depois de encontrar e ler algumas referências, decidi separar a pergunta original em duas. Aqui está a parte referente a UP vs NP. Para a parte das classes sintáticas e semânticas, consulte Benefícios para as classes sintáticas e semânticas . U PUP\mathsf{UP} (o tempo...
Eu queria saber se a especificação JSON definiu uma linguagem regular. Parece bastante simples, mas não tenho certeza de como provar isso sozinho. A razão pela qual pergunto é porque estava pensando se alguém poderia usar expressões regulares para analisar efetivamente o JSON. Alguém com...
Li em algum lugar que uma máquina de Turing não pode calcular isso e, portanto, é indecidível, mas por quê? Por que é computacionalmente impossível para uma máquina gerar a árvore de análise e tomar uma decisão? Talvez eu esteja errado e isso possa ser
Meu teorema favorito na teoria da complexidade é o teorema da hierarquia de tempo. No entanto, isso foi feito em 1965. Eu queria saber se havia algo semelhante para a computação quântica. Além disso, se não, quais são as pessoas / grupos trabalhando nessa
Na teoria da informação quântica, a distância entre dois canais quânticos é frequentemente medida usando a norma do diamante. Também existem várias maneiras de medir a distância entre dois estados quânticos, como a distância do traço, a fidelidade, etc. O isomorfismo de Jamiołkowski fornece uma...