Cette question est liée à une question récente de Janoma . Contexte Dans la programmation par contraintes, une régulière contrainte globale ccc sur un domaine DDD est une paire (s,M)(s,M)(s, M) avec sss un tuple de variables (la portée) et MMM DFA sur le domaine DDD . Une affectation θθ\theta à sss...
Soit toute structure finie. Est-ce que sa théorie du premier ordre a un rang de quantificateur borné, dans le sens où il y a un tel que pour tout avec il y a un avec et ?UNEA\mathfrak{A} T: = TH ( A )T:=TH(A) \mathfrak{T} := \mathfrak{TH}(\mathfrak{A}) q∈ Nq∈N q\in\mathbb{N} φ ∈ Tφ∈T...
On nous donne un matroïde. Notre objectif est de trouver un ensemble d'éléments de taille minimale ayant une intersection non vide avec chaque base du matroïde. Le problème est-il étudié auparavant? Est-ce en P? Par exemple, dans un matroïde couvrant un arbre, l'ensemble de frappe minimum doit être...
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...
Crossposted de MO . Soit une classe de graphes définie par un nombre fini de sous-graphes induits interdits, tous cycliques (contenant au moins un cycle).CCC Existe-t-il des problèmes de graphes NP-difficiles qui peuvent être résolus en temps polynomial pour autre que Clique et Clique cover?CCC Si...
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...
J'ai quelques millions de valeurs 32 bits. Pour chaque valeur, je veux trouver toutes les autres valeurs dans une distance de 5 brouillage. Dans l'approche naïve, cela nécessite des comparaisons O(N2)O(N2)O(N^2) , que je veux éviter. J'ai réalisé que si je traitais simplement ces valeurs 32 bits...
Soit une permutation. Notez que tandis que agit sur un domaine infini, sa description peut être finie. Par description , je veux dire un programme qui décrit les fonctionnalités de . (Comme dans la complexité de Kolmogorov.) Voir les explications ci-dessous. π ππ:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi...
La norme de coupe d'une matrice réelle est le maximum sur tout de la quantité. A = ( a i , j ) ∈ R n × n I ⊆ [ n ] , J ⊆ [ n ] | ∑ i ∈ I , j ∈ J a i , j |||A||C||A||C||A||_CA=(ai,j)∈Rn×nA=(ai,j)∈Rn×nA = (a_{i,j}) \in \mathcal{R}^{n\times n}I⊆[n],J⊆[n]I⊆[n],J⊆[n]I \subseteq [n], J \subseteq...
Nous travaillons dans des ordinateurs distribués et nous avons rencontré un problème de complexité qui se réduit à un problème de couverture de chemin minimum. Nous ne savons actuellement pas comment le résoudre. Le problème est le suivant: Soit un entier, et soit un graphe contenant sommets. Nous...
Il existe de nombreux exemples en combinatoire et en informatique où nous pouvons analyser un problème de théorie des graphes mais pour l'analogue hypergraphique du problème, nos outils font défaut. Pourquoi pensez-vous que les problèmes deviennent souvent beaucoup plus difficiles avec les...
Soit un graphe connexe G = ( V , E ) avec des noeuds V = 1 ... n et des bords E . Soit w i le poids (entier) du graphe G , avec ∑ i w i = m le poids total du graphe. Le poids moyen par nœud est alors ˉ w = m / n . Soit e i = w i - ˉ w la déviation du nœudGGGG = ( V, E)G=(V,E)G = (V,E)V= 1 … nV=1…nV...
Nous savons que le logarithme du rang d'une matrice 0-1 est la borne inférieure de la complexité de communication déterministe, et le logarithme du rang approximatif est la borne inférieure de la complexité de communication aléatoire. Le plus grand écart entre la complexité de la communication...
Pendant mon travail, j'ai rencontré le problème suivant: J'essaie de trouver une -matrice , pour tout , avec les propriétés suivantes:( 0 , 1 ) M n > 3n×nn×nn \times n (0,1)(0,1)(0,1)MMMn>3n>3n > 3 Le déterminant de est pair.MMM Pour tout sous-ensemble non vide avec, La sous - matrice a...
Considérons un graphe cubique aléatoire connecté desommets, tirés de G (n, 3 -reg ) (tel que défini ici , c'est-à-dire que 3n est pair et que deux graphiques quelconques ont la même probabilité).G=(V,E)G=(V,E)G=(V,E)G ( n , 3 )n=|V|n=|V|n =|V|G(n,3G(n,3G(n, 3)))3n3n3n Bien sûr , il y a nnn...
Décider de l'homomorphisme du graphe est en général NP-complet. Y a-t-il des résultats qui étudient ce problème lorsque les graphiques sous-jacents ont une structure algébrique (tels que la décision d'homomorphismes à partir de graphiques de Cayley ou de cosets Cayley vers d'autres graphiques avec...
Existe-t-il une construction connue d'un code de correction d'erreur linéaire E C C : Fnq→ FmqECC:Fqn→Fqm\mathsf{ECC}:\mathbb{F}_q^n \to \mathbb{F}_q^m (avec des paramètres raisonnables), de sorte que lorsqu'il est donné un vecteur booléen v ∈ { 0 , 1 }nv∈{0,1}nv\in \{0,1\}^n , il renvoie également...
Soit . J'ai besoin de générer de simples graphiques G de circonférence g de telle sorte que l'ensemble de tous les g- cycles forme une couverture de double bord de G (c'est-à-dire que chaque bord est partagé par exactement deux g- cycles), et de telle sorte que l'intersection de deux g -cycles est...
Étant donné une famille d'au plus sous-ensembles de . La fermeture de l' union \ mathcal F est un autre ensemble famille \ mathcal C contenant tout ensemble qui peut être construit en prenant l'union de 1 ou plusieurs ensembles de \ mathcal F . Par | \ mathcal C | on note le nombre de jeux dans \...