Informatique théorique

Q & A pour les informaticiens théoriques et les chercheurs dans des domaines connexes

1
Visualiser des jeux uniques
Comment concevriez-vous une image pour illustrer la conjecture des jeux uniques? Ceci est pour une présentation "Current Events" sur des jeux uniques lors de la prochaine réunion conjointe AMS et pour le livret qui sera produit. Des exemples du type d'illustrations produites dans le passé http://www.ams.org/meetings/lectures/current-events-bulletin et si vous cliquez …
1
Choisir un sujet de recherche en utilisant la théorie des jeux
Cette récente question sur la théorie des jeux m'a fait réfléchir (c'est une tangente, bien sûr): est-il possible d'optimiser efficacement une stratégie personnelle pour choisir des questions de recherche sur lesquelles travailler en utilisant la théorie des jeux? Afin d'avancer vers une formalisation de la question, je ferai les hypothèses …
1
Le problème de Warren Buffett
Voici une abstraction d'un problème d'apprentissage en ligne / bandit sur lequel j'ai travaillé l'été. Je n'ai jamais vu un problème comme celui-ci auparavant, et cela semble assez intéressant. Si vous connaissez un travail connexe, j'apprécierais les références. Le problème Le réglage est celui des bandits multi-armés. Vous avez N …
5
(Faux?) Preuve de calculabilité d'une fonction?
Considérons , une fonction qui retourne 1 si zéros apparaissent consécutivement dans . Maintenant, quelqu'un m'a donné une preuve que est calculable:n π f ( n )F( n )f(n)f(n)nnnππ\piF( n )f(n)f(n) Soit pour tout n, apparaît dans , soit il y a am st apparaît dans et n'apparaît pas. Pour …
4
Où se situent la plupart des implémentations REGEX sur l'échelle de complexité?
La plupart des implémentations modernes d'expressions régulières, telles que celles en perl ou .NET, vont au-delà de la définition informatique classique des REGEX avec des fonctionnalités comme lookahead et lookbehind. Ces fonctionnalités leur permettent-elles d'analyser des instructions qui ne peuvent pas être décrites avec un automate fini et non pushdown? …
2
Regret interne dans l'optimisation convexe en ligne
L '"optimisation convexe en ligne" de Zinkevich ( http://www.cs.cmu.edu/~maz/publications/ICML03.pdf ) généralise les algorithmes d'apprentissage de la "minimisation des regrets" d'un paramètre linéaire à un paramètre convexe et donne un bon "regret externe" . Existe-t-il une généralisation similaire pour le regret interne? (Je ne suis pas totalement sûr de ce que …
22
Quels algorithmes sont utilisés le plus souvent en pratique?
Verrouillé . Cette question et ses réponses sont verrouillées car la question est hors sujet mais a une signification historique. Il n'accepte pas actuellement de nouvelles réponses ou interactions. Quels algorithmes sont utilisés le plus souvent? Veuillez écrire un seul algorithme par réponse, essayez de garder votre réponse courte (une …
2
Existe-t-il un algorithme de temps linéaire non déterministe pour CNF-SAT?
Le problème de décision CNF-SAT peut être décrit comme suit: Entrée: Une formule booléenne ϕϕ\phi sous forme normale conjonctive. Question: Existe-t-il une affectation de variable qui satisfait ϕϕ\phi ? J'envisage plusieurs approches différentes pour résoudre CNF-SAT avec une machine de Turing à deux bandes non déterministe . Je crois qu'il …
2
Une preuve intuitive / informelle pour LP Duality?
Quelle serait une bonne preuve informelle / intuitive pour «toucher le point» de la dualité LP? Comment montrer au mieux que la fonction objectif minimisée est bien le minimum avec une manière intuitive de comprendre la limite? La façon dont on m'a enseigné la dualité n'a conduit qu'à une seule …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.