L'informatique

1

Classification des variantes de problèmes de satisfiabilité insolubles / tractables

Récemment, j'ai trouvé dans un article [1] une version symétrique spéciale de SAT appelée 2/2/4-SAT . Mais il existe de nombreuses variantes complètes, par exemple: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} Quelques autres variantes sont traitables: - , Planar-NAE- , ...SAT SAT222SATSAT\text{SAT}SATSAT\text{SAT} Existe-t-il des documents d'enquête (ou des pages …

20 complexity-theory reference-request satisfiability

4

Mesurer la latence du réseau unidirectionnel

Il s'agit d'un puzzle sur la mesure de la latence du réseau que j'ai créé. Je crois que la solution est que c'est impossible, mais les amis ne sont pas d'accord. Je cherche des explications convaincantes de toute façon. (Bien qu'il soit posé comme un puzzle, je pense qu'il convient …

20 computer-networks protocols distributed-systems

1

Existe-t-il une structure de données existante de taille fixe qui repoussera l'élément le plus ancien / le dernier si un nouvel élément est inséré?

Je recherche une structure de données qui repoussera son élément le plus ancien / le dernier si un nouvel élément est inséré. Par exemple, Dreprésentons la structure. Dcontient 3 éléments des Number Dvaleurs par défaut du type seront initialisés à 1, 2et 3. D = [ 1 , 2 , …

20 data-structures arrays queues

1

si (λ x. xx) a un type, alors le système de types est-il incohérent?

Si un système de types peut attribuer un type à λ x . x x, ou à la non-terminaison (λx . x x) (λ x . x x), alors ce système est-il incohérent en conséquence? Tous les types de ce système sont-ils habités? Pouvez-vous prouver faux?

20 lambda-calculus dependent-types

4

Compression de deux entiers sans tenir compte de l'ordre

En comparant une paire ordonnée (x, y) à une paire non ordonnée {x, y} (ensemble), puis en théorie, la différence n'est que d'un bit, car si x vient en premier ou y nécessite exactement un seul bit pour représenter. Donc, si on nous donne un ensemble {x, y} où x, …

20 information-theory data-compression

3

Les fonctions à croissance plus lente que Ackermann inverse apparaissent-elles dans les limites d'exécution?

Certains algorithmes complexes ( union-find ) ont la fonction Ackermann inverse presque constante qui apparaît dans la complexité temporelle asymptotique, et sont optimales dans le pire des cas si le terme Ackermann inverse presque constant est ignoré. Existe-t-il des exemples d'algorithmes connus avec des durées de fonctionnement qui impliquent des …

20 reference-request algorithm-analysis time-complexity runtime-analysis

4

Utiliser les humains comme composants pour construire un ordinateur?

Ok avant de commencer, je me rends compte que c'est en marge du sujet (j'ai lu l'aide Questions pour ce site), d'autant plus que ce n'est pas un problème réel. Pourtant: Je ne trouve rien de pertinent sur Google D'un point de vue puriste, cela doit certainement relever de l'informatique? …

20 reference-request human-computing

1

Existe-t-il une optimisation complète des compilateurs pour terminer les programmes?

Dans le livre d'Andrew W. Appel, Modern Compiler Implementation in ML , il dit au chapitre 17 que la théorie de la calculabilité montre qu'il sera toujours possible d'inventer de nouvelles transformations d'optimisation et procède pour prouver qu'un compilateur entièrement optimisé résoudra le problème d'arrêt: un programme Q qui ne …

20 computability compilers program-optimization

2

Existe-t-il un type non trivial qui est égal à sa propre dérivée?

Un article intitulé The Derivative of a Regular Type is its Type of One-Hole Contexts montre que la "fermeture à glissière" d'un type - ses contextes à un trou - suit les règles de différenciation en algèbre de type. Nous avons: ∂xx∂x0∂x1∂x(S+T)∂x(S×T)↦1↦0↦0↦∂xS+∂xT↦∂xS×T+S×∂xT∂xx↦1∂x0↦0∂x1↦0∂x(S+T)↦∂xS+∂xT∂x(S×T)↦∂xS×T+S×∂xT\begin{align} \partial_x x &\mapsto 1 \\ \partial_x 0 &\mapsto …

20 type-theory algebra

2

Les langues sans contexte dans

Les langages sans contexte ne sont pas fermés sous complément, nous le savons. Pour autant que je sache, les langages sans contexte qui sont un sous-ensemble de pour certaines lettres sont fermés sous complément (!?) a , ba∗b∗a∗b∗a^*b^*a,ba,ba,b Voici mon argument. Chaque langue CF a une image Parikh semi-linéaire . …

20 formal-languages reference-request context-free closure-properties

1

La détection des progressions arithmétiques «doublement» est-elle difficile?

Ceci est inspiré d'une question d'entrevue . On nous donne un tableau d'entiers et devons déterminer s'il existe des distincts tels que i < j < kune1, … , Unna1,…,ana_1, \dots, a_ni < j < ki<j<ki \lt j \lt k unek- unj= aj- unjeak−aj=aj−aia_k - a_j = a_j - a_i …

20 algorithms complexity-theory lower-bounds

5

Qu'est-ce que le calcul exactement?

Je sais ce qu'est le calcul dans un sens vague (c'est ce que font les ordinateurs), mais j'aimerais une définition plus rigoureuse. Dictionary.comLes définitions de calcul, calcul, calcul et calcul sont circulaires, donc cela n'aide pas. Wikipediadéfinit le calcul comme «tout type de calcul qui suit un modèle bien défini». …

20 terminology computability

4

Pourquoi la récursion gauche est-elle mauvaise?

Dans la conception du compilateur, pourquoi la récursion gauche devrait-elle être éliminée dans les grammaires? Je lis que c'est parce que cela peut provoquer une récursion infinie, mais n'est-ce pas également vrai pour une grammaire récursive correcte?

20 formal-grammars compilers left-recursion

2

Sous-ensemble: réduire le cas spécial au cas général

Wikipedia indique que le problème de la somme des sous-ensembles consiste à trouver un sous-ensemble d'un multiset donné d'entiers, dont la somme est nulle. De plus, il déclare qu'il revient à trouver un sous-ensemble avec la somme sss pour tout sss donné . Je pense donc que comme ils sont …

20 complexity-theory reductions np-hard

1

Problèmes pour lesquels les algorithmes basés sur le raffinement de partition s'exécutent plus rapidement qu'en temps log-linéaire

Le raffinement de partition est une technique dans laquelle vous commencez avec un ensemble fini d'objets et divisez progressivement l'ensemble. Certains problèmes, comme la minimisation DFA, peuvent être résolus en utilisant le raffinement de partition assez efficacement. Je ne connais pas d'autres problèmes qui sont généralement résolus en utilisant le …

20 algorithms reference-request data-structures partitions sets