L'informatique

5

Une condition suffisante et nécessaire sur la régularité d'une langue

laquelle des déclarations suivantes est correcte? des conditions suffisantes et nécessaires de régularité d'une langue existent mais ne sont pas encore découvertes. Il n'y a pas de condition suffisante et nécessaire sur la régularité d'une langue. Le pompage du lemme est une condition nécessaire à la non-régularité d'une langue. Le …

11 formal-languages regular-languages

1

Existe-t-il un algorithme sous-cubique pour le problème suivant?

n×nn×nn \times nA=(aij)A=(aij)A=(a_{ij})∑i,j,kmax(aij,aik,ajk)∑i,j,kmax(aij,aik,ajk)\sum_{i,j,k}\max(a_{ij},a_{ik},a_{jk})1≤i<j<k≤n1≤i<j<k≤n1\leq i<j<k\leq nO(n3)O(n3)O(n^3)

11 algorithms time-complexity

4

Quelle est exactement la différence sémantique entre catégorie et ensemble?

Dans cette question, j'ai demandé quelle est la différence entre set et type . Ces réponses ont été vraiment clarifiantes (par exemple @AndrejBauer), donc dans ma soif de connaissances, je me soumets à la tentation de poser la même question sur les catégories: Chaque fois que je lis sur la …

11 sets category-theory

3

Pourquoi la plupart des implémentations de mutex sont-elles injustes?

Ma compréhension est que les implémentations les plus populaires d'un mutex (par exemple std :: mutex en C ++) ne garantissent pas l' équité - c'est-à-dire qu'elles ne garantissent pas qu'en cas de conflit, le verrou sera acquis par les threads dans l'ordre où ils appelé lock (). En fait, …

11 concurrency synchronization threads

1

Qu'est-ce que l'induction-induction?

Qu'est-ce que l' induction-induction ? Les ressources que j'ai trouvées sont: le livre HoTT , à la fin du chapitre 5.7. Article de nLab un article intitulé Définitions inductives-inductives ce billet de blog mentionne également les types inductifs-inductifs Les deux premières références sont trop brèves pour moi et les deux …

11 type-theory induction inductive-datatypes

1

Collection de problèmes difficiles APX

Tout le monde connaît "Garey & Johnson", qui est ma référence à chaque fois que j'ai besoin d'un problème de transformation pour une preuve de dureté NP. Cependant, j'ai récemment eu besoin d'une preuve de dureté APX, et je me demande s'il existe une collection similaire (et plus à jour …

11 complexity-theory reference-request time-complexity complexity-classes

2

Quantification universelle / existentielle?

J'ai du mal à comprendre le but de la quantification universelle et existentielle des types. Je joue avec l'écriture d'un langage jouet basé sur le calcul des constructions . J'ai lu sur Morte et Henk pour m'aider à mieux comprendre. Je ne comprends pas pourquoi le CoC a une abstraction …

11 lambda-calculus type-theory calculus-of-constructions

3

Cast en booléen, pour une programmation linéaire entière

Je veux exprimer la contrainte suivante, dans un programme linéaire entier: y= { 01si x = 0si x ≠ 0.y={0if x=01if x≠0.y = \begin{cases} 0 &\text{if } x=0\\ 1 &\text{if } x\ne 0. \end{cases} J'ai déjà les variables entières et on me promet que . Comment puis-je exprimer la contrainte …

11 linear-programming integer-programming

2

Y a-t-il une généralisation du codage de Huffman au codage arithmétique?

En essayant de comprendre les relations entre le codage Huffman, le codage arithmétique et le codage par plage, j'ai commencé à penser que les défauts du codage Huffman étaient liés au problème de la compression fractionnaire des bits . Autrement dit, supposons que vous ayez 240 valeurs possibles pour un …

11 information-theory data-compression coding-theory entropy huffman-coding

2

Non diviseur le moins courant

Fondamentalement, le problème est le suivant: pour un ensemble de nombres positifs, trouvez un nombre minimal qui n'est pas un diviseur d'un élément de , c'est-à-dire .SSSdddSSS∀x∈S, d∤x∀x∈S, d∤x\forall x \in S,\ d \nmid x Notons n=|S|n=|S|n = |S|et C=max(S)C=max(S)C = \max(S) . Considérons la fonction F(x)=F(x)=F(x) = le plus …

11 algorithms number-theory

2

HORN-SAT est-il dans LIN, si oui, pourquoi n'est-ce pas une indication que P = LIN?

Le Complexity Zoo définit comme la classe de problèmes de décision pouvant être résolus par une machine de Turing déterministe en temps linéaire.L INLINLIN L IN⊆ PLIN⊆PLIN \subseteq P Étant donné que HORN-SAT est soluble dans (comme indiqué dans les algorithmes à temps linéaire pour tester la satisfiabilité des formules …

11 complexity-theory time-complexity reductions

2

Bon livre mathématique sur les algorithmes [fermé]

Fermé . Cette question est basée sur l'opinion . Il n'accepte pas actuellement les réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin d'y répondre avec des faits et des citations en modifiant ce message . Fermé il y a 4 ans . Je suis un aspirant à …

11 algorithms algorithm-analysis reference-request books

1

Tous les algorithmes connus pour résoudre des problèmes NP-complets sont-ils constructifs?

Existe-t-il des algorithmes connus qui donnent correctement "oui" à un problème NP-complet sans générer implicitement un certificat? Je comprends qu'il est simple de transformer un oracle de satisfiabilité en un chercheur d'affectation satisfaisante: il suffit d'itérer sur les variables, en demandant à chaque fois à l'oracle de satisfiabilité de résoudre …

11 algorithms complexity-theory np-complete

1

Une complexité temporelle Big-Oh peut-elle contenir plusieurs variables?

Disons par exemple que je fais un traitement de chaîne qui nécessite une analyse de deux chaînes. Je n'ai aucune information sur leur longueur, ils proviennent donc de deux familles distinctes. Serait-il acceptable d'appeler la complexité d'un algorithme ou O (n + m) (selon que l'on utilise un algorithme naïf …

11 time-complexity asymptotics landau-notation notation

2

Est-il plus difficile de trouver une solution à un problème de satisfiabilité que de décider de la satisfiabilité?

Le problème de déterminer si une expression booléenne donnée est satisfaisante sur le plan du calcul est-il distinct de trouver réellement une solution à l'expression? En d'autres termes, existe-t-il un autre moyen de trouver qu'une expression donnée est satisfaisable sans déterminer explicitement les `` bons paramètres '' pour les variables …

11 complexity-theory satisfiability