Questions marquées «cc.complexity-theory»

P versus NP et autres calculs liés aux ressources.

1
Une version descriptive de la complexité du théorème de Rice pourrait-elle être utilisée pour séparer AC0 et PSPACE?
Dans cette question , il a été mentionné qu'il existe des versions de complexité descriptive du théorème de Rice. J'ai trouvé une preuve du théorème suivant: Étant donné une classe de complexité C , les propriétés non triviales des langages en C ne peuvent pas être calculées en C J'avais …
3
Pourquoi n'utilisons-nous pas des classes plus grandes pour étudier le déterminisme contre le non-déterminisme?
Dans une question précédente sur la hiérarchie temporelle, j'ai appris que les égalités entre deux classes peuvent être propagées à des classes plus complexes et les inégalités peuvent être propagées à des classes moins complexes, avec des arguments utilisant le remplissage. Par conséquent, une question me vient à l'esprit. Pourquoi …
3
Conséquences pratiques de la
Contexte La complexité du circuit est définie comme l'ensemble des familles de circuits (c'est-à-dire des séquences de circuits, une pour chaque taille d'entrée) de profondeur bornée et de taille polynomiale construites à l'aide de fan-in illimités ET, OU et NON.AC0AC0AC^0 La fonction de parité avec une entrée à bits est …
1
Hiérarchie uniforme des problèmes couvrant la complexité et les hiérarchies de calcul
Quelqu'un connaît-il un ensemble de problèmes qui varient uniformément et qui couvrent l'une des hiérarchies "intéressantes" de complexité et de calculabilité? Par intéressant, je veux dire, par exemple, la hiérarchie polynomiale, la hiérarchie arithmétique ou la hiérarchie analytique. Ou peut-être (N) P, (N) EXP, 2 (N) EXP,……\ldots Plus concrètement: vous …
1
Permutation unidirectionnelle finie avec domaine infini
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 \colon \{0,1\}^* \to \{0,1\}^*ππ\piππ\pi Par exemple, la …
2
Approximation d'un automorphisme non trivial de graphe?
Graphique automorphismes est une permutation de noeuds du graphe qui induit une bijection sur l'ensemble d'arêtes . Formellement, c'est une permutation de nœuds tels que ssiEEEfff(u,v)∈E(u,v)∈E(u,v)\in E(f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Définissez un bord violé pour une permutation comme un bord qui est mappé sur non-bord ou un bord dont la pré-image est …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.