Informatique théorique

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

1
Limites inférieures pour la communication multipartite non déterministe
Il s'agit d'une continuation de ma question précédente sur les limites inférieures de communication pour les fonctions booléennes partielles . Quelqu'un peut-il suggérer une référence sur les limites inférieures pour la communication multipartite non déterministe? J'ai examiné les articles sur le terrain, mais tout le monde semble montrer les séparations …
1
Théorème du PCP - Étape de réduction de l'alphabet
Ce qui suit peut sembler stupide (et cela reflète probablement ma mauvaise compréhension - alors soyez patient avec moi) J'avais une requête sur le théorème du PCP. Nous savons qu'après les trois premières étapes, à savoir. Réduction de degré, expansion et amplification de l'écart, nous avons un graphe de contraintes …
1
«Débordement» dans l'algorithme euclidien étendu
Désolé si je me trompe avec l'endroit où poser la question (peut-être que je devrais aller sur stackoverflow.com/mathoverflow.net?). Je me demande s'il y a une preuve que lors de l'évaluation de l'algorithme euclidien étendu, les coefficients de Bézout (c'est-à-dire s et t dans l'identité comme + bt = gcd ( …
2
Une preuve interactive du nombre de Dieu?
J'ai récemment appris les preuves interactives et je me demandais si le tout n'était rien de plus qu'une curiosité théorique, ou s'il avait des applications pratiques. J'ai pensé commencer par un exemple qui m'est venu sous la douche: Ces derniers temps, la nouvelle a été que "Nombre de Dieu" = …
2
simulabilité en ligne droite
Un organisme connaît-il une bonne référence pour la signification de la simulabilité linéaire? Je suis actuellement profondément dans le cadre de la composabilité universelle (UC) de Canetti, mais je ne trouve aucune bonne référence pour le sens de la simulabilité en ligne droite. Toute aide est appréciée.
4
Intelligence humaine et algorithmes
Y a-t-il eu des études pour déterminer si l'intelligence humaine peut surpasser les algorithmes (c.-à-d. Tester si le théorème du déjeuner gratuit s'applique à l'intelligence humaine)? Dans le même ordre d'idées, quelqu'un a-t-il développé une méthode technique pour tirer parti des propriétés supra-informatiques uniques de l'intelligence humaine?
3
Apprendre avec des oracles «taciturnes»
Ma question est un peu générique, donc je compose une belle histoire pour la justifier. Restez avec moi si ce n'est pas réaliste ;-) Récit M. X, le chef du service de sécurité informatique d'une grande entreprise, est un peu paranoïaque: il exige que tous les employés changent de mot …
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.