Informatique théorique

3

Quelle est la différence entre la réécriture de termes et la correspondance de motifs?

Comme il n'y a pas eu de réponse à Lambda the Ultimate, je réessaye ici: les systèmes de réécriture de termes sont utilisés par exemple dans un théorème automatisé prouvant un calcul symbolique, et bien sûr pour définir des grammaires formelles. Il existe certains langages de programmation basés sur la …

25 pl.programming-languages terminology term-rewriting-systems

4

Arguments pour l'existence de fonctions à sens unique

J'ai lu dans plusieurs articles que l'existence de fonctions à sens unique est largement admise. Quelqu'un peut-il expliquer pourquoi c'est le cas? Quels arguments avons-nous pour soutenir l'existence de fonctions à sens unique?

25 cc.complexity-theory cr.crypto-security big-picture one-way-function

1

Les types sont-ils des propositions? (Quels sont exactement les types?)

J'ai beaucoup lu sur les systèmes de types et autres et je comprends à peu près pourquoi ils ont été introduits (afin de résoudre le paradoxe de Russel). Je comprends également à peu près leur pertinence pratique dans les langages de programmation et les systèmes de preuve. Cependant, je ne …

25 lo.logic type-theory proof-theory

5

Récupérer une forêt d'analyse d'un analyseur Earley?

Je lisais récemment sur l' analyseur Earley et je pense que c'est l'un des algorithmes les plus élégants que j'ai vus à ce jour. Cependant, l'algorithme dans son sens traditionnel est un identificateur et non un analyseur, ce qui signifie qu'il peut détecter si une chaîne correspond à un CFG …

25 fl.formal-languages parsing

2

Trouver un nombre premier supérieur à une borne donnée

Est un algorithme déterministe à temps polynomial connu pour le problème suivant: Entrée: un nombre naturel (en encodage binaire)nnn Sortie: un nombre premier .p > np>np > n (Selon une liste de problèmes ouverts par Leonard Adleman, le problème était ouvert en 1995.)

25 cc.complexity-theory open-problem nt.number-theory polynomial-time primes

3

Problème de spectres de graphes inversés?

Habituellement, on construit un graphe et pose ensuite des questions sur la décomposition des valeurs propres de la matrice d'adjacence (ou d'un parent proche comme le laplacien ) (également appelée spectre d'un graphe ). Mais qu'en est-il du problème inverse? Étant donné valeurs propres, peut-on (efficacement) trouver un graphique qui …

25 ds.algorithms graph-theory graph-algorithms spectral-graph-theory

11

Exemple où l'équivalence est facile mais où trouver un représentant de classe est difficile

Supposons que nous ayons une classe d'objets (par exemple des graphiques, des chaînes) et une relation d'équivalence sur ces objets. Pour les graphiques, cela pourrait être un isomorphisme de graphique. Pour les chaînes, nous pourrions déclarer deux chaînes équivalentes si elles sont des anagrammes l'une de l'autre. Je souhaite calculer …

25 cc.complexity-theory

6

Pourquoi un chercheur du SDC aurait-il besoin de financement?

Je lisais ça . Ça dit ... Vous ne vous retrouverez pas aussi affamé de financement comme Pure Mathematics. (Vous vous retrouverez toujours affamé de financement.) ... Pourquoi les mathématiciens purs ont-ils besoin de financement? (Oups sa question de flux mathématique) Pourquoi une personne faisant de la recherche théorique aurait-elle …

25 soft-question career

1

Cycle de réseau aléatoire auto-évitant dans une zone de délimitation donnée

En relation avec le puzzle Slither Link , je me suis demandé: supposons que j'ai une grille de cellules carrées et que je souhaite trouver un cycle simple de bords de grille, uniformément au hasard parmi tous les cycles simples possibles.n×nn×nn\times n Une façon de le faire serait d'utiliser une …

25 ds.algorithms randomness markov-chains integer-lattice

2

Grammaires et types sensibles au contexte

1) Quelle est, le cas échéant, la relation entre le typage statique et les grammaires formelles? 2) En particulier, serait-il possible pour un automate borné linéaire de vérifier si, disons, un programme C ++ ou SML était bien typé? Un automate de pile imbriqué? 3) Existe-t-il un moyen naturel d'exprimer …

25 automata-theory fl.formal-languages pl.programming-languages type-theory type-inference

4

Quelle est la «plus petite» classe de complexité pour laquelle une borne de circuit superlinéaire est connue?

Toutes mes excuses pour avoir posé une question qui doit sûrement figurer dans de nombreuses références standard. Je suis curieux de savoir exactement la question dans le titre, en particulier je pense aux circuits booléens, sans limite de profondeur. J'ai mis "le plus petit" entre guillemets pour permettre la possibilité …

25 cc.complexity-theory circuit-complexity

2

Pourquoi les graphiques Ramanujan sont nommés d'après Ramanujan?

J'ai récemment enseigné aux expanseurs et introduit la notion de graphes Ramanujan. Michael Forbes a demandé pourquoi on les appelait ainsi, et j'ai dû admettre que je ne sais pas. N'importe qui?

25 graph-theory soft-question ho.history-overview expanders

5

Problèmes de graphes durs sous-exponentiellement résolubles

À la lumière des résultats récents d'Arora, Barak et Steurer, Algorithmes sous-exponentiels pour les jeux uniques et les problèmes connexes , je suis intéressé par les problèmes de graphes qui ont des algorithmes de temps sous-exponentiels mais qui ne sont pas résolus polynomialement. Un exemple célèbre est l'isomorphisme de graphe …

25 cc.complexity-theory reference-request

1

Un problème de partitionnement des bords sur les graphes cubiques

La complexité du problème suivant a-t-elle été étudiée? Entrée : un graphe cubique (ou régulier) , une borne supérieure naturelleG = ( V , E ) t333G = ( V, E)G=(V,E)G=(V,E)ttt Question : existe-t-il une partition de en parties de taille telle que la somme des ordres des sous-graphes correspondants …

25 graph-theory np-hardness co.combinatorics

5

Vérification des solutions uniques de SAT

Considérez le problème suivant: étant donné une formule CNF et une affectation qui satisfait cette formule, y a-t-il une autre affectation satisfaisante pour cette formule? Quelle est la complexité de ce problème? (C'est sûrement en NP, mais est-il aussi difficile en NP?) Que se passe-t-il si vous ne recevez pas …

25 cc.complexity-theory np-hardness sat unique-solution