Ciência da Computação Teórica

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 (declaradas informalmente): Eu "aprecio" …

19 soft-question  gt.game-theory 

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 em http://www.ams.org/meetings/lectures/current-events-bulletin e se você …

19 cc.complexity-theory  unique-games-conjecture 

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: (4,3,5,1,6,2,4,3,3,8,9,1) e eu pesquise …

19 ds.algorithms  online-algorithms  data-streams 

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 execução …

19 ds.algorithms  approximation-algorithms  online-learning  linear-programming 

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 pushdown? Quanto mais perto …

19 automata-theory  regular-expressions  fl.formal-languages 

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 …

19 graph-theory  co.combinatorics  puzzles 

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 bandidos com …

19 machine-learning  lg.learning  online-learning 

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

19 computability 

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 arrependimento interno? (Não tenho muita certeza nem do que exatamente isso significaria.)

19 lg.learning  online-learning 

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 com comandos de atribuição. Como o …

19 imperative-programming  semantics  big-picture 

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 …

19 reference-request  lo.logic  proof-complexity  feasible-interpolation 

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 algoritmo por resposta, tente manter sua resposta curta (uma ou …

19 ds.algorithms  big-list 

O problema de decisão CNF-SAT pode ser descrito da seguinte maneira: Entrada: uma fórmula booleana na forma normal conjuntiva.ϕϕ\phi Pergunta: Existe uma atribuição de variável que satisfaça ?ϕϕ\phi Estou considerando várias abordagens diferentes para resolver o CNF-SAT com uma máquina de Turing de duas fitas não determinística . Eu acredito …

19 time-complexity  sat  turing-machines  np  nondeterminism 

Qual seria uma boa prova informal / intuitiva para 'acertar o ponto inicial' sobre a dualidade do LP? Qual a melhor maneira de mostrar que a função objetivo minimizada é realmente o mínimo com uma maneira intuitiva de entender o limite? A maneira como fui ensinado Dualidade apenas levou a …

19 linear-programming  primal-dual 

Estou interessado no seguinte problema: dadas as matrizes inteiras decidem se todo produto infinito dessas matrizes eventualmente é igual à matriz zero.UMA1, A2, … , AkA1,A2,…,AkA_1,A_2, \ldots, A_k Isso significa exatamente o que você pensa: diremos que o conjunto de matrizes tem a propriedade de que todos os seus produtos …

19 linear-algebra  decidability