Informatique théorique

1

Problèmes de réduction de pour prouver une borne inférieure

Quels sont les problèmes standard à partir desquels nous pouvons réduire pour prouver les bornes inférieures ?Ω ( n logn )Ω(nlog⁡n)\Omega(n\log n) Bien sûr, les problèmes d'état autres que le tri et la distinction des éléments.

12 cc.complexity-theory lower-bounds

3

Quelles sont les avancées récentes dans les bases de données relationnelles?

Je me demande quelles sont les avancées récentes de la théorie des bases de données relationnelles et des domaines connexes? Je suis intéressé par les nouvelles approches, les langages de requête (alternatives à SQL et / ou extensions de celui-ci), les produits (propriétaires et open source, même si je suis …

12 db.databases relational-structures

1

Modèles SAT uniques vs Exactly

Le SAT unique est le problème bien connu: étant donné une formule CNF , est-il vrai que F a exactement un modèle?FFFFFF Je m'intéresse au problème «Exactement -SAT»: étant donné une formule CNF F et un entier m > 1 , est-il vrai que F a exactement m modèles?mmmFFFm>1m>1m>1FFFmmm Les …

12 cc.complexity-theory reference-request np-hardness sat reductions

1

Pourquoi Feige-Fiat-Shamir n'est-il pas Zero Knowledge sans signe?

Dans le chapitre 10 de HAC (10.4.2) , nous voyons le célèbre protocole d'identification Feige-Fiat-Shamir basé sur une preuve de connaissance nulle utilisant la difficulté (présumée) d'extraire des racines carrées modulo un composite difficile à factoriser. Je vais donner le schéma dans mes propres mots (et j'espère bien le faire). …

12 cr.crypto-security proofs zero-knowledge

2

Résultats de codage de canal utilisant la complexité de Kolmogorov

L'entropie de Shannon est généralement utilisée pour prouver les résultats du codage de canal. Même pour les résultats de séparation source-canal, l'entropie shannon est utilisée. Étant donné l'équivalence entre les notions d'information de Shannon (global) et de Kolmogorov (local), y a-t-il eu une étude pour utiliser la complexité de Kolmogorov …

12 it.information-theory kolmogorov-complexity shannon-entropy

1

Transition de promenades aléatoires quantiques à classiques sur la ligne

Version rapide Existe-t-il des modèles de décohérence pour la marche quantique sur la ligne de sorte que nous pouvons régler la marche pour qu'elle se répande en pour tout ?1 / deux ≤ k ≤ 1Θ ( tk)Θ(tk)\Theta(t^k)1 / 2 ≤ k ≤ 11/2≤k≤11/2 \leq k \leq 1 Motivation Les …

12 quantum-computing random-walks quantum-walk

1

Des résultats sur le CSP booléen binaire au-delà de la tractabilité à paramètres fixes d'un problème de presque 2SAT?

Soit une formule 2CNF et k un entier non négatif. Il est prouvé dans cet article que le problème de décider si l'on peut supprimer au plus k clauses pour rendre satisfaisable, est un paramètre fixe traitable, où est le paramètre. Ma question est de savoir s'il existe des travaux …

12 parameterized-complexity csp fixed-parameter-tractable

2

PARITÉ

A C0AC0AC^0 est la classe des circuits de taille polynomiale à profondeur constante avec portes NON et portes fan-in ET et OR sans limite, où les entrées et les portes ont également une fanout sans limite. Considérons maintenant une nouvelle classe, appelons-la A C0b fACbf0AC^0_{bf} qui est comme A C0AC0AC^0 …

12 cc.complexity-theory circuit-complexity

1

Citation montrant que les mineurs sont des mineurs topologiques pour les graphiques sous-cubiques

Si est un graphique avec un degré maximum 3 et est un mineur de H , alors G est un mineur topologique de H .GGGHHHGGGHHH Wikipedia cite ce résultat de la "théorie des graphes" de Diestel. Il est répertorié comme Prop 1.7.4 dans la dernière version du livre. Le livre …

12 reference-request graph-theory co.combinatorics graph-minor

1

Algorithme de tri optimal en nombre de swaps

Étant donné une séquence de nombres, peut-elle être triée avec des comparaisons O ( n ln n ) et O ( n ) swaps / mouvements? Tout pointeur vers des publications à ce sujet ou contre-arguments montrant une borne inférieure Ω ( n ln n ) serait utile.nnnO(nlnn)O(nln⁡n)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nln⁡n)\Omega(n …

12 cc.complexity-theory ds.algorithms

2

Complexité de Kolmogorov avec des langages de description faibles

Nous pouvons considérer la complexité de Kolmogorov d'une chaîne xxx comme la longueur du programme le plus court PPP et saisir yyy tel que x=P(y)x=P(y)x = P(y) . Habituellement, ces programmes sont tirés d'un ensemble complet de Turing (comme PPP pourrait être la description d'une machine de Turing, ou ce …

12 reference-request computability kolmogorov-complexity

2

Logiques modales axiomatisées avec une profondeur de nidification peu probable dans PSPACE?

Je recherche des logiques modales, axiomatisées par un ensemble fini d'axiomes de profondeur de nidification modale un, et dont le problème de satisfiabilité / dérivabilité est peu probable dans PSPACE. Sans la restriction de la profondeur d'imbrication modale, ce n'est pas un problème, voir par exemple PDL. Mais il semble …

12 cc.complexity-theory lo.logic modal-logic

2

Quelle est la particularité de

Dans l' algorithme de cryptage minuscule : Différents multiples d'une constante magique sont utilisés pour empêcher de simples attaques basées sur la symétrie des rounds. La constante magique, 2654435769 ou 9E3779B9 16 est choisie pour être 232/ ϕ232/ϕ2^{32}/ \phi , où ϕ est le nombre d'or. Quelles propriétés possède 232/ …

12 cr.crypto-security

2

Existe-t-il un aperçu de la sémantique des différentes fonctionnalités du langage de programmation?

Existe-t-il un aperçu (à partir d'un article, d'un chapitre de livre, d'un tutoriel, de liens, ...) de la sémantique des différentes fonctionnalités du langage de programmation? J'étais à l'origine submergé par les fonctionnalités de D ici http://www.digitalmars.com/d/2.0/comparison.html Je voudrais voir ce que je pourrais obtenir d'ici, bien que j'ai posé …

12 reference-request pl.programming-languages survey

4

Quelle est la notion la plus importante de rareté pour la conception d'algorithmes de graphes efficaces?

Il existe plusieurs notions concurrentes de «graphe clairsemé». Par exemple, un graphique intégrable en surface peut être considéré comme clairsemé. Ou un graphique avec une densité de bord borné. Ou un graphique avec une circonférence élevée. Un graphique avec une grande expansion. Un graphique avec une largeur d'arbre bornée. (Même …

12 ds.algorithms graph-theory graph-algorithms big-picture