Considérez ensembles de valeurs (représentés comme des tableaux triés sans doublons et avec une taille connue (c'est-à-dire que la taille peut être obtenue en O (1)). Les valeurs peuvent être testées pour l'égalité en temps O (1). Je veux pour obtenir l'ensemble des valeurs présentes dans au moins...
Je traduis un livre sur LISP et naturellement il touche certains éléments de -calculus. Ainsi, une notion d'extensionnalité y est mentionnée aux côtés de certains modèles de -calculus, à savoir: et D ^ \ infty (oui, avec l'infini en haut). Et on dit que \ mathcal {P} _ \ omega est extensionnel...
Je cherche un moyen de générer des graphiques pour que la couverture optimale des sommets soit connue. Il n'y a aucune restriction sur le nombre de nœuds ou d'arêtes, seulement que le graphique est complètement connecté. l'idée est de générer un graphe qui n'est pas facile de trouver la couverture...
Existe-t-il des applications de l'algèbre abstraite à la théorie des langages de programmation? Y a-t-il quelque chose qui serait utile dans la conception du langage et la mise en œuvre du
J'essaie de couvrir un simple polygone concave avec un minimum de rectangles. Mes rectangles peuvent avoir n'importe quelle longueur, mais ils ont des largeurs maximales, et le polygone n'aura jamais d'angle aigu. J'ai pensé à essayer de décomposer mon polygone concave en triangles qui produisent...
Une coloration d'une grille m × nkkkm×nm×nm \times n est une fonction . Un rectangle brisé en C est un tuple ( i , i ′ , j , j ′ ) satisfaisant C ( i , j ) = C ( i ′ , j ) = C (C:[m]×[n]→[k]C:[m]×[n]→[k]C:[m] \times [n] \to [k]CCC(i,i′,j,j′)(i,i′,j,j′)(i,i',j,j') - c'est-à-dire que les trois coins...
Le problème de la N-reine est le suivant: Entrée: N Sortie: Un placement de N "reines" sur un échiquier NXN de telle sorte qu'il n'y ait pas deux reines sur la même ligne, colonne ou diagonale. En effectuant une recherche Google à ce sujet, j'ai constaté que de nombreuses diapositives de nombreux...
Il est largement admis que certains problèmes de calcul tels que l'isomorphisme des graphes ne peuvent pas être NP-complet car il ne possède pas suffisamment de structure ou de redondance pour être difficile à calculer (NP-hard). Je m'intéresse aux différentes notions formelles de structure des...
Le théorème de Courcelle stipule que chaque propriété de graphe définissable en logique monadique du second ordre peut être décidée en temps linéaire sur des graphes de largeur d'arbre bornée . C'est l'un des méta-théorèmes algorithmiques les plus connus. Motivé par le théorème de Courcelle, j'ai...
Quel genre de théorèmes de hiérarchie existe-t-il pour la profondeur du circuit? Des déclarations comme g(n)∈o(f(n))g(n)∈o(f(n))g(n) \in o(f(n))f(n)∈nO(1)f(n)∈nO(1)f(n) \in n^{O(1)}SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))\mathsf{SizeDepth}(n^{O(1)},...
Que sait-on actuellement de l'approximation du problème du genre? Une recherche préliminaire m'indique qu'une approximation à facteur constant est triviale pour des graphes suffisamment denses, et un algorithme d'approximation a été exclu. Ces informations sont-elles à jour ou existe-t-il de...
Relâchons un peu la coloration, c'est-à-dire que nous permettons à un petit nombre de sommets adjacents de se voir attribuer la même couleur. Un composant monochromatique est défini comme étant un composant connecté dans le sous-graphique induit par l'ensemble de sommets qui reçoivent la même...
Je m'intéresse à la question de savoir si NP est égal à coNP ou non. J'apprécierais beaucoup quelques conseils sur de bonnes publications à lire sur le sujet. Pour mémoire, je sais que cette question est intimement liée à la question de savoir si P est égal à NP ou non (tel que si NP! = CoNP alors...
Je sais comment certaines occurrences négatives peuvent définitivement être mauvaises: data False data Bad a = C (Bad a -> a) selfApp :: Bad a -> a selfApp (x@(C x')) = x' x yc :: (a -> a) -> a yc f = selfApp $ C (\x -> f (selfApp x)) false :: False false = yc id Cependant, je ne...
Je m'intéresse au système de tournesol et à ses applications en informatique. Étant donné un univers et une collection de ensembles est appelé un système k-tournesol si pour tout . Et est appelé noyau et est appelé pétales. k A i A i ∩ A j = Y i ≠ j Y A i - YUUUkkkUNEjeAiA_iUNEje∩ Aj= YAi∩Aj=YA_i...
Quelques antécédents: Je suis intéressé à trouver des limites inférieures (ou des résultats de dureté) "moins connues" pour le problème d'apprentissage avec des erreurs (LWE), et des généralisations de celui-ci comme l'apprentissage avec des erreurs sur des anneaux. Pour des définitions...
Un problème ouvert très intéressant dans l'étude des mesures de complexité de la fonction booléenne est la conjecture dite de sensibilité vs sensibilité de bloc. Pour plus d'informations sur la sensibilité par rapport à la sensibilité aux blocs, vous pouvez consulter le blog suivant de S. Aaronson...
Y a-t-il unL∈NPL∈NPL\in {\bf NP} avec les propriétés suivantes: On sait que implique P = N P .L∈PL∈PL\in {\bf P}P=NPP=NP{\bf P}={\bf NP} Il n'y a pas (connu) polynomiale réduction de Turing (ou un autre N P problème -complete) à L .SATSATSATNPNP{\bf NP}LLL En d'autres termes, si un algorithme...
Tous mes manuels utilisent le même algorithme pour produire un DFA avec une expression régulière: créez d'abord un NFA qui reconnaît le langage de l'expression régulière, puis, en utilisant la construction du sous-ensemble (aka "powerset"), convertissez le NFA en un DFA équivalent ( en minimisant...
En 1996, un problème ouvert de longue date a été résolu par un ordinateur; à savoir que l' algèbre de Robbins et l'algèbre booléenne sont les mêmes. La preuve a été trouvée par un prouveur de théorème automatisé. De plus, la preuve connue du théorème des quatre couleurs contient des composants...