Informatique théorique

3

Je recherche la complexité de la satisfiabilité d'une formule ou d'une formule où est la formule de la forme: Où est la constante dans et le domaine des variables est également .∃ x 1 , … , x m ∀ y 1 , … , y n , ϕ ϕ …

9 cc.complexity-theory reference-request lo.logic

2

Formule 3CNF monotone restreinte: comptage des affectations satisfaisantes (à la fois modulo

Considérez une formule monotone 3CNF ayant les deux restrictions supplémentaires suivantes: Chaque variable apparaît dans exactement clauses.222 Étant donné clauses, elles partagent au plus 1 variable.222111 Je voudrais savoir à quel point il est difficile de compter les affectations satisfaisantes d'une telle formule. Mise à jour 06/04/2013 12:55 J'aimerais également …

9 cc.complexity-theory sat counting-complexity

2

Hachage de cordes quasi universel dans

Voici deux familles de fonctions de hachage sur les chaînes x⃗ =⟨x0x1x2…xm⟩x→=⟨x0x1x2…xm⟩\vec{x} = \langle x_0 x_1 x_2 \dots x_m \rangle : pppxi∈Zpxi∈Zpx_i \in \mathbb{Z_p}a ∈ Z p ∀ x ≠ y , P a ( h 1 a ( x ) = h 1 a ( y ) ) ≤ …

9 ds.data-structures randomness hash-function

3

Trouver le reste d'un grand polynôme fixe lorsqu'il est divisé par un petit polynôme inconnu

Supposons que nous opérions dans un champ fini. On nous donne un grand polynôme fixe p (x) (de, disons, degré 1000) sur ce champ. Ce polynôme est connu à l'avance et nous sommes autorisés à faire des calculs en utilisant beaucoup de ressources dans la «phase initiale». Ces résultats peuvent …

9 cc.complexity-theory ds.algorithms algebra algebraic-complexity polynomials

1

Augmenter la capacité pour maximiser la coupe minimale

Considérons un graphique avec tous les bords ayant une capacité unitaire. On peut trouver la coupure min en temps polynomial. Supposons que je suis autorisé à augmenter la capacité de n'importe quel bords à l'infini (équivalent à la fusion des nœuds de chaque côté du bord). Quelle est la façon …

9 ds.algorithms graph-theory co.combinatorics max-flow-min-cut

2

L'informatique quantique adiabatique est-elle aussi puissante que le modèle de circuit?

Une grande partie de la littérature sur l'informatique quantique se concentre sur le modèle de circuit. L'informatique quantique adiabatique n'est pas basée sur l'application d'une séquence d'opérateurs unitaires, mais sur la modification d'un hamiltonien dépendant du temps. Je recherche un aperçu de l'un des éléments suivants. L'informatique quantique adiabatique est-elle …

9 cc.complexity-theory reference-request complexity-classes quantum-computing quantum-information

1

Comprendre les exposés dans les conférences et les ateliers

Je suis un étudiant diplômé de l'Inde. Je suis très intéressé à participer aux ateliers, aux conférences et aux conférenciers invités donnés par d'éminents professeurs. À la fin de la conférence, comme d'habitude, certaines personnes poseront des questions et l'orateur y répondra. Mais mon problème est que je ne comprends …

9 co.combinatorics soft-question

1

Sur

Nous savons que . D'après le théorème de Savitch, , et, depuis Space Hierarchy Teorem, . Donc, comme nous ne savons pas si , nous ne savons pas si , ou savons-nous que ? Quelqu'un at-il essayé de prouver que \ mathcal L ^ 2 \ subseteq \ mathcal P …

9 reference-request complexity-classes open-problem hierarchy-theorems

2

Quel est l'avantage de la notation de Krivine?

J'ai vu certaines personnes utiliser la notation de Krivine pour l'application de fonctions lors de la présentation de la syntaxe du -calculus. Par exemple, le -term (avec la convention normale que l'application de fonction associe à gauche, donc cela signifie en fait ) est écrit (avec une convention similaire qui …

9 lo.logic lambda-calculus

2

Limite inférieure du nombre d'appels oracle pour résoudre

J'ai rencontré la question suivante, qui est un exercice facile (spoiler ci-dessous). On nous donne instances du problème d'arrêt (ie TMs ), et nous devons décider exactement lequel s'arrêtera sur . Autrement dit, nous devons afficher . On nous donne un oracle pour le problème d'arrêt, mais nous devons l'utiliser …

9 computability lower-bounds

2

Représentation formelle d'une hiérarchie d'abstraction

introduction J'écris ma thèse de doctorat sur la modélisation abstraite du delta (ADM), une description algébrique abstraite des modifications (connues sous le nom de deltas ) capables d'agir sur les produits (comme dans les «produits logiciels»). Cela peut être utilisé pour organiser un ensemble de produits connexes (une «ligne de …

9 pl.programming-languages algebra monoid

1

Y a-t-il un candidat pour une action de groupe à sens unique post-quantique?

Y a-t-il une famille connue d' actions de groupe avec un élément désigné dans l'ensemble sur lequel on agit, où l'on sait comment efficacement \: échantillonner (essentiellement uniformément) à partir des groupes, calculer les opérations inverses, calculer les opérations de groupe et calculer les actions de groupe \: et il …

9 cr.crypto-security quantum-computing gr.group-theory

2

Génération de problèmes d'optimisation combinatoire intéressants

J'enseigne un cours sur la méta-heuristique et j'ai besoin de générer des exemples intéressants de problèmes combinatoires classiques pour le terme projet. Concentrons-nous sur le TSP. Nous nous attaquons aux graphiques de dimension et plus. J'ai bien sûr essayé de générer un graphique avec une matrice de coûts avec des …

9 ds.algorithms co.combinatorics optimization tsp heuristics

1

Peut-on obtenir une liste triée à partir d'une matrice triée en

Je suis confus. Je veux prouver que le problème du tri d'une matrice nnn par nnn c'est-à-dire que les lignes et les colonnes sont en ordre croissant est Ω(n2logn)Ω(n2log⁡n)\Omega(n^2\log n) . Je continue en supposant que cela peut être fait plus rapidement que n2Journalnn2log⁡nn^2\log n et j'essaie de violer la …

9 time-complexity lower-bounds matrices sorting asymptotics

2

Comment pouvons-nous exprimer «

Fermé. Cette question est hors sujet . Il n'accepte pas actuellement les réponses. Vous souhaitez améliorer cette question? Mettez à jour la question afin qu'elle soit sur le sujet pour l'échange théorique de pile informatique. Fermé il y a 7 ans . Comment exprimer " " comme une formule de …

9 cc.complexity-theory lo.logic descriptive-complexity