Informatique théorique

3

Y a-t-il une restriction naturelle de la logique VO qui capture P ou NP?

Le papier Lauri Hella et José María Turull-Torres, Requêtes informatiques avec des logiques d'ordre supérieur , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 propose une logique VO, une logique d'ordre variable. Cela permet de quantifier les commandes sur les variables. VO est assez puissant et peut exprimer certaines requêtes …

12 cc.complexity-theory complexity-classes lo.logic computability descriptive-complexity

1

Ordre topologique positif, prendre 2

Ceci fait suite à la récente question de David Eppstein et est motivé par les mêmes problèmes. Supposons que j'ai un point avec des poids réels sur ses sommets. Initialement, tous les sommets ne sont pas marqués. Je peux changer l'ensemble des sommets marqués soit (1) en marquant un sommet …

12 ds.algorithms directed-acyclic-graph partial-order

6

«Diviser et conquérir» les algorithmes de flux de données

Quels algorithmes utiles existent-ils qui fonctionnent sur d'énormes flux de données et aussi leurs résultats sont assez petits et on peut calculer le résultat pour un mélange de deux flux en fusionnant en quelque sorte leurs résultats? Je peux en nommer quelques-uns: Les choses évidentes comme sum, min, max, count, …

12 ds.algorithms big-list data-streams

3

Quels sont quelques exemples de schémas de partage secret réellement utilisés dans des applications du monde réel?

Le concept de schéma de partage secret est souvent attribué à Shamir (A. Shamir, How to share a secret , Comm. ACM, 22 (1979), pp. 612-613.) Et Blakey (GR Blakey, Safeguarding cryptographic keys , dans Proc. NCC, vol. 48, 1979, p. 313-317.). L'idée générale est qu'un secret S est caché …

12 cr.crypto-security application-of-theory

1

Algorithme efficace pour des colorations de bord quasi optimales d'hypergraphes

Les problèmes de coloration des graphiques sont déjà assez difficiles pour la plupart des gens . Malgré cela, je vais devoir être difficile et poser un problème sur la coloration hypergraphique. Question. Quels sont les algorithmes efficaces pour trouver une coloration des bords approximativement optimale pour les hypergraphes à k …

12 co.combinatorics hypergraphs graph-colouring

3

Dérandomisation en streaming

Les algorithmes de flux nécessitent la randomisation pour la plupart pour ne rien faire de non trivial, et en raison de la contrainte de petit espace, ont besoin de PRG qui utilisent peu d'espace. Je connais deux méthodes qui ont été citées jusqu'à présent dans les algorithmes de flux: F …

12 ds.algorithms derandomization streaming pseudorandom-generators

3

Langues

Quels sont les autres langages de problèmes différents de l'isomorphisme des graphes dans ? Pouvez-vous donner quelques références?NP∩ c o A MNP∩coAMNP\cap coAM Mise à jour: J'ai oublié de mentionner que je suis intéressé dans les langues ne sont pas connus pour être en .c o NPcoNPcoNP

12 cc.complexity-theory reference-request complexity-classes graph-isomorphism

2

Complexité des requêtes de calcul de l'apprentissage SQ

Il est connu que pour l'apprentissage par PAC, il existe des classes de concepts naturels (par exemple des sous-ensembles de listes de décision) pour lesquelles il existe des écarts polynomiaux entre la complexité de l'échantillon nécessaire à l'apprentissage théorique de l'information par un apprenant sans calcul et la complexité de …

12 machine-learning lg.learning sample-complexity

2

Arbres équilibrés simples avec O (1) concat?

Dans les pires cas purement fonctionnels , les listes triées caténables à temps constant , Brodal et al. présentent des arbres équilibrés purement fonctionnels avec O (1) concaténé et O (lg n) insèrent, suppriment et trouvent. La structure des données est quelque peu compliquée. Existe-t-il un arbre de recherche équilibré …

12 functional-programming ds.data-structures

3

Complexité de la localisation dans les réseaux sans fil

Soit des points distincts asseyez-vous dans R 2 . On dit que les points i et j sont voisins si | i - j | < 31 . . . n1...n1 ... nR2R2\mathbb{R}^2jeiijjj , ce qui signifie que chaque point est voisin avec des points avec des index à moins …

12 cg.comp-geom

1

Problème technique avec la preuve du théorème PCP

Je lis la preuve d' ici et je suis tombé sur un problème technique (pourtant crucial). Je sais que c'est assez spécifique et le contexte est problématique, mais je n'ai pas pu le comprendre moi-même. Aux pages 51 et 55, après avoir présenté les vérificateurs "standard", ils se tournent pour …

12 cc.complexity-theory pcp

2

Quels sont les emplois théoriques en informatique?

A côté du milieu universitaire qui est clairement le berceau des théoriciens, je m'interroge sur les métiers industriels liés à l'informatique théorique, ceux qui demandent une formation mathématique pure. À votre santé !

12 career computational-mathematics

4

Comment être plus «à l'esprit théorique»?

Toutes mes excuses à l'avance pour cette question douce qui n'a pas de réponse fermée et correcte. C'est probablement le meilleur forum pour poser ma question. Je suis un étudiant diplômé de troisième année dans un groupe théorique d'une école du top 15 aux États-Unis. Jusqu'à présent, je me débrouille …

12 soft-question advice-request

1

Exemple de témoin de longueur logarithmique plus facile à vérifier qu'à trouver

Une observation simple est que si un problème est décidable par un programme non déterministe polynomial en utilisant O ( log n ) des bits non déterministes ( par exemple, tous les témoins sont logarithmiques de long), alors A ∈ P .AAAO(logn)O(log⁡n)O(\log n)A∈PA∈PA \in \mathsf{P} Si l'on pose ensuite la …

12 cc.complexity-theory

1

Un exemple où le plus petit terme lambda normal n'est pas le plus rapide

Soit la de -terms définie comme suit:λs i zesizesizeλλ\lambda s i ze ( x ) = 1size(x)=1size(x) = 1 , s i ze ( λ x . t ) = s i ze ( t ) + 1size(λx.t)=size(t)+1size(λx.t) = size(t) + 1 , s i ze ( t s ) …

12 lo.logic computability pl.programming-languages lambda-calculus