Questions marquées «graph-theory»

12
Pour deux graphes non isomorphes , existe-t-il une formule de premier ordre de profondeur de quantificateur polysize et polylog qui en témoigne?

Je veux être très précis. Quelqu'un connaît-il un rejet ou une preuve de la proposition suivante: ∃p∈Z[x],n,k,C∈N,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),\forall G, H \in...

12
Nombre de 4 cycles

Soit C4C4C_4 un cycle à quatre sommets. Pour un graphe arbitraire GGG avec nnn sommets et m arêtes disons m>nn−−√m>nnm>n\sqrt n , combien deC4C4C_4existent? Y a-t-il une limite inférieure pour

12
Cette classe de graphes a-t-elle un nom?

Il est formulé en étendant les graphiques de seuil . Étant donné un graphique de seuil où C est la clique et I est l'ensemble indépendant, mon extension est la suivante: Chaque sommet v ∈ I peut être remplacé par une nouvelle clique K v de telle sorte que les sommets de K v aient le mêmes voisins...

11
Extension au problème du mariage stable?

Cela peut ressembler davantage à une question de sciences sociales qu'à une question TCS, mais ce n'est pas le cas. En lisant " Algorithmes randomisés " qui décrit le problème du mariage stable, on peut lire ce qui suit (p54) "On peut montrer que pour chaque choix de listes de préférences, il...

11
Complexité d'une connectivité st unique

Je voudrais savoir si le problème suivant peut être résolu dans (espace de log non déterministe):N LNL\mathsf{NL} Étant donné un graphe orienté avec deux sommets distincts s et t , existe- t -il un chemin unique de s à t dans G ?GGGssstttssstttGGG Je pense qu'il est susceptible d'être dans car nous...