L'informatique reference-request

2

Demande de référence: théorie des catégories telle qu'elle s'applique aux systèmes de types

Je n'arrête pas d'entendre comment on doit apprendre la théorie des catégories pour vraiment comprendre la théorie du langage de programmation. Jusqu'à présent, j'ai appris beaucoup de PL sans jamais entrer dans le domaine des catégories. Cependant, j'ai pensé qu'il était temps de faire le saut pour voir ce qui …

13 reference-request programming-languages type-theory category-theory

4

Le problème d'isomorphisme du graphe a-t-il été résolu?

La page de problème d'isomorphisme de Wikipedia semble indiquer que non, elle n'a pas été résolue. Cependant, un de mes amis a souligné un algorithme de temps polynomial pour l'isomorphisme graphique . Je ne suis pas assez sophistiqué pour suivre le raisonnement du document. J'ai ma propre tentative très approximative …

13 complexity-theory reference-request time-complexity graph-isomorphism

4

Pont des théorèmes pour la théorie des groupes et les langages formels

Existe-t-il un moyen naturel ou notable de relier ou de lier des groupes mathématiques et des langages CS formels ou un autre concept CS fondamental, par exemple les machines de Turing? Je recherche des références / applications. Notez cependant que je suis conscient du lien entre les semigroupes et les …

13 formal-languages reference-request automata discrete-mathematics group-theory

3

Quelle est l'origine du modèle client-serveur?

Je me demandais si quelqu'un connaissait l'origine du modèle client-serveur. D'où vient le terme (papier, application logicielle, livre)?

13 terminology reference-request distributed-systems history

2

Restrictions décidables du problème de correspondance postérieure

Le problème post-correspondance (PCP) est indécidable. La version limitée du PCP est complète et la version marquée du PCP (les mots de l'une des deux listes doivent différer dans la première lettre) est en P S P A C E [1].N PNP\mathrm{NP}P S P A C EPSPUNECE\mathrm{PSPACE} Ces versions restreintes …

13 complexity-theory computability reference-request

1

À quoi sert de trouver un nombre minimum de lignes droites pour couvrir un ensemble de points?

Il y a ce problème populaire [1] [2] en informatique qui consiste à trouver un nombre minimum de lignes droites couvrant un ensemble donné de points en 2D. Même si j'ai scanné de nombreux papiers, aucun d'entre eux n'a une motivation claire pour le problème. Quelle est l'utilité de résoudre …

12 reference-request computational-geometry applied-theory

1

Quel problème NP-Complete possède l'algorithme le plus rapide connu?

En termes d'exécution asymptotique dans le pire des cas, quel problème NP-complet a l'algorithme le plus rapide connu (exact) et quel est l'algorithme? Existe-t-il quelque chose de plus rapide que ?O ( n2∗ 2n)O(n2∗2n)O(n^2*2^n)

12 algorithms reference-request np-complete

3

Solveur SAT multicœur

J'essaie de résoudre un problème SAT de 25k clauses 5k variables. Comme il fonctionne depuis une heure (précosat) et que j'aimerais en résoudre de plus gros par la suite, je cherche un Solveur SAT multicœur. Comme il semble y avoir beaucoup de solveurs SAT, je suis assez perdu. Quelqu'un pourrait-il …

12 algorithms reference-request parallel-computing sat-solvers

2

Existe-t-il une définition CS formelle de VCS et de versions de fichiers?

Je ne sais pas si c'était une blague, mais une fois que j'ai lu ce que l'on appelle une définition formelle d'un fichier dans un système de versioning tel que git, hg ou svn. C'était quelque chose comme un objet mathématique comme un homéomorphisme. Était-ce une plaisanterie ou y a-t-il …

12 terminology reference-request

2

Quelle est la complexité du problème de vide pour les DFA bidirectionnels?

Je me demande quelle est la complexité temporelle de la détermination du vide pour les DFA bidirectionnels? Autrement dit, des automates finis qui peuvent reculer sur leur bande d'entrée en lecture seule. Selon Wikipedia, ils sont équivalents aux DFA, bien que les DFA équivalents puissent être exponentiellement plus importants. J'ai …

12 complexity-theory formal-languages reference-request automata finite-automata

1

Outil de prototypage de sémantique de langage de programmation

Existe-t-il un outil pour prototyper la sémantique et le système de type d'un langage de programmation et qui permet également une sorte de vérification du modèle des propriétés standard, comme la solidité du type? Je pose cette question, car je lis un livre sur Alloy et il fournit la fonctionnalité …

11 reference-request programming-languages semantics model-checking

1

Un problème NP-difficile peut-il être polynomial en moyenne?

Je me demande s'il y a des problèmes durs qui sont "polynomiaux" dans le cas moyen. Je pense qu'il y a deux façons d'interpréter cela?NPNPNP Si , peut-il y avoir un algorithme résolvant un problème dur avec un temps d'exécution amorti (cas moyen) de pour une constante ?P≠NPP≠NPP \neq NPNPNPNPO(nk)O(nk)O(n^k)kkk …

11 complexity-theory reference-request np-complete probabilistic-algorithms amortized-analysis

3

Livre d'introduction sur la logique et le calcul

Pouvez-vous me donner quelques suggestions sur un bon livre d'introduction (mais complet) sur la logique et le calcul? Voici quelques sujets flous auxquels je pense: Presburger artihm., PA, ZF, ZFC, HOL Théorie des ensembles, Théorie des types Modélisation du calcul (machines de Turing) dans différentes théories Liens avec la complexité …

11 reference-request logic books

1

Pourquoi tous les problèmes dans FPTAS sont-ils également dans FPT?

Selon l'article de Wikipedia sur les schémas d'approximation du temps polynomial : Tous les problèmes dans FPTAS sont traitables à paramètres fixes. Ce résultat me surprend - ces classes semblent être totalement différentes les unes des autres. FPTAS caractérise les problèmes par leur facilité d'approximation, tandis que FPT caractérise les …

11 complexity-theory reference-request approximation parameterized-complexity

2

Planification des travaux avec un problème de goulot d'étranglement

Étant donné travaux , chaque travail nécessite temps pour se terminer.nnnJ1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_nTi>0,Ti∈NTi>0,Ti∈NT_i > 0, T_i \in N Chaque travail doit être prétraité et post-traité par une seule machine M qui ne peut gérer qu'un seul travail à la fois et les deux phases nécessitent 1 unité de temps. Après avoir été …

11 complexity-theory reference-request scheduling

Questions marquées «reference-request»