L'informatique complexity-theory

1

Pourquoi cette fonction est-elle calculable en temps

Mon manuel dit: "Nous définissons la fonction comme suit: f ( 1 ) = 2 et f ( i + 1 ) = 2 f ( i ) 1.2 . Notez que étant donné n , nous pouvons facilement trouver dans O ( n 1,5 ) fois le nombre i …

10 complexity-theory algorithm-analysis nondeterminism

2

Quelle est la complexité du calcul du coefficient de corrélation de rang de Spearman?

J'ai étudié le coefficient de corrélation de rang du Spearman .ρ = ∑je( xje- x¯) ( yje- y¯)∑je( xje- x¯)2∑je( yje- y¯)2-------------------√ρ=∑je(Xje-X¯)(yje-y¯)∑je(Xje-X¯)2∑je(yje-y¯)2\qquad \displaystyle \rho = \frac{\sum_i(x_i-\bar{x})(y_i-\bar{y})}{\sqrt{\sum_i (x_i-\bar{x})^2 \sum_i(y_i-\bar{y})^2}} pour deux listes et y 1 , … , y n . Quelle est la complexité de l'algorithme?X1, … , XnX1,…,Xnx_1, \dots, …

10 complexity-theory time-complexity space-complexity

2

Est-ce que

Est - NPNPNP avec accès à Oracle NPNPNP plus grand que juste NPNPNP ? Si je comprends bien, est juste une machine de turing qui peut faire des requêtes à une autre machine si oui que peut simuler ? Y a-t-il quelque chose qui ne va pas avec cet argument? …

10 complexity-theory

6

Existe-t-il des variations des temps d'exécution réguliers de la Big-O-Notation?

Il existe plusieurs OOO -Notations, comme O(n)O(n)O(n) ou O(n2)O(n2)O(n^2) et ainsi de suite. Je me demandais s'il y avait des variations de celles en réalité commeO(2n2)O(2n2)O(2n^2) or O(logn2)O(log⁡n2)O(\log n^2), or if those are mathematically incorrect. Or would it be a right thing to say that it is possible to improve …

9 complexity-theory time-complexity optimization big-o-notation

2

Existe-t-il des problèmes «O (1) -complet»?

De nombreuses classes de complexité ont des problèmes "complets". Existe-t-il des problèmes complets pour la classe de complexité des problèmes qui peuvent être résolus en temps ?O(1)O(1)O(1) Une complication est que cette classe dépend du modèle de calcul; un problème peut être résolu en temps dans un modèle de calcul …

9 complexity-theory time-complexity constant-time

1

L'astuce utilisée pour prouver la complexité doublement exponentielle de l'arithmétique Presburger

J'ai posté ceci sur MathUnderflow mais je n'ai reçu aucune réponse, alors j'ai pensé l'essayer ici, Je lis l'ancien article de Rabin et Fischer [publiera un lien si possible] où, entre autres, la complexité doublement exponentielle de l'arithmétique Presburger est prouvée. La preuve repose sur l'existence d'une formule affirmant de …

9 complexity-theory reference-request logic

2

Trouver le point central dans un ensemble de points métriques dans l'espace, en moins de ?

J'ai un ensemble de points qui sont définis dans un espace métrique - donc je peux mesurer une «distance» entre les points mais rien d'autre. Je veux trouver le point le plus central de cet ensemble, que je définis comme le point avec la somme minimale des distances à tous …

9 complexity-theory computational-geometry lower-bounds search-problem

2

Le tri entier est-il possible dans O (n) dans le modèle transdichotomique?

À ma connaissance, il n'existe pas d' algorithme pire des cas qui résout le problème suivant:O( n )O(n)O(n) Étant donné une séquence de longueur composée d'entiers finis, trouvez la permutation où chaque élément est inférieur ou égal à son successeur.nnn Mais existe-t-il une preuve de son inexistence dans le modèle …

9 complexity-theory sorting computation-models lower-bounds

4

L'unicité d'un élément peut-elle être résolue en temps linéaire déterministe?

Considérez le problème suivant: Entrée : liste des entiersX,YX,YX,Y Objectif : déterminer s'il existe un entier qui figure dans les deux listes.xxx Supposons que les deux listes soient de taille . Existe-t-il un algorithme déterministe à temps linéaire pour ce problème? En d'autres termes, pouvez-vous résoudre ce problème en temps …

9 algorithms complexity-theory lower-bounds

2

Comment l'utilisation de machines Oracle Turing ne conduit-elle pas à des contradictions?

Comment pouvons-nous nous assurer que nous continuons à faire des déclarations solides et valables sur les classes de complexité lors de l'utilisation d'Oracle Turing Machines? Selon ma compréhension (sur la base des définitions données dans les manuels d'introduction sur le sujet), les machines Oracle Turing peuvent déterminer le statut d'appartenance …

9 complexity-theory oracle-machines

1

Si l'on montre que k-SAT UNIQUE est en P, cela implique-t-il P = NP?

Valiant et Vazirani ont prouvé que la SAT est réductible à la SAT UNIQUE sous des réductions probabilistes randomisées du temps polynomial. Calabro et al . a montré que UNIQUE k-SAT est aussi dur que k-SAT. Maintenant, la question est, si quelqu'un montre que k-SAT UNIQUE est dans P, cela …

9 complexity-theory satisfiability p-vs-np

1

Quel est le nom du problème? (graphique de partitionnement en trois couvertures)

Je me demandais si ce problème avait un nom: Étant donné un graphique simple dont les bords sont colorés en rouge, bleu et vert, , existe-t-il une coloration vertex telle que chaque bord a un point final avec la même couleur?G = ( V, B ∪ R ∪ G )g=(V,B∪R∪g)G=(V,B\cup …

9 algorithms complexity-theory graphs satisfiability colorings

1

Distributions de probabilités et complexité informatique

Cette question concerne l'intersection de la théorie des probabilités et de la complexité de calcul. Une observation clé est que certaines distributions sont plus faciles à générer que d'autres. Par exemple, le problème Étant donné un nombre nnn , renvoyer un nombre uniformément distribué iiiavec 0≤i<n0≤i<n0 \leq i < n …

9 complexity-theory reference-request probability-theory probabilistic-algorithms

1

Quels sont les isomorphismes appropriés entre les langages formels?

Un langage formel sur un alphabet Σ est un sous-ensemble de Σ ∗ , c'est-à-dire un ensemble de mots sur cet alphabet. Deux langages formels L et L ′ sont égaux, si les ensembles correspondants sont extensionnellement égaux en tant que sous-ensembles de L ∪ L ′ . On peut …

9 complexity-theory formal-languages reference-request

1

NTIME (f) sous-ensemble de DSPACE (f)

Comme l'indique la question, comment prouver que ?NTIME (f( n ) ) ⊆ ESPACE ( f( n ) )NTIME(f(n))⊆DSPACE(f(n))\textbf{NTIME}(f(n)) \subseteq \textbf{DSPACE}(f(n)) Quelqu'un peut-il m'indiquer une preuve ou la décrire ici? Merci!

9 complexity-theory time-complexity space-complexity

Questions marquées «complexity-theory»