Informatique théorique reference-request

1

Permutations avec sous-séquences interdites

Soit le jeu et C (n, k) le jeu de toutes les -combinaisons d'éléments de sans répétition. Soit un -uple dans . On dit qu'une permutation de l'ensemble évite s'il n'y a pas de k-tuple d'entiers tels que { 1 , . . . , n } k [ n …

15 reference-request co.combinatorics permutations

3

L'exécution symbolique est un cas d'interprétation abstraite?

Ceci est écrit dans l'entrée wiki de Symbolic Execution , mais je ne trouve aucune référence pour cela. Quelqu'un peut-il me montrer un pointeur? Je vous remercie.

15 reference-request lo.logic program-analysis

2

minimiser la taille de l'expression régulière pour les ensembles finis

Il est connu que minimiser la taille d'une expression régulière est PSPACE-complete même si nous avons un DFA comme spécification du langage . Quels sont les résultats si la langue est finie? On peut considérer ce problème dans deux modèles: L'entrée correspond à toutes les chaînes du langage, et nous …

15 cc.complexity-theory reference-request fl.formal-languages regular-expressions dfa

3

Caractérisation combinatoire de l'apprentissage exact avec les requêtes d'adhésion

Edit: Comme je n'ai reçu aucune réponse / commentaire en une semaine, je voudrais ajouter que je suis heureux d'entendre quoi que ce soit sur le problème. Je ne travaille pas dans la région, donc même si c'est une simple observation, je ne le sais peut-être pas. Même un commentaire …

15 reference-request machine-learning lg.learning

2

Utilisations des quasi-PER / relations difonctionnelles / relations zig-zag?

Étant donné les ensembles et B , une relation difonctionnelle ( ∼ ) ⊆ A × B entre eux est définie comme une relation satisfaisant la propriété suivante:UNEUNEABBB ( ∼ ) ⊆ A × B(∼)⊆UNE×B(\sim) \subseteq A \times B Si et a ′ ∼ b ′ et a ∼ b …

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

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

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

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

1

Théorèmes de point fixe pour les espaces métriques constructifs?

Le théorème du point fixe de Banach dit que si nous avons un espace métrique complet non vide , alors toute fonction uniformément contractive a un point fixe unique . Cependant, la preuve de ce théorème nécessite l'axiome de choix - nous devons choisir un élément arbitraire a \ dans …

15 reference-request lo.logic pl.programming-languages denotational-semantics metric-spaces

3

Des références pour les techniques de réductions FPT?

Comme tout le monde le sait, le célèbre livre de Garey et Johnson (et bien d'autres) fournit une excellente référence pour la technique de réduction en milieu classique. Existe-t-il des enquêtes ou des livres sur le thème de la technique de réduction dans l'algorithme paramétré, disons la réduction fpt?

15 cc.complexity-theory reference-request reductions parameterized-complexity

3

Théories qui caractérisent les classes de complexité informatique

En lisant l'article " Une théorie applicative pour la FPH ", vous pouvez rencontrer le passage suivant: Compte tenu des théories qui caractérisent les classes de complexité informatique, il existe trois approches différentes: dans l'un, les fonctions qui peuvent être définies dans la théorie sont «automatiquement» dans une certaine classe …

15 cc.complexity-theory reference-request complexity-classes lo.logic proof-complexity

3

Des enquêtes sur la conception d'un générateur de nombres pseudo-aléatoires?

Je m'intéresse à la génération de nombres pseudo-aléatoires pour la cryptographie. Outre le chapitre 5 de Menezes / Oorschot / Vanstone ; Chapitre 8 de Stinson ; et le chapitre 3 de Goldreich , où pourrais-je trouver plus? Je m'intéresse aux principes généraux de conception des PRNG (propriétés souhaitables, tests, …

15 cc.complexity-theory reference-request pseudorandomness

Questions marquées «reference-request»