Informatique théorique max-cut

3

Soit un graphe avec la fonction de poids . Le problème de max-cut consiste à trouver: Si la fonction de pondération n'est pas négative (c'est-à-dire w (e) \ geq 0 pour tous les e \ à E ), il existe alors de nombreuses approximations 2 extrêmement simples pour max-cut. Par …

35 ds.algorithms graph-theory approximation-algorithms max-cut

2

Algorithme Max-Cut qui ne devrait pas fonctionner, pourquoi

OK, cela peut sembler une question de devoirs et, dans un sens, ça l'est. En tant que devoir à la maison dans une classe d'algorithmes de premier cycle, j'ai donné le classique suivant: Étant donné un graphe non orienté G=(V,E)G=(V,E)G=(V,E) , donner un algorithme qui trouve une coupe telle que …

21 graph-algorithms max-cut greedy-algorithms

5

Est-il possible de tester si un nombre calculable est rationnel ou entier?

Est-il possible de tester algorithmiquement si un nombre calculable est rationnel ou entier? En d'autres termes, serait-il possible pour une bibliothèque qui implémente des nombres calculables de fournir les fonctions isIntegerou isRational? Je suppose que ce n'est pas possible, et que cela est en quelque sorte lié au fait qu'il …

18 computability computing-over-reals lambda-calculus graph-theory co.combinatorics cc.complexity-theory reference-request graph-theory proofs np-complete cc.complexity-theory machine-learning boolean-functions combinatory-logic boolean-formulas reference-request approximation-algorithms optimization cc.complexity-theory co.combinatorics permutations cc.complexity-theory cc.complexity-theory ai.artificial-intel p-vs-np relativization co.combinatorics permutations ds.algorithms algebra automata-theory dfa lo.logic temporal-logic linear-temporal-logic circuit-complexity lower-bounds permanent arithmetic-circuits determinant dc.parallel-comp asymptotics ds.algorithms graph-theory planar-graphs physics max-flow max-flow-min-cut fl.formal-languages automata-theory finite-model-theory dfa language-design soft-question machine-learning linear-algebra db.databases arithmetic-circuits ds.algorithms machine-learning ds.data-structures tree soft-question security project-topic approximation-algorithms linear-programming primal-dual reference-request graph-theory graph-algorithms cr.crypto-security quantum-computing gr.group-theory graph-theory time-complexity lower-bounds matrices sorting asymptotics approximation-algorithms linear-algebra matrices max-cut graph-theory graph-algorithms time-complexity circuit-complexity regular-language graph-algorithms approximation-algorithms set-cover clique graph-theory graph-algorithms approximation-algorithms clustering partition-problem time-complexity turing-machines term-rewriting-systems cc.complexity-theory time-complexity nondeterminism

2

Coupe maxi au carré euclidien en faible dimension

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? …

12 ds.algorithms graph-algorithms application-of-theory max-cut clustering

3

Un problème à plusieurs volets

Je recherche un nom ou des références à ce problème. Étant donné un graphe pondéré G = ( V, E, w )G=(V,E,w)G = (V, E, w) trouver une partition des sommets jusqu'à n = | V|n=|V|n = |V|fixe S1, … , SnS1,…,SnS_1,\ldots,S_n façon à maximiser la valeur des arêtes coupées: …

12 ds.algorithms reference-request approximation-algorithms max-cut

1

Exemples d'instances dures pour l'algorithme de Goemans et Williamson

Je m'intéresse aux exemples explicites de graphiques pour lesquels l'application des algorithmes de Goemans et Williamson pour approximer les coupes maximales donne un facteur d'approximation de 0,878…. L'algorithme pour créer de telles instances serait parfait, les exemples explicites et les références sont satisfaisants.

10 ds.algorithms approximation-algorithms max-cut hard-instances

1

-nets par rapport à la norme de coupe

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 …

10 graph-theory co.combinatorics metrics max-cut epsilon-nets

1

Une explication purement théorique de la réduction de la couverture d'étiquette unique à Max-Cut

J'étudie la Conjecture Unique Games et la fameuse réduction à Max-Cut de Khot et al. À partir de leur article et ailleurs sur Internet, la plupart des auteurs utilisent (ce qui pour moi est) une équivalence implicite entre la réduction MAX-CUT et la construction de tests particuliers pour les codes …

9 cc.complexity-theory approximation-hardness pcp max-cut unique-games-conjecture

1

Max-Cut APX est-il complet sur les graphiques sans triangle?

Dans le problème Max-Cut , on cherche un sous-ensemble S de sommets d'un graphe simple non orienté donné tel que le nombre d'arêtes entre S et le complément de S soit le plus grand possible. Max-Cut est APX-complet sur les graphes à degrés bornés [PY91], et en fait APX-complet sur …

9 cc.complexity-theory approximation-algorithms approximation-hardness max-cut

Questions marquées «max-cut»