Ceci est destiné à être une question complémentaire au précédent article de Robin Kothari sur les résultats de la dureté polynomiale . Plus précisément, je suis intéressé à voir des preuves de dureté pour des problèmes qui sont censés avoir environ des limites inférieures, et je dis à peu près pour...
Le titre parle de lui-même. Voici Akinator et 20Q . Le principe de ces jeux est de poser à un utilisateur un certain nombre de questions relatives à une entité choisie par l'utilisateur. Et puis découvrez ce qu'est cette entité. Le cœur de l'algorithme est de trouver la "question la plus utile" à...
Il existe 4 contraintes différentes que nous pouvons avoir lors de la définition de K-SAT aléatoire. 1) Le nombre total de littéraux dans une clause donnée est exactement K ou AT la plupart des K 2) Un littéral donné peut être utilisé avec ou sans remplacement dans la même clause (A ou A ou A) 3)...
J'ai déplacé cette question de stackoverflow où id n'a obtenu aucune réponse. Nous avions une question similaire à savoir si JSON est régulier : JSON et XML sont tous deux fréquemment appelés pour être des langages sans contexte - ils sont tous deux spécifiés principalement par une grammaire...
Il est bien connu que les formules CNF peuvent être grossièrement partitionnées en 2 grandes classes: aléatoire vs structurée. Les formules CNF structurées, contrairement aux formules CNF aléatoires, présentent une sorte d'ordre, montrant des modèles qui ne se produiront probablement pas par...
Cette question est similaire aux problèmes NP-difficiles sur les arbres : Il existe un grand nombre de problèmes NP-complets qui sont traitables sur les cographies . Y a-t-il des problèmes connus qui restent NP-complets lorsqu'ils sont limités aux cographies? Pour être plus précis, je suis...
Disons que nous découvrons des civilisations extraterrestres capables d'envoyer et de recevoir des messages à l'aide d'un canal de communication numérique interstellaire. (Par exemple, en utilisant des ondes radio modulées, des impulsions laser, en repositionnant des étoiles sur diverses orbites,...
Que sait-on du problème suivant? Étant donné une collection de fonctions f : { 0 , 1 } n → { 0 , 1 } , trouver une plus grande sous-collection S ⊆ C soumise à la contrainte VC-Dimension ( S ) ≤ k pour un entier k .CCCF: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\}S⊆ CS⊆CS...
Je voudrais écrire des preuves mathématiques en utilisant un assistant de preuve. Tout sera écrit en utilisant une logique de premier ordre (avec égalité) et une déduction naturelle. Le fond est la théorie des ensembles (ZF). Par exemple, comment pourrais-je écrire la preuve suivante? Axiome: ∀ x ∀...
Je suis à la recherche d'une bonne référence pour les plus courts chemins de goulot d'étranglement. Plus précisément, étant donné les sommets s et t dans un graphique non orienté avec des poids de bord, vous voulez le chemin le plus court de s à t, où la longueur d'un chemin est le bord maximum sur...
Soit points dans le plan R 2 . Considérons un graphique complet avec les points comme sommets et avec des poids de bord de ‖ x i - x j ‖ 2 . Pouvez-vous toujours trouver une réduction de poids d'au moins 2x1,…,xnx1,…,xnx_1, \ldots, x_nR2R2\mathbb{R}^2∥xi−xj∥2‖xi−xj‖2\|x_i - x_j\|^2 du poids total?...
Considérez le problème suivant, Étant donné un ensemble de nombres positifs { a 1 , … , a n } dans lesquels k ≥ 3 est une constante, nous voulons partitionner l'ensemble en m sous-ensembles de taille k de sorte que le produit de la somme de chaque sous-ensemble est maximisé.n = k mn=kmn = k m{ a1,...
Existe-t-il un aperçu (à partir d'un article, d'un chapitre de livre, d'un tutoriel, de liens, ...) de la sémantique des différentes fonctionnalités du langage de programmation? J'étais à l'origine submergé par les fonctionnalités de D ici http://www.digitalmars.com/d/2.0/comparison.html Je...
Il existe plusieurs notions concurrentes de «graphe clairsemé». Par exemple, un graphique intégrable en surface peut être considéré comme clairsemé. Ou un graphique avec une densité de bord borné. Ou un graphique avec une circonférence élevée. Un graphique avec une grande expansion. Un graphique...
Dans l' algorithme de cryptage minuscule : Différents multiples d'une constante magique sont utilisés pour empêcher de simples attaques basées sur la symétrie des rounds. La constante magique, 2654435769 ou 9E3779B9 16 est choisie pour être 232/ ϕ232/ϕ2^{32}/ \phi , où ϕ est le nombre d'or. Quelles...
J'ai déjà lu des exemples de formules dans CTL mais pas dans LTL et vice-versa, mais j'ai du mal à comprendre mentalement les formules LTL et vraiment quelle est, au fond, la
Je recherche des logiques modales, axiomatisées par un ensemble fini d'axiomes de profondeur de nidification modale un, et dont le problème de satisfiabilité / dérivabilité est peu probable dans PSPACE. Sans la restriction de la profondeur d'imbrication modale, ce n'est pas un problème, voir par...
Nous pouvons considérer la complexité de Kolmogorov d'une chaîne xxx comme la longueur du programme le plus court PPP et saisir yyy tel que x=P(y)x=P(y)x = P(y) . Habituellement, ces programmes sont tirés d'un ensemble complet de Turing (comme PPP pourrait être la description d'une machine de...
Étant donné une séquence de nombres, peut-elle être triée avec des comparaisons O ( n ln n ) et O ( n ) swaps / mouvements? Tout pointeur vers des publications à ce sujet ou contre-arguments montrant une borne inférieure Ω ( n ln n ) serait utile.nnnO(nlnn)O(nlnn)O(n \ln...
Si est un graphique avec un degré maximum 3 et est un mineur de H , alors G est un mineur topologique de H .GGGHHHGGGHHH Wikipedia cite ce résultat de la "théorie des graphes" de Diestel. Il est répertorié comme Prop 1.7.4 dans la dernière version du livre. Le livre manque de preuve ou de citation....