Informatique théorique

1

Classement de la difficulté des problèmes difficiles de NP dans la pratique

Cette question est étroitement liée à un autre article: Transitions de phase dans les problèmes difficiles NP, mais elle est quelque peu différente. Bien que cette question concerne la dureté d'instances particulières de problèmes difficiles NP, il s'agit de classer la difficulté des mêmes instances. Il y a beaucoup de …

15 cc.complexity-theory np-hardness sat

1

Maintenir l'ordre dans une liste en

Le problème de maintenance des commandes (ou «maintien de l'ordre dans une liste») est de supporter les opérations: singleton: crée une liste avec un élément, lui renvoie un pointeur insertAfter: donné un pointeur sur un élément, insère un nouvel élément après, renvoyant un pointeur sur le nouvel élément delete: donne …

15 ds.data-structures soft-question pl.programming-languages graph-theory tree cc.complexity-theory pcp co.combinatorics cg.comp-geom pr.probability vc-dimension cc.complexity-theory complexity-classes relativization soft-question advice-request career soft-question research-practice paper-review journals co.combinatorics cc.complexity-theory complexity-classes pr.probability average-case-complexity cc.complexity-theory lo.logic descriptive-complexity finite-model-theory ds.algorithms cc.complexity-theory approximation-hardness csp pcp cc.complexity-theory circuit-complexity

2

Quelle structure de données persistante pour un ensemble d'éléments partiellement ordonnés?

J'ai besoin de stocker des ensembles d'éléments de type a. Le type a est partiellement ordonné, donc comparer et un 2 peut retourner plus petit, plus grand, égal ou incomparable.une1une1a_1une2une2a_2 Un problème avec les tables de hachage est que deux éléments égaux peuvent être représentés différemment, et je n'ai pas …

15 ds.data-structures functional-programming sorting

2

Théorie de la preuve des biproduits?

Une catégorie a des sous - produits lorsque les mêmes objets sont à la fois les produits et coproduits. Quelqu'un a-t-il étudié la théorie de la preuve des catégories avec des biproduits? L'exemple le plus connu est peut-être la catégorie des espaces vectoriels, dans laquelle la somme directe et les …

15 reference-request lo.logic pl.programming-languages type-theory ct.category-theory

1

Approximation de la fonction universelle

Il est connu via le théorème d'approximation universel qu'un réseau neuronal avec même une seule couche cachée et une fonction d'activation arbitraire peut approximer n'importe quelle fonction continue. Quels sont les autres modèles qui sont également des approximateurs de fonctions universelles

15 machine-learning function approximation

3

Sources pour la théorie algorithmique évolutive des jeux

J'utilise le terme de titre dans un sens très vague. Il y a une quantité importante de travail sur la théorie des jeux évolutifs, y compris ses fondements mathématiques. On m'a recommandé "Jeux évolutionnaires et dynamique des populations", mais je n'y suis pas encore allé. Il y a également une …

15 reference-request gt.game-theory genetic-algorithms evolutionary-game-theory

2

Quelle est l'origine des relations logiques?

J'ai en fait deux questions: Qui a d'abord utilisé les relations logiques pour relier la sémantique? Je les ai retracés à " Sur la relation entre la sémantique directe et la continuation " de Reynold " , mais je ne peux pas prétendre avoir fait une recherche exhaustive. J'ai trouvé …

15 reference-request pl.programming-languages denotational-semantics logical-relations

2

Apprentissage Quantum PAC

Contexte Les fonctions dans sont PAC apprenables en temps quasi-polynomial avec un algorithme classique qui nécessite des requêtes choisies au hasard pour apprendre un circuit de profondeur d [1]. S'il n'y a pas d' algorithme de factorisation alors c'est optimal [2]. Bien sûr, sur un ordinateur quantique, nous savons comment …

15 quantum-computing lg.learning machine-learning open-problem ne.neural-evol

2

Expression mu-récursive explicite pour la fonction Ackerman

Pouvez-vous s'il vous plaît indiquer comment construire la fonction Ackerman (en fait, je suis intéressé par une version proposée par Rózsa Péter et Raphael Robinson) via des opérateurs mu-récursifs standard? J'ai essayé des papiers originaux de Péter et Robinson, mais le papier de Péter utilise une langue différente de l'anglais …

15 computability

2

Quelqu'un a-t-il utilisé la défonctionnalisation polymorphe de Pottier et Gauthier dans un compilateur modulaire?

La défonctionnalisation est une transformation de programme qui convertit des programmes d'ordre supérieur en programmes de premier ordre. L'idée est que, compte tenu d'un programme, il n'y a qu'un nombre fini d'abstractions lambda, vous pouvez donc remplacer chaque lambda par un identifiant et chaque application de fonction par un appel …

15 pl.programming-languages compilers

1

Décomposition modulaire et largeur de clique

J'essaie de comprendre certains concepts sur la décomposition modulaire et les graphiques à largeur de clique . Dans cet article ("On P4-tidy graphs"), il y a une preuve de la façon de résoudre des problèmes d'optimisation comme le nombre de cliques ou le nombre chromatique en utilisant la décomposition modulaire. …

15 graph-theory graph-algorithms cliquewidth

1

Frapper un ensemble de familles qui se croisent par paire

Un ensemble de frappe d'une famille est un sous-ensemble de tel que pour . Le problème pour trouver un ensemble de frappe minimum d'une famille donnée est NP-difficile en général, car il généralise le problème de couverture de vertex. Maintenant ma question est:H ⋃ n i = 1 S i …

15 cc.complexity-theory np-hardness approximation-hardness

5

Références pour la décomposition modulaire

Quels sont les bons papiers / livres pour mieux comprendre le pouvoir de la décomposition modulaire et ses propriétés? Je m'intéresse particulièrement aux aspects algorithmiques de la décomposition modulaire. J'ai entendu dire qu'il est possible de trouver une décomposition modulaire d'un graphe en temps linéaire. Existe-t-il un algorithme relativement simple …

15 ds.algorithms reference-request graph-theory graph-algorithms

1

Recherche d'articles et d'articles sur le Tarskian Möglichkeit

Contexte: les logiques à plusieurs valeurs de Łukasiewicz étaient conçues comme des logiques modales, et Łukasiewicz a donné une définition d' extension de l'opérateur modal: (qu'il attribue à Tarski).◊ A =rée f¬ A → A◊A=def¬A→A\Diamond A =_{def} \neg A \to A Cela donne une logique modale étrange, avec quelques théorèmes …

15 reference-request lo.logic proof-theory linear-logic modal-logic

5

Recherche d'articles et d'articles sur les logiques sous-structurales modales

Je recherche des articles et des articles sur les logiques modales sous-structurelles - non pas sur la sémantique des modalités de logique linéaire, mais sur les logiques sous-structurelles augmentées d'opérateurs modaux standard, par exemple sous-structuraux K (quelque chose comme MALL avec opérateur de boîte, nécessité et règles K).

15 reference-request lo.logic proof-theory